Define the strategy to follow when the solver needs to take a new decision.
More...
|
class | Types |
| Container for nested types declared in the DecisionStrategyProto message type. More...
|
|
|
static pb::MessageParser< DecisionStrategyProto > | Parser [get] |
|
static pbr::MessageDescriptor | Descriptor [get] |
|
pbc::RepeatedField< int > | Variables [get] |
| The variables to be considered for the next decision. The order matter and is always used as a tie-breaker after the variable selection strategy criteria defined below.
|
|
pbc::RepeatedField< global::Google.OrTools.Sat.LinearExpressionProto > | Exprs [get] |
| If this is set, then the variables field must be empty. We currently only support affine expression.
|
|
global::Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy | VariableSelectionStrategy [get, set] |
|
global::Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy | DomainReductionStrategy [get, set] |
|
Define the strategy to follow when the solver needs to take a new decision.
- Note
- this strategy is only defined on a subset of variables.
Definition at line 7193 of file CpModel.pb.cs.
◆ DecisionStrategyProto() [1/2]
Google.OrTools.Sat.DecisionStrategyProto.DecisionStrategyProto |
( |
| ) |
|
|
inline |
◆ DecisionStrategyProto() [2/2]
◆ CalculateSize()
int Google.OrTools.Sat.DecisionStrategyProto.CalculateSize |
( |
| ) |
|
|
inline |
◆ Clone()
◆ Equals() [1/2]
◆ Equals() [2/2]
override bool Google.OrTools.Sat.DecisionStrategyProto.Equals |
( |
object | other | ) |
|
|
inline |
◆ GetHashCode()
override int Google.OrTools.Sat.DecisionStrategyProto.GetHashCode |
( |
| ) |
|
|
inline |
◆ MergeFrom() [1/2]
◆ MergeFrom() [2/2]
void Google.OrTools.Sat.DecisionStrategyProto.MergeFrom |
( |
pb::CodedInputStream | input | ) |
|
|
inline |
◆ ToString()
override string Google.OrTools.Sat.DecisionStrategyProto.ToString |
( |
| ) |
|
|
inline |
◆ WriteTo()
void Google.OrTools.Sat.DecisionStrategyProto.WriteTo |
( |
pb::CodedOutputStream | output | ) |
|
|
inline |
◆ DomainReductionStrategyFieldNumber
const int Google.OrTools.Sat.DecisionStrategyProto.DomainReductionStrategyFieldNumber = 3 |
|
static |
Field number for the "domain_reduction_strategy" field.
Definition at line 7289 of file CpModel.pb.cs.
◆ ExprsFieldNumber
const int Google.OrTools.Sat.DecisionStrategyProto.ExprsFieldNumber = 5 |
|
static |
◆ VariableSelectionStrategyFieldNumber
const int Google.OrTools.Sat.DecisionStrategyProto.VariableSelectionStrategyFieldNumber = 2 |
|
static |
Field number for the "variable_selection_strategy" field.
Definition at line 7277 of file CpModel.pb.cs.
◆ VariablesFieldNumber
const int Google.OrTools.Sat.DecisionStrategyProto.VariablesFieldNumber = 1 |
|
static |
Field number for the "variables" field.
Definition at line 7241 of file CpModel.pb.cs.
◆ Descriptor
pbr.MessageDescriptor Google.OrTools.Sat.DecisionStrategyProto.Descriptor |
|
staticget |
◆ DomainReductionStrategy
global.Google.OrTools.Sat.DecisionStrategyProto.Types.DomainReductionStrategy Google.OrTools.Sat.DecisionStrategyProto.DomainReductionStrategy |
|
getset |
◆ Exprs
pbc.RepeatedField<global.Google.OrTools.Sat.LinearExpressionProto> Google.OrTools.Sat.DecisionStrategyProto.Exprs |
|
get |
If this is set, then the variables field must be empty. We currently only support affine expression.
- Note
- this is needed so that if a variable has an affine representative, we can properly transform a DecisionStrategyProto through presolve.
Definition at line 7272 of file CpModel.pb.cs.
◆ Parser
◆ Variables
pbc.RepeatedField<int> Google.OrTools.Sat.DecisionStrategyProto.Variables |
|
get |
The variables to be considered for the next decision. The order matter and is always used as a tie-breaker after the variable selection strategy criteria defined below.
Definition at line 7252 of file CpModel.pb.cs.
◆ VariableSelectionStrategy
global.Google.OrTools.Sat.DecisionStrategyProto.Types.VariableSelectionStrategy Google.OrTools.Sat.DecisionStrategyProto.VariableSelectionStrategy |
|
getset |
The documentation for this class was generated from the following file: