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. affine expression) has been chosen, this enum
describe what decision is taken on its domain.
|
static class |
DecisionStrategyProto.VariableSelectionStrategy
The order in which the variables (resp. affine expression) above should be
considered.
|
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, writeStringNoTag
findInitializationErrors, getInitializationErrorString, hashFields, toString
addAll, checkByteStringIsUtf8, toByteArray, toByteString, writeDelimitedTo, writeTo
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
public 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.GeneratedMessage
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 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 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 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 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 int getVariableSelectionStrategyValue()
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;
getVariableSelectionStrategyValue
in interface DecisionStrategyProtoOrBuilder
public DecisionStrategyProto.VariableSelectionStrategy getVariableSelectionStrategy()
.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;
getVariableSelectionStrategy
in interface DecisionStrategyProtoOrBuilder
public int getDomainReductionStrategyValue()
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;
getDomainReductionStrategyValue
in interface DecisionStrategyProtoOrBuilder
public DecisionStrategyProto.DomainReductionStrategy getDomainReductionStrategy()
.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;
getDomainReductionStrategy
in interface DecisionStrategyProtoOrBuilder
public final boolean isInitialized()
isInitialized
in interface com.google.protobuf.MessageLiteOrBuilder
isInitialized
in class com.google.protobuf.GeneratedMessage
public void writeTo(com.google.protobuf.CodedOutputStream output) throws java.io.IOException
writeTo
in interface com.google.protobuf.MessageLite
writeTo
in class com.google.protobuf.GeneratedMessage
java.io.IOException
public int getSerializedSize()
getSerializedSize
in interface com.google.protobuf.MessageLite
getSerializedSize
in class com.google.protobuf.GeneratedMessage
public boolean equals(java.lang.Object obj)
equals
in interface com.google.protobuf.Message
equals
in class com.google.protobuf.AbstractMessage
public int hashCode()
hashCode
in interface com.google.protobuf.Message
hashCode
in class com.google.protobuf.AbstractMessage
public static DecisionStrategyProto parseFrom(java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static DecisionStrategyProto parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static DecisionStrategyProto parseFrom(com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static DecisionStrategyProto parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static DecisionStrategyProto parseFrom(byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static DecisionStrategyProto parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static DecisionStrategyProto parseFrom(java.io.InputStream input) throws java.io.IOException
java.io.IOException
public static DecisionStrategyProto parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOException
public static DecisionStrategyProto parseDelimitedFrom(java.io.InputStream input) throws java.io.IOException
java.io.IOException
public static DecisionStrategyProto parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOException
public static DecisionStrategyProto parseFrom(com.google.protobuf.CodedInputStream input) throws java.io.IOException
java.io.IOException
public static DecisionStrategyProto parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOException
public DecisionStrategyProto.Builder newBuilderForType()
newBuilderForType
in interface com.google.protobuf.Message
newBuilderForType
in interface com.google.protobuf.MessageLite
public static DecisionStrategyProto.Builder newBuilder()
public static DecisionStrategyProto.Builder newBuilder(DecisionStrategyProto prototype)
public DecisionStrategyProto.Builder toBuilder()
toBuilder
in interface com.google.protobuf.Message
toBuilder
in interface com.google.protobuf.MessageLite
protected DecisionStrategyProto.Builder newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent)
newBuilderForType
in class com.google.protobuf.AbstractMessage
public static DecisionStrategyProto getDefaultInstance()
public static com.google.protobuf.Parser<DecisionStrategyProto> parser()
public com.google.protobuf.Parser<DecisionStrategyProto> getParserForType()
getParserForType
in interface com.google.protobuf.Message
getParserForType
in interface com.google.protobuf.MessageLite
getParserForType
in class com.google.protobuf.GeneratedMessage
public DecisionStrategyProto getDefaultInstanceForType()
getDefaultInstanceForType
in interface com.google.protobuf.MessageLiteOrBuilder
getDefaultInstanceForType
in interface com.google.protobuf.MessageOrBuilder
Copyright © 2025. All rights reserved.