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, setUnknownFieldsProto3findInitializationErrors, getInitializationErrorString, internalMergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, newUninitializedMessageException, toStringaddAll, addAll, mergeDelimitedFrom, mergeDelimitedFrom, newUninitializedMessageExceptionequals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitpublic 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.Builderclear in interface com.google.protobuf.MessageLite.Builderclear in class com.google.protobuf.GeneratedMessage.Builder<DecisionStrategyProto.Builder>public com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
getDescriptorForType in interface com.google.protobuf.Message.BuildergetDescriptorForType in interface com.google.protobuf.MessageOrBuildergetDescriptorForType in class com.google.protobuf.GeneratedMessage.Builder<DecisionStrategyProto.Builder>public DecisionStrategyProto getDefaultInstanceForType()
getDefaultInstanceForType in interface com.google.protobuf.MessageLiteOrBuildergetDefaultInstanceForType in interface com.google.protobuf.MessageOrBuilderpublic DecisionStrategyProto build()
build in interface com.google.protobuf.Message.Builderbuild in interface com.google.protobuf.MessageLite.Builderpublic DecisionStrategyProto buildPartial()
buildPartial in interface com.google.protobuf.Message.BuilderbuildPartial in interface com.google.protobuf.MessageLite.Builderpublic DecisionStrategyProto.Builder mergeFrom(com.google.protobuf.Message other)
mergeFrom in interface com.google.protobuf.Message.BuildermergeFrom 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.MessageLiteOrBuilderisInitialized 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.BuildermergeFrom in interface com.google.protobuf.MessageLite.BuildermergeFrom in class com.google.protobuf.AbstractMessage.Builder<DecisionStrategyProto.Builder>java.io.IOExceptionpublic 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 DecisionStrategyProtoOrBuilderpublic 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 DecisionStrategyProtoOrBuilderpublic 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 DecisionStrategyProtoOrBuilderindex - 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 DecisionStrategyProtoOrBuilderpublic 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 DecisionStrategyProtoOrBuilderpublic 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 DecisionStrategyProtoOrBuilderpublic 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 DecisionStrategyProtoOrBuilderpublic 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 DecisionStrategyProtoOrBuilderpublic 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 DecisionStrategyProtoOrBuilderpublic 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 DecisionStrategyProtoOrBuilderpublic 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 DecisionStrategyProtoOrBuilderpublic 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 DecisionStrategyProtoOrBuilderpublic 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 © 2024. All rights reserved.