![]() |
OR-Tools
8.2
|
Definition at line 30 of file cp_model_search.cc.
Public Attributes | |
std::vector< IntegerVariable > | variables |
DecisionStrategyProto::VariableSelectionStrategy | var_strategy |
DecisionStrategyProto::DomainReductionStrategy | domain_strategy |
DecisionStrategyProto::DomainReductionStrategy domain_strategy |
Definition at line 33 of file cp_model_search.cc.
DecisionStrategyProto::VariableSelectionStrategy var_strategy |
Definition at line 32 of file cp_model_search.cc.
std::vector<IntegerVariable> variables |
Definition at line 31 of file cp_model_search.cc.