![]() |
Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
|
Define the strategy to follow when the solver needs to take a new decision. Note that this strategy is only defined on a subset of variables.
Protobuf type operations_research.sat.DecisionStrategyProto
Definition at line 752 of file DecisionStrategyProto.java.
Static Public Member Functions | |
static final com.google.protobuf.Descriptors.Descriptor | getDescriptor () |
Protected Member Functions | |
com.google.protobuf.GeneratedMessage.FieldAccessorTable | internalGetFieldAccessorTable () |
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.addAllExprs | ( | java.lang.Iterable<? extends com.google.ortools.sat.LinearExpressionProto > | values | ) |
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;
Definition at line 1341 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.addAllVariables | ( | java.lang.Iterable<? extends java.lang.Integer > | values | ) |
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;
values | The variables to add. |
Definition at line 1088 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.addExprs | ( | com.google.ortools.sat.LinearExpressionProto | value | ) |
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;
Definition at line 1244 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.addExprs | ( | com.google.ortools.sat.LinearExpressionProto.Builder | builderForValue | ) |
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;
Definition at line 1295 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.addExprs | ( | int | index, |
com.google.ortools.sat.LinearExpressionProto | value ) |
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;
Definition at line 1269 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.addExprs | ( | int | index, |
com.google.ortools.sat.LinearExpressionProto.Builder | builderForValue ) |
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;
Definition at line 1318 of file DecisionStrategyProto.java.
com.google.ortools.sat.LinearExpressionProto.Builder com.google.ortools.sat.DecisionStrategyProto.Builder.addExprsBuilder | ( | ) |
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;
Definition at line 1464 of file DecisionStrategyProto.java.
com.google.ortools.sat.LinearExpressionProto.Builder com.google.ortools.sat.DecisionStrategyProto.Builder.addExprsBuilder | ( | 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;
Definition at line 1480 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.addVariables | ( | int | value | ) |
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;
value | The variables to add. |
Definition at line 1069 of file DecisionStrategyProto.java.
com.google.ortools.sat.DecisionStrategyProto com.google.ortools.sat.DecisionStrategyProto.Builder.build | ( | ) |
Definition at line 808 of file DecisionStrategyProto.java.
com.google.ortools.sat.DecisionStrategyProto com.google.ortools.sat.DecisionStrategyProto.Builder.buildPartial | ( | ) |
Definition at line 817 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.clear | ( | ) |
Definition at line 780 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.clearDomainReductionStrategy | ( | ) |
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;
Definition at line 1611 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.clearExprs | ( | ) |
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;
Definition at line 1365 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.clearVariables | ( | ) |
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;
Definition at line 1107 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.clearVariableSelectionStrategy | ( | ) |
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;
Definition at line 1560 of file DecisionStrategyProto.java.
com.google.ortools.sat.DecisionStrategyProto com.google.ortools.sat.DecisionStrategyProto.Builder.getDefaultInstanceForType | ( | ) |
Definition at line 803 of file DecisionStrategyProto.java.
|
static |
Definition at line 757 of file DecisionStrategyProto.java.
com.google.protobuf.Descriptors.Descriptor com.google.ortools.sat.DecisionStrategyProto.Builder.getDescriptorForType | ( | ) |
Definition at line 798 of file DecisionStrategyProto.java.
com.google.ortools.sat.DecisionStrategyProto.DomainReductionStrategy com.google.ortools.sat.DecisionStrategyProto.Builder.getDomainReductionStrategy | ( | ) |
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;
Implements com.google.ortools.sat.DecisionStrategyProtoOrBuilder.
Definition at line 1591 of file DecisionStrategyProto.java.
int com.google.ortools.sat.DecisionStrategyProto.Builder.getDomainReductionStrategyValue | ( | ) |
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;
Implements com.google.ortools.sat.DecisionStrategyProtoOrBuilder.
Definition at line 1572 of file DecisionStrategyProto.java.
com.google.ortools.sat.LinearExpressionProto com.google.ortools.sat.DecisionStrategyProto.Builder.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;
Implements com.google.ortools.sat.DecisionStrategyProtoOrBuilder.
Definition at line 1176 of file DecisionStrategyProto.java.
com.google.ortools.sat.LinearExpressionProto.Builder com.google.ortools.sat.DecisionStrategyProto.Builder.getExprsBuilder | ( | 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;
Definition at line 1409 of file DecisionStrategyProto.java.
java.util.List< com.google.ortools.sat.LinearExpressionProto.Builder > com.google.ortools.sat.DecisionStrategyProto.Builder.getExprsBuilderList | ( | ) |
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;
Definition at line 1498 of file DecisionStrategyProto.java.
int com.google.ortools.sat.DecisionStrategyProto.Builder.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;
Implements com.google.ortools.sat.DecisionStrategyProtoOrBuilder.
Definition at line 1157 of file DecisionStrategyProto.java.
java.util.List< com.google.ortools.sat.LinearExpressionProto > com.google.ortools.sat.DecisionStrategyProto.Builder.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;
Implements com.google.ortools.sat.DecisionStrategyProtoOrBuilder.
Definition at line 1138 of file DecisionStrategyProto.java.
com.google.ortools.sat.LinearExpressionProtoOrBuilder com.google.ortools.sat.DecisionStrategyProto.Builder.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;
Implements com.google.ortools.sat.DecisionStrategyProtoOrBuilder.
Definition at line 1425 of file DecisionStrategyProto.java.
java.util.List<? extends com.google.ortools.sat.LinearExpressionProtoOrBuilder > com.google.ortools.sat.DecisionStrategyProto.Builder.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;
Implements com.google.ortools.sat.DecisionStrategyProtoOrBuilder.
Definition at line 1445 of file DecisionStrategyProto.java.
int com.google.ortools.sat.DecisionStrategyProto.Builder.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. |
Implements com.google.ortools.sat.DecisionStrategyProtoOrBuilder.
Definition at line 1034 of file DecisionStrategyProto.java.
int com.google.ortools.sat.DecisionStrategyProto.Builder.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;
Implements com.google.ortools.sat.DecisionStrategyProtoOrBuilder.
Definition at line 1020 of file DecisionStrategyProto.java.
com.google.ortools.sat.DecisionStrategyProto.VariableSelectionStrategy com.google.ortools.sat.DecisionStrategyProto.Builder.getVariableSelectionStrategy | ( | ) |
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;
Implements com.google.ortools.sat.DecisionStrategyProtoOrBuilder.
Definition at line 1540 of file DecisionStrategyProto.java.
int com.google.ortools.sat.DecisionStrategyProto.Builder.getVariableSelectionStrategyValue | ( | ) |
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;
Implements com.google.ortools.sat.DecisionStrategyProtoOrBuilder.
Definition at line 1521 of file DecisionStrategyProto.java.
java.util.List< java.lang.Integer > com.google.ortools.sat.DecisionStrategyProto.Builder.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;
Implements com.google.ortools.sat.DecisionStrategyProtoOrBuilder.
Definition at line 1006 of file DecisionStrategyProto.java.
|
protected |
Definition at line 763 of file DecisionStrategyProto.java.
final boolean com.google.ortools.sat.DecisionStrategyProto.Builder.isInitialized | ( | ) |
Definition at line 912 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.mergeFrom | ( | com.google.ortools.sat.DecisionStrategyProto | other | ) |
Definition at line 861 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.mergeFrom | ( | com.google.protobuf.CodedInputStream | input, |
com.google.protobuf.ExtensionRegistryLite | extensionRegistry ) throws java.io.IOException |
Definition at line 917 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.mergeFrom | ( | com.google.protobuf.Message | other | ) |
Definition at line 852 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.removeExprs | ( | 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;
Definition at line 1387 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.setDomainReductionStrategy | ( | com.google.ortools.sat.DecisionStrategyProto.DomainReductionStrategy | value | ) |
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;
value | The domainReductionStrategy to set. |
Definition at line 1600 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.setDomainReductionStrategyValue | ( | int | value | ) |
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;
value | The enum numeric value on the wire for domainReductionStrategy to set. |
Definition at line 1580 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.setExprs | ( | int | index, |
com.google.ortools.sat.LinearExpressionProto | value ) |
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;
Definition at line 1195 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.setExprs | ( | int | index, |
com.google.ortools.sat.LinearExpressionProto.Builder | builderForValue ) |
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;
Definition at line 1221 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.setVariables | ( | int | index, |
int | value ) |
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 to set the value at. |
value | The variables to set. |
Definition at line 1049 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.setVariableSelectionStrategy | ( | com.google.ortools.sat.DecisionStrategyProto.VariableSelectionStrategy | value | ) |
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;
value | The variableSelectionStrategy to set. |
Definition at line 1549 of file DecisionStrategyProto.java.
Builder com.google.ortools.sat.DecisionStrategyProto.Builder.setVariableSelectionStrategyValue | ( | int | value | ) |
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;
value | The enum numeric value on the wire for variableSelectionStrategy to set. |
Definition at line 1529 of file DecisionStrategyProto.java.