public final class DecisionStrategyProto extends com.google.protobuf.GeneratedMessage 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 | Class and Description |
|---|---|
static class |
DecisionStrategyProto.Builder
Define the strategy to follow when the solver needs to take a new decision.
|
static class |
DecisionStrategyProto.DomainReductionStrategy
Once a variable (resp.
|
static class |
DecisionStrategyProto.VariableSelectionStrategy
The order in which the variables (resp.
|
com.google.protobuf.GeneratedMessage.ExtendableBuilder<MessageT extends com.google.protobuf.GeneratedMessage.ExtendableMessage<MessageT>,BuilderT extends com.google.protobuf.GeneratedMessage.ExtendableBuilder<MessageT,BuilderT>>, com.google.protobuf.GeneratedMessage.ExtendableMessage<MessageT extends com.google.protobuf.GeneratedMessage.ExtendableMessage<MessageT>>, com.google.protobuf.GeneratedMessage.ExtendableMessageOrBuilder<MessageT extends com.google.protobuf.GeneratedMessage.ExtendableMessage<MessageT>>, com.google.protobuf.GeneratedMessage.FieldAccessorTable, com.google.protobuf.GeneratedMessage.GeneratedExtension<ContainingT extends com.google.protobuf.Message,T>, com.google.protobuf.GeneratedMessage.UnusedPrivateParameter| Modifier and Type | Field and Description |
|---|---|
static int |
DOMAIN_REDUCTION_STRATEGY_FIELD_NUMBER |
static int |
EXPRS_FIELD_NUMBER |
static int |
VARIABLE_SELECTION_STRATEGY_FIELD_NUMBER |
static int |
VARIABLES_FIELD_NUMBER |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object obj) |
static DecisionStrategyProto |
getDefaultInstance() |
DecisionStrategyProto |
getDefaultInstanceForType() |
static com.google.protobuf.Descriptors.Descriptor |
getDescriptor() |
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.
|
com.google.protobuf.Parser<DecisionStrategyProto> |
getParserForType() |
int |
getSerializedSize() |
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.
|
int |
hashCode() |
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable |
internalGetFieldAccessorTable() |
boolean |
isInitialized() |
static DecisionStrategyProto.Builder |
newBuilder() |
static DecisionStrategyProto.Builder |
newBuilder(DecisionStrategyProto prototype) |
DecisionStrategyProto.Builder |
newBuilderForType() |
protected DecisionStrategyProto.Builder |
newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent) |
static DecisionStrategyProto |
parseDelimitedFrom(java.io.InputStream input) |
static DecisionStrategyProto |
parseDelimitedFrom(java.io.InputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static DecisionStrategyProto |
parseFrom(byte[] data) |
static DecisionStrategyProto |
parseFrom(byte[] data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static DecisionStrategyProto |
parseFrom(java.nio.ByteBuffer data) |
static DecisionStrategyProto |
parseFrom(java.nio.ByteBuffer data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static DecisionStrategyProto |
parseFrom(com.google.protobuf.ByteString data) |
static DecisionStrategyProto |
parseFrom(com.google.protobuf.ByteString data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static DecisionStrategyProto |
parseFrom(com.google.protobuf.CodedInputStream input) |
static DecisionStrategyProto |
parseFrom(com.google.protobuf.CodedInputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static DecisionStrategyProto |
parseFrom(java.io.InputStream input) |
static DecisionStrategyProto |
parseFrom(java.io.InputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static com.google.protobuf.Parser<DecisionStrategyProto> |
parser() |
DecisionStrategyProto.Builder |
toBuilder() |
void |
writeTo(com.google.protobuf.CodedOutputStream output) |
canUseUnsafe, computeStringSize, computeStringSizeNoTag, emptyBooleanList, emptyDoubleList, emptyFloatList, emptyIntList, emptyList, emptyLongList, getAllFields, getDescriptorForType, getField, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof, internalGetMapField, internalGetMapFieldReflection, isStringEmpty, makeMutableCopy, makeMutableCopy, mergeFromAndMakeImmutableInternal, newFileScopedGeneratedExtension, newInstance, newMessageScopedGeneratedExtension, parseDelimitedWithIOException, parseDelimitedWithIOException, parseUnknownField, parseUnknownFieldProto3, parseWithIOException, parseWithIOException, parseWithIOException, parseWithIOException, serializeBooleanMapTo, serializeIntegerMapTo, serializeLongMapTo, serializeStringMapTo, writeReplace, writeString, writeStringNoTagfindInitializationErrors, getInitializationErrorString, hashFields, toStringaddAll, checkByteStringIsUtf8, toByteArray, toByteString, writeDelimitedTo, writeToclone, finalize, getClass, notify, notifyAll, wait, wait, waitpublic static final int VARIABLES_FIELD_NUMBER
public static final int EXPRS_FIELD_NUMBER
public static final int VARIABLE_SELECTION_STRATEGY_FIELD_NUMBER
public static final int DOMAIN_REDUCTION_STRATEGY_FIELD_NUMBER
public static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable()
internalGetFieldAccessorTable in class com.google.protobuf.GeneratedMessagepublic 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 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 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 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 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 int getVariableSelectionStrategyValue()
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;getVariableSelectionStrategyValue in interface DecisionStrategyProtoOrBuilderpublic DecisionStrategyProto.VariableSelectionStrategy getVariableSelectionStrategy()
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;getVariableSelectionStrategy in interface DecisionStrategyProtoOrBuilderpublic int getDomainReductionStrategyValue()
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;getDomainReductionStrategyValue in interface DecisionStrategyProtoOrBuilderpublic DecisionStrategyProto.DomainReductionStrategy getDomainReductionStrategy()
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;getDomainReductionStrategy in interface DecisionStrategyProtoOrBuilderpublic final boolean isInitialized()
isInitialized in interface com.google.protobuf.MessageLiteOrBuilderisInitialized in class com.google.protobuf.GeneratedMessagepublic void writeTo(com.google.protobuf.CodedOutputStream output)
throws java.io.IOException
writeTo in interface com.google.protobuf.MessageLitewriteTo in class com.google.protobuf.GeneratedMessagejava.io.IOExceptionpublic int getSerializedSize()
getSerializedSize in interface com.google.protobuf.MessageLitegetSerializedSize in class com.google.protobuf.GeneratedMessagepublic boolean equals(java.lang.Object obj)
equals in interface com.google.protobuf.Messageequals in class com.google.protobuf.AbstractMessagepublic int hashCode()
hashCode in interface com.google.protobuf.MessagehashCode in class com.google.protobuf.AbstractMessagepublic static DecisionStrategyProto parseFrom(java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferExceptionpublic static DecisionStrategyProto parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferExceptionpublic static DecisionStrategyProto parseFrom(com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferExceptionpublic static DecisionStrategyProto parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferExceptionpublic static DecisionStrategyProto parseFrom(byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferExceptionpublic static DecisionStrategyProto parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferExceptionpublic static DecisionStrategyProto parseFrom(java.io.InputStream input) throws java.io.IOException
java.io.IOExceptionpublic static DecisionStrategyProto parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOExceptionpublic static DecisionStrategyProto parseDelimitedFrom(java.io.InputStream input) throws java.io.IOException
java.io.IOExceptionpublic static DecisionStrategyProto parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOExceptionpublic static DecisionStrategyProto parseFrom(com.google.protobuf.CodedInputStream input) throws java.io.IOException
java.io.IOExceptionpublic static DecisionStrategyProto parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOExceptionpublic DecisionStrategyProto.Builder newBuilderForType()
newBuilderForType in interface com.google.protobuf.MessagenewBuilderForType in interface com.google.protobuf.MessageLitepublic static DecisionStrategyProto.Builder newBuilder()
public static DecisionStrategyProto.Builder newBuilder(DecisionStrategyProto prototype)
public DecisionStrategyProto.Builder toBuilder()
toBuilder in interface com.google.protobuf.MessagetoBuilder in interface com.google.protobuf.MessageLiteprotected DecisionStrategyProto.Builder newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent)
newBuilderForType in class com.google.protobuf.AbstractMessagepublic static DecisionStrategyProto getDefaultInstance()
public static com.google.protobuf.Parser<DecisionStrategyProto> parser()
public com.google.protobuf.Parser<DecisionStrategyProto> getParserForType()
getParserForType in interface com.google.protobuf.MessagegetParserForType in interface com.google.protobuf.MessageLitegetParserForType in class com.google.protobuf.GeneratedMessagepublic DecisionStrategyProto getDefaultInstanceForType()
getDefaultInstanceForType in interface com.google.protobuf.MessageLiteOrBuildergetDefaultInstanceForType in interface com.google.protobuf.MessageOrBuilderCopyright © 2024. All rights reserved.