Strategy

Detailed Description

Definition at line 30 of file cp_model_search.cc.

Public Attributes
std::vector< IntegerVariable >	variables
DecisionStrategyProto::VariableSelectionStrategy	var_strategy
DecisionStrategyProto::DomainReductionStrategy	domain_strategy

Member Data Documentation

domain_strategy

DecisionStrategyProto::DomainReductionStrategy domain_strategy

Definition at line 33 of file cp_model_search.cc.

var_strategy

DecisionStrategyProto::VariableSelectionStrategy var_strategy

Definition at line 32 of file cp_model_search.cc.

variables

std::vector<IntegerVariable> variables

Definition at line 31 of file cp_model_search.cc.

---

The documentation for this struct was generated from the following file:

• cp_model_search.cc