public static final class DecisionStrategyProto.Builder extends com.google.protobuf.GeneratedMessage.Builder<DecisionStrategyProto.Builder> implements DecisionStrategyProtoOrBuilder
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
Modifier and Type | Method and Description |
---|---|
DecisionStrategyProto.Builder |
addAllExprs(java.lang.Iterable<? extends LinearExpressionProto> values)
If this is set, then the variables field must be empty.
|
DecisionStrategyProto.Builder |
addAllVariables(java.lang.Iterable<? extends java.lang.Integer> values)
The variables to be considered for the next decision.
|
DecisionStrategyProto.Builder |
addExprs(int index,
LinearExpressionProto.Builder builderForValue)
If this is set, then the variables field must be empty.
|
DecisionStrategyProto.Builder |
addExprs(int index,
LinearExpressionProto value)
If this is set, then the variables field must be empty.
|
DecisionStrategyProto.Builder |
addExprs(LinearExpressionProto.Builder builderForValue)
If this is set, then the variables field must be empty.
|
DecisionStrategyProto.Builder |
addExprs(LinearExpressionProto value)
If this is set, then the variables field must be empty.
|
LinearExpressionProto.Builder |
addExprsBuilder()
If this is set, then the variables field must be empty.
|
LinearExpressionProto.Builder |
addExprsBuilder(int index)
If this is set, then the variables field must be empty.
|
DecisionStrategyProto.Builder |
addVariables(int value)
The variables to be considered for the next decision.
|
DecisionStrategyProto |
build() |
DecisionStrategyProto |
buildPartial() |
DecisionStrategyProto.Builder |
clear() |
DecisionStrategyProto.Builder |
clearDomainReductionStrategy()
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3; |
DecisionStrategyProto.Builder |
clearExprs()
If this is set, then the variables field must be empty.
|
DecisionStrategyProto.Builder |
clearVariables()
The variables to be considered for the next decision.
|
DecisionStrategyProto.Builder |
clearVariableSelectionStrategy()
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2; |
DecisionStrategyProto |
getDefaultInstanceForType() |
static com.google.protobuf.Descriptors.Descriptor |
getDescriptor() |
com.google.protobuf.Descriptors.Descriptor |
getDescriptorForType() |
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.
|
LinearExpressionProto.Builder |
getExprsBuilder(int index)
If this is set, then the variables field must be empty.
|
java.util.List<LinearExpressionProto.Builder> |
getExprsBuilderList()
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.
|
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable |
internalGetFieldAccessorTable() |
boolean |
isInitialized() |
DecisionStrategyProto.Builder |
mergeFrom(com.google.protobuf.CodedInputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
DecisionStrategyProto.Builder |
mergeFrom(DecisionStrategyProto other) |
DecisionStrategyProto.Builder |
mergeFrom(com.google.protobuf.Message other) |
DecisionStrategyProto.Builder |
removeExprs(int index)
If this is set, then the variables field must be empty.
|
DecisionStrategyProto.Builder |
setDomainReductionStrategy(DecisionStrategyProto.DomainReductionStrategy value)
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3; |
DecisionStrategyProto.Builder |
setDomainReductionStrategyValue(int value)
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3; |
DecisionStrategyProto.Builder |
setExprs(int index,
LinearExpressionProto.Builder builderForValue)
If this is set, then the variables field must be empty.
|
DecisionStrategyProto.Builder |
setExprs(int index,
LinearExpressionProto value)
If this is set, then the variables field must be empty.
|
DecisionStrategyProto.Builder |
setVariables(int index,
int value)
The variables to be considered for the next decision.
|
DecisionStrategyProto.Builder |
setVariableSelectionStrategy(DecisionStrategyProto.VariableSelectionStrategy value)
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2; |
DecisionStrategyProto.Builder |
setVariableSelectionStrategyValue(int value)
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2; |
addRepeatedField, clearField, clearOneof, clone, getAllFields, getField, getFieldBuilder, getOneofFieldDescriptor, getParentForChildren, getRepeatedField, getRepeatedFieldBuilder, getRepeatedFieldCount, getUnknownFields, getUnknownFieldSetBuilder, hasField, hasOneof, internalGetMapField, internalGetMapFieldReflection, internalGetMutableMapField, internalGetMutableMapFieldReflection, isClean, markClean, mergeUnknownFields, mergeUnknownLengthDelimitedField, mergeUnknownVarintField, newBuilderForField, onBuilt, onChanged, parseUnknownField, setField, setRepeatedField, setUnknownFields, setUnknownFieldSetBuilder, setUnknownFieldsProto3
findInitializationErrors, getInitializationErrorString, internalMergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, newUninitializedMessageException, toString
addAll, addAll, mergeDelimitedFrom, mergeDelimitedFrom, newUninitializedMessageException
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable()
internalGetFieldAccessorTable
in class com.google.protobuf.GeneratedMessage.Builder<DecisionStrategyProto.Builder>
public DecisionStrategyProto.Builder clear()
clear
in interface com.google.protobuf.Message.Builder
clear
in interface com.google.protobuf.MessageLite.Builder
clear
in class com.google.protobuf.GeneratedMessage.Builder<DecisionStrategyProto.Builder>
public com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
getDescriptorForType
in interface com.google.protobuf.Message.Builder
getDescriptorForType
in interface com.google.protobuf.MessageOrBuilder
getDescriptorForType
in class com.google.protobuf.GeneratedMessage.Builder<DecisionStrategyProto.Builder>
public DecisionStrategyProto getDefaultInstanceForType()
getDefaultInstanceForType
in interface com.google.protobuf.MessageLiteOrBuilder
getDefaultInstanceForType
in interface com.google.protobuf.MessageOrBuilder
public DecisionStrategyProto build()
build
in interface com.google.protobuf.Message.Builder
build
in interface com.google.protobuf.MessageLite.Builder
public DecisionStrategyProto buildPartial()
buildPartial
in interface com.google.protobuf.Message.Builder
buildPartial
in interface com.google.protobuf.MessageLite.Builder
public DecisionStrategyProto.Builder mergeFrom(com.google.protobuf.Message other)
mergeFrom
in interface com.google.protobuf.Message.Builder
mergeFrom
in class com.google.protobuf.AbstractMessage.Builder<DecisionStrategyProto.Builder>
public DecisionStrategyProto.Builder mergeFrom(DecisionStrategyProto other)
public final boolean isInitialized()
isInitialized
in interface com.google.protobuf.MessageLiteOrBuilder
isInitialized
in class com.google.protobuf.GeneratedMessage.Builder<DecisionStrategyProto.Builder>
public DecisionStrategyProto.Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
mergeFrom
in interface com.google.protobuf.Message.Builder
mergeFrom
in interface com.google.protobuf.MessageLite.Builder
mergeFrom
in class com.google.protobuf.AbstractMessage.Builder<DecisionStrategyProto.Builder>
java.io.IOException
public 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;
getVariablesList
in interface DecisionStrategyProtoOrBuilder
public 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;
getVariablesCount
in interface DecisionStrategyProtoOrBuilder
public 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;
getVariables
in interface DecisionStrategyProtoOrBuilder
index
- The index of the element to return.public 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.public 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.public 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.public 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;
public 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;
getExprsList
in interface DecisionStrategyProtoOrBuilder
public 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;
getExprsCount
in interface DecisionStrategyProtoOrBuilder
public 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;
getExprs
in interface DecisionStrategyProtoOrBuilder
public DecisionStrategyProto.Builder setExprs(int index, 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;
public DecisionStrategyProto.Builder setExprs(int index, 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;
public DecisionStrategyProto.Builder addExprs(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;
public DecisionStrategyProto.Builder addExprs(int index, 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;
public DecisionStrategyProto.Builder addExprs(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;
public DecisionStrategyProto.Builder addExprs(int index, 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;
public DecisionStrategyProto.Builder addAllExprs(java.lang.Iterable<? extends 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;
public 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;
public 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;
public LinearExpressionProto.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;
public 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;
getExprsOrBuilder
in interface DecisionStrategyProtoOrBuilder
public 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;
getExprsOrBuilderList
in interface DecisionStrategyProtoOrBuilder
public LinearExpressionProto.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;
public LinearExpressionProto.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;
public java.util.List<LinearExpressionProto.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;
public int getVariableSelectionStrategyValue()
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;
getVariableSelectionStrategyValue
in interface DecisionStrategyProtoOrBuilder
public 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.public DecisionStrategyProto.VariableSelectionStrategy getVariableSelectionStrategy()
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;
getVariableSelectionStrategy
in interface DecisionStrategyProtoOrBuilder
public DecisionStrategyProto.Builder setVariableSelectionStrategy(DecisionStrategyProto.VariableSelectionStrategy value)
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;
value
- The variableSelectionStrategy to set.public DecisionStrategyProto.Builder clearVariableSelectionStrategy()
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;
public int getDomainReductionStrategyValue()
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;
getDomainReductionStrategyValue
in interface DecisionStrategyProtoOrBuilder
public 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.public DecisionStrategyProto.DomainReductionStrategy getDomainReductionStrategy()
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;
getDomainReductionStrategy
in interface DecisionStrategyProtoOrBuilder
public DecisionStrategyProto.Builder setDomainReductionStrategy(DecisionStrategyProto.DomainReductionStrategy value)
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;
value
- The domainReductionStrategy to set.public DecisionStrategyProto.Builder clearDomainReductionStrategy()
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;
Copyright © 2025. All rights reserved.