Home Original page

Google OR-Tools: operations_research::LocalSearchState Class Reference

Definition at line 2807 of file constraint_solveri.h.

#include <constraint_solveri.h>

Public Member Functions

 DEFINE_STRONG_INT_TYPE (VariableDomainId, int)
 DEFINE_STRONG_INT_TYPE (ConstraintId, int)
VariableDomainId AddVariableDomain (int64_t relaxed_min, int64_t relaxed_max)
bool RelaxVariableDomain (VariableDomainId domain_id)
bool TightenVariableDomainMin (VariableDomainId domain_id, int64_t value)
bool TightenVariableDomainMax (VariableDomainId domain_id, int64_t value)
int64_t VariableDomainMin (VariableDomainId domain_id) const
int64_t VariableDomainMax (VariableDomainId domain_id) const
void ChangeRelaxedVariableDomain (VariableDomainId domain_id, int64_t min, int64_t max)
void PropagateRelax (VariableDomainId domain_id)
bool PropagateTighten (VariableDomainId domain_id)
Variable MakeVariable (VariableDomainId domain_id)
Variable MakeVariableWithRelaxedDomain (int64_t min, int64_t max)
void Commit ()
void Revert ()
bool StateIsFeasible () const
void AddWeightedSumConstraint (const std::vector< VariableDomainId > &input_domain_ids, const std::vector< int64_t > &input_weights, int64_t input_offset, VariableDomainId output_domain_id)
void CompileConstraints ()

Static Public Member Functions

static Variable DummyVariable ()

◆ AddVariableDomain()

VariableDomainId operations_research::LocalSearchState::AddVariableDomain ( int64_t relaxed_min,
int64_t relaxed_max )

◆ AddWeightedSumConstraint()

void operations_research::LocalSearchState::AddWeightedSumConstraint ( const std::vector< VariableDomainId > & input_domain_ids,
const std::vector< int64_t > & input_weights,
int64_t input_offset,
VariableDomainId output_domain_id )

◆ ChangeRelaxedVariableDomain()

void operations_research::LocalSearchState::ChangeRelaxedVariableDomain ( VariableDomainId domain_id,
int64_t min,
int64_t max )

◆ Commit()

void operations_research::LocalSearchState::Commit ( )

◆ CompileConstraints()

void operations_research::LocalSearchState::CompileConstraints ( )

◆ DEFINE_STRONG_INT_TYPE() [1/2]

operations_research::LocalSearchState::DEFINE_STRONG_INT_TYPE ( ConstraintId ,
int  )

◆ DEFINE_STRONG_INT_TYPE() [2/2]

operations_research::LocalSearchState::DEFINE_STRONG_INT_TYPE ( VariableDomainId ,
int  )

◆ DummyVariable()

◆ MakeVariable()

◆ MakeVariableWithRelaxedDomain()

◆ PropagateRelax()

void operations_research::LocalSearchState::PropagateRelax ( VariableDomainId domain_id)

◆ PropagateTighten()

bool operations_research::LocalSearchState::PropagateTighten ( VariableDomainId domain_id)

◆ RelaxVariableDomain()

bool operations_research::LocalSearchState::RelaxVariableDomain ( VariableDomainId domain_id)

◆ Revert()

void operations_research::LocalSearchState::Revert ( )

◆ StateIsFeasible()

bool operations_research::LocalSearchState::StateIsFeasible ( ) const
inline

◆ TightenVariableDomainMax()

bool operations_research::LocalSearchState::TightenVariableDomainMax ( VariableDomainId domain_id,
int64_t value )

◆ TightenVariableDomainMin()

bool operations_research::LocalSearchState::TightenVariableDomainMin ( VariableDomainId domain_id,
int64_t value )

◆ VariableDomainMax()

int64_t operations_research::LocalSearchState::VariableDomainMax ( VariableDomainId domain_id) const

◆ VariableDomainMin()

int64_t operations_research::LocalSearchState::VariableDomainMin ( VariableDomainId domain_id) const

The documentation for this class was generated from the following files: