public interface DecisionStrategyProtoOrBuilder
extends com.google.protobuf.MessageOrBuilder
Modifier and Type | Method and Description |
---|---|
DecisionStrategyProto.DomainReductionStrategy |
getDomainReductionStrategy()
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3; |
int |
getDomainReductionStrategyValue()
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3; |
LinearExpressionProto |
getExprs(int index)
If this is set, then the variables field must be empty.
|
int |
getExprsCount()
If this is set, then the variables field must be empty.
|
java.util.List<LinearExpressionProto> |
getExprsList()
If this is set, then the variables field must be empty.
|
LinearExpressionProtoOrBuilder |
getExprsOrBuilder(int index)
If this is set, then the variables field must be empty.
|
java.util.List<? extends LinearExpressionProtoOrBuilder> |
getExprsOrBuilderList()
If this is set, then the variables field must be empty.
|
int |
getVariables(int index)
The variables to be considered for the next decision.
|
int |
getVariablesCount()
The variables to be considered for the next decision.
|
DecisionStrategyProto.VariableSelectionStrategy |
getVariableSelectionStrategy()
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2; |
int |
getVariableSelectionStrategyValue()
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2; |
java.util.List<java.lang.Integer> |
getVariablesList()
The variables to be considered for the next decision.
|
findInitializationErrors, getAllFields, getDefaultInstanceForType, getDescriptorForType, getField, getInitializationErrorString, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof
java.util.List<java.lang.Integer> getVariablesList()
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.
repeated int32 variables = 1;
int getVariablesCount()
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.
repeated int32 variables = 1;
int getVariables(int index)
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.
repeated int32 variables = 1;
index
- The index of the element to return.java.util.List<LinearExpressionProto> getExprsList()
If this is set, then the variables field must be empty. We currently only support affine expression. Note that this is needed so that if a variable has an affine representative, we can properly transform a DecisionStrategyProto through presolve.
repeated .operations_research.sat.LinearExpressionProto exprs = 5;
LinearExpressionProto getExprs(int index)
If this is set, then the variables field must be empty. We currently only support affine expression. Note that this is needed so that if a variable has an affine representative, we can properly transform a DecisionStrategyProto through presolve.
repeated .operations_research.sat.LinearExpressionProto exprs = 5;
int getExprsCount()
If this is set, then the variables field must be empty. We currently only support affine expression. Note that this is needed so that if a variable has an affine representative, we can properly transform a DecisionStrategyProto through presolve.
repeated .operations_research.sat.LinearExpressionProto exprs = 5;
java.util.List<? extends LinearExpressionProtoOrBuilder> getExprsOrBuilderList()
If this is set, then the variables field must be empty. We currently only support affine expression. Note that this is needed so that if a variable has an affine representative, we can properly transform a DecisionStrategyProto through presolve.
repeated .operations_research.sat.LinearExpressionProto exprs = 5;
LinearExpressionProtoOrBuilder getExprsOrBuilder(int index)
If this is set, then the variables field must be empty. We currently only support affine expression. Note that this is needed so that if a variable has an affine representative, we can properly transform a DecisionStrategyProto through presolve.
repeated .operations_research.sat.LinearExpressionProto exprs = 5;
int getVariableSelectionStrategyValue()
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;
DecisionStrategyProto.VariableSelectionStrategy getVariableSelectionStrategy()
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;
int getDomainReductionStrategyValue()
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;
DecisionStrategyProto.DomainReductionStrategy getDomainReductionStrategy()
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;
Copyright © 2025. All rights reserved.