DecisionStrategyProto

Detailed Description

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 14 of file DecisionStrategyProto.java.

Classes
class	AffineTransformation
interface	AffineTransformationOrBuilder
class	Builder
enum	DomainReductionStrategy
enum	VariableSelectionStrategy

Public Member Functions
.lang.Override final com.google.protobuf.UnknownFieldSet	getUnknownFields ()
.lang.Override java.util.List< java.lang.Integer >	getVariablesList ()
int	getVariablesCount ()
int	getVariables (int index)
.lang.Override int	getVariableSelectionStrategyValue ()
	.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2; More...
.lang.Override com.google.ortools.sat.DecisionStrategyProto.VariableSelectionStrategy	getVariableSelectionStrategy ()
	.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2; More...
.lang.Override int	getDomainReductionStrategyValue ()
	.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3; More...
.lang.Override com.google.ortools.sat.DecisionStrategyProto.DomainReductionStrategy	getDomainReductionStrategy ()
	.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3; More...
.lang.Override java.util.List< com.google.ortools.sat.DecisionStrategyProto.AffineTransformation >	getTransformationsList ()
	repeated .operations_research.sat.DecisionStrategyProto.AffineTransformation transformations = 4; More...
.lang.Override java.util.List<? extends com.google.ortools.sat.DecisionStrategyProto.AffineTransformationOrBuilder >	getTransformationsOrBuilderList ()
	repeated .operations_research.sat.DecisionStrategyProto.AffineTransformation transformations = 4; More...
.lang.Override int	getTransformationsCount ()
	repeated .operations_research.sat.DecisionStrategyProto.AffineTransformation transformations = 4; More...
.lang.Override com.google.ortools.sat.DecisionStrategyProto.AffineTransformation	getTransformations (int index)
	repeated .operations_research.sat.DecisionStrategyProto.AffineTransformation transformations = 4; More...
.lang.Override com.google.ortools.sat.DecisionStrategyProto.AffineTransformationOrBuilder	getTransformationsOrBuilder (int index)
	repeated .operations_research.sat.DecisionStrategyProto.AffineTransformation transformations = 4; More...
.lang.Override final boolean	isInitialized ()
.lang.Override void	writeTo (com.google.protobuf.CodedOutputStream output) throws java.io.IOException
.lang.Override int	getSerializedSize ()
.lang.Override boolean	equals (final java.lang.Object obj)
.lang.Override int	hashCode ()
.lang.Override Builder	newBuilderForType ()
.lang.Override Builder	toBuilder ()
.lang.Override com.google.protobuf.Parser< DecisionStrategyProto >	getParserForType ()
.lang.Override com.google.ortools.sat.DecisionStrategyProto	getDefaultInstanceForType ()

Static Public Member Functions
static final com.google.protobuf.Descriptors.Descriptor	getDescriptor ()
static com.google.ortools.sat.DecisionStrategyProto	parseFrom (java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.DecisionStrategyProto	parseFrom (java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.DecisionStrategyProto	parseFrom (com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.DecisionStrategyProto	parseFrom (com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.DecisionStrategyProto	parseFrom (byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.DecisionStrategyProto	parseFrom (byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.DecisionStrategyProto	parseFrom (java.io.InputStream input) throws java.io.IOException
static com.google.ortools.sat.DecisionStrategyProto	parseFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
static com.google.ortools.sat.DecisionStrategyProto	parseDelimitedFrom (java.io.InputStream input) throws java.io.IOException
static com.google.ortools.sat.DecisionStrategyProto	parseDelimitedFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
static com.google.ortools.sat.DecisionStrategyProto	parseFrom (com.google.protobuf.CodedInputStream input) throws java.io.IOException
static com.google.ortools.sat.DecisionStrategyProto	parseFrom (com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
static Builder	newBuilder ()
static Builder	newBuilder (com.google.ortools.sat.DecisionStrategyProto prototype)
static com.google.ortools.sat.DecisionStrategyProto	getDefaultInstance ()
static com.google.protobuf.Parser< DecisionStrategyProto >	parser ()

Static Public Attributes
static final int	VARIABLES_FIELD_NUMBER = 1
static final int	VARIABLE_SELECTION_STRATEGY_FIELD_NUMBER = 2
static final int	DOMAIN_REDUCTION_STRATEGY_FIELD_NUMBER = 3
static final int	TRANSFORMATIONS_FIELD_NUMBER = 4

Protected Member Functions
.lang.Override java.lang.Object	newInstance (UnusedPrivateParameter unused)
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable	internalGetFieldAccessorTable ()
.lang.Override Builder	newBuilderForType (com.google.protobuf.GeneratedMessageV3.BuilderParent parent)

Member Function Documentation

equals()

.lang.Override boolean equals

(

final java.lang.Object

obj

)

Definition at line 1263 of file DecisionStrategyProto.java.

getDefaultInstance()

static com.google.ortools.sat.DecisionStrategyProto getDefaultInstance ( )

static

Definition at line 2105 of file DecisionStrategyProto.java.

getDefaultInstanceForType()

.lang.Override com.google.ortools.sat.DecisionStrategyProto getDefaultInstanceForType

(

)

Definition at line 2130 of file DecisionStrategyProto.java.

getDescriptor()

static final com.google.protobuf.Descriptors.Descriptor getDescriptor ( )

static

Definition at line 129 of file DecisionStrategyProto.java.

getDomainReductionStrategy()

.lang.Override com.google.ortools.sat.DecisionStrategyProto.DomainReductionStrategy getDomainReductionStrategy

(

)

.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;

Returns

The domainReductionStrategy.

Implements DecisionStrategyProtoOrBuilder.

Definition at line 1145 of file DecisionStrategyProto.java.

getDomainReductionStrategyValue()

.lang.Override int getDomainReductionStrategyValue

(

)

.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;

Returns

The enum numeric value on the wire for domainReductionStrategy.

Implements DecisionStrategyProtoOrBuilder.

Definition at line 1138 of file DecisionStrategyProto.java.

getParserForType()

.lang.Override com.google.protobuf.Parser<DecisionStrategyProto> getParserForType

(

)

Definition at line 2125 of file DecisionStrategyProto.java.

getSerializedSize()

.lang.Override int getSerializedSize

(

)

Definition at line 1226 of file DecisionStrategyProto.java.

getTransformations()

.lang.Override com.google.ortools.sat.DecisionStrategyProto.AffineTransformation getTransformations

(

int

index

)

repeated .operations_research.sat.DecisionStrategyProto.AffineTransformation transformations = 4;

Implements DecisionStrategyProtoOrBuilder.

Definition at line 1179 of file DecisionStrategyProto.java.

getTransformationsCount()

.lang.Override int getTransformationsCount

(

)

repeated .operations_research.sat.DecisionStrategyProto.AffineTransformation transformations = 4;

Implements DecisionStrategyProtoOrBuilder.

Definition at line 1172 of file DecisionStrategyProto.java.

getTransformationsList()

.lang.Override java.util.List<com.google.ortools.sat.DecisionStrategyProto.AffineTransformation> getTransformationsList

(

)

repeated .operations_research.sat.DecisionStrategyProto.AffineTransformation transformations = 4;

Implements DecisionStrategyProtoOrBuilder.

Definition at line 1157 of file DecisionStrategyProto.java.

getTransformationsOrBuilder()

.lang.Override com.google.ortools.sat.DecisionStrategyProto.AffineTransformationOrBuilder getTransformationsOrBuilder

(

int

index

)

repeated .operations_research.sat.DecisionStrategyProto.AffineTransformation transformations = 4;

Implements DecisionStrategyProtoOrBuilder.

Definition at line 1186 of file DecisionStrategyProto.java.

getTransformationsOrBuilderList()

.lang.Override java.util.List<? extends com.google.ortools.sat.DecisionStrategyProto.AffineTransformationOrBuilder> getTransformationsOrBuilderList

(

)

repeated .operations_research.sat.DecisionStrategyProto.AffineTransformation transformations = 4;

Implements DecisionStrategyProtoOrBuilder.

Definition at line 1165 of file DecisionStrategyProto.java.

getUnknownFields()

.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields

(

)

Definition at line 39 of file DecisionStrategyProto.java.

getVariables()

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;

Parameters

index

The index of the element to return.

Returns

The variables at the given index.

Implements DecisionStrategyProtoOrBuilder.

Definition at line 1108 of file DecisionStrategyProto.java.

getVariablesCount()

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;

Returns

The count of variables.

Implements DecisionStrategyProtoOrBuilder.

Definition at line 1094 of file DecisionStrategyProto.java.

getVariableSelectionStrategy()

.lang.Override com.google.ortools.sat.DecisionStrategyProto.VariableSelectionStrategy getVariableSelectionStrategy

(

)

.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;

Returns

The variableSelectionStrategy.

Implements DecisionStrategyProtoOrBuilder.

Definition at line 1126 of file DecisionStrategyProto.java.

getVariableSelectionStrategyValue()

.lang.Override int getVariableSelectionStrategyValue

(

)

.operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;

Returns

The enum numeric value on the wire for variableSelectionStrategy.

Implements DecisionStrategyProtoOrBuilder.

Definition at line 1119 of file DecisionStrategyProto.java.

getVariablesList()

.lang.Override 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;

Returns

A list containing the variables.

Implements DecisionStrategyProtoOrBuilder.

Definition at line 1081 of file DecisionStrategyProto.java.

hashCode()

.lang.Override int hashCode

(

)

Definition at line 1283 of file DecisionStrategyProto.java.

internalGetFieldAccessorTable()

.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable ( )

protected

Definition at line 135 of file DecisionStrategyProto.java.

isInitialized()

.lang.Override final boolean isInitialized

(

)

Definition at line 1193 of file DecisionStrategyProto.java.

newBuilder() [1/2]

static Builder newBuilder ( )

static

Definition at line 1378 of file DecisionStrategyProto.java.

newBuilder() [2/2]

static Builder newBuilder ( com.google.ortools.sat.DecisionStrategyProto  prototype )

static

Definition at line 1381 of file DecisionStrategyProto.java.

newBuilderForType() [1/2]

.lang.Override Builder newBuilderForType

(

)

Definition at line 1377 of file DecisionStrategyProto.java.

newBuilderForType() [2/2]

.lang.Override Builder newBuilderForType ( com.google.protobuf.GeneratedMessageV3.BuilderParent  parent )

protected

Definition at line 1391 of file DecisionStrategyProto.java.

newInstance()

.lang.Override java.lang.Object newInstance ( UnusedPrivateParameter  unused )

protected

Definition at line 32 of file DecisionStrategyProto.java.

parseDelimitedFrom() [1/2]

static com.google.ortools.sat.DecisionStrategyProto parseDelimitedFrom ( java.io.InputStream  input ) throws java.io.IOException

static

Definition at line 1350 of file DecisionStrategyProto.java.

parseDelimitedFrom() [2/2]

static com.google.ortools.sat.DecisionStrategyProto parseDelimitedFrom ( java.io.InputStream  input, com.google.protobuf.ExtensionRegistryLite  extensionRegistry  ) throws java.io.IOException

static

Definition at line 1355 of file DecisionStrategyProto.java.

parseFrom() [1/10]

static com.google.ortools.sat.DecisionStrategyProto parseFrom ( byte[]  data ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 1328 of file DecisionStrategyProto.java.

parseFrom() [2/10]

static com.google.ortools.sat.DecisionStrategyProto parseFrom ( byte[]  data, com.google.protobuf.ExtensionRegistryLite  extensionRegistry  ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 1332 of file DecisionStrategyProto.java.

parseFrom() [3/10]

static com.google.ortools.sat.DecisionStrategyProto parseFrom ( com.google.protobuf.ByteString  data ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 1317 of file DecisionStrategyProto.java.

parseFrom() [4/10]

static com.google.ortools.sat.DecisionStrategyProto parseFrom ( com.google.protobuf.ByteString  data, com.google.protobuf.ExtensionRegistryLite  extensionRegistry  ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 1322 of file DecisionStrategyProto.java.

parseFrom() [5/10]

static com.google.ortools.sat.DecisionStrategyProto parseFrom ( com.google.protobuf.CodedInputStream  input ) throws java.io.IOException

static

Definition at line 1362 of file DecisionStrategyProto.java.

parseFrom() [6/10]

static com.google.ortools.sat.DecisionStrategyProto parseFrom ( com.google.protobuf.CodedInputStream  input, com.google.protobuf.ExtensionRegistryLite  extensionRegistry  ) throws java.io.IOException

static

Definition at line 1368 of file DecisionStrategyProto.java.

parseFrom() [7/10]

static com.google.ortools.sat.DecisionStrategyProto parseFrom ( java.io.InputStream  input ) throws java.io.IOException

static

Definition at line 1338 of file DecisionStrategyProto.java.

parseFrom() [8/10]

static com.google.ortools.sat.DecisionStrategyProto parseFrom ( java.io.InputStream  input, com.google.protobuf.ExtensionRegistryLite  extensionRegistry  ) throws java.io.IOException

static

Definition at line 1343 of file DecisionStrategyProto.java.

parseFrom() [9/10]

static com.google.ortools.sat.DecisionStrategyProto parseFrom ( java.nio.ByteBuffer  data ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 1306 of file DecisionStrategyProto.java.

parseFrom() [10/10]

static com.google.ortools.sat.DecisionStrategyProto parseFrom ( java.nio.ByteBuffer  data, com.google.protobuf.ExtensionRegistryLite  extensionRegistry  ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 1311 of file DecisionStrategyProto.java.

parser()

static com.google.protobuf.Parser<DecisionStrategyProto> parser ( )

static

Definition at line 2120 of file DecisionStrategyProto.java.

toBuilder()

.lang.Override Builder toBuilder

(

)

Definition at line 1385 of file DecisionStrategyProto.java.

writeTo()

.lang.Override void writeTo

(

com.google.protobuf.CodedOutputStream

output

)

throws java.io.IOException

Definition at line 1203 of file DecisionStrategyProto.java.

Member Data Documentation

DOMAIN_REDUCTION_STRATEGY_FIELD_NUMBER

final int DOMAIN_REDUCTION_STRATEGY_FIELD_NUMBER = 3

static

Definition at line 1132 of file DecisionStrategyProto.java.

TRANSFORMATIONS_FIELD_NUMBER

final int TRANSFORMATIONS_FIELD_NUMBER = 4

static

Definition at line 1151 of file DecisionStrategyProto.java.

VARIABLE_SELECTION_STRATEGY_FIELD_NUMBER

final int VARIABLE_SELECTION_STRATEGY_FIELD_NUMBER = 2

static

Definition at line 1113 of file DecisionStrategyProto.java.

VARIABLES_FIELD_NUMBER

final int VARIABLES_FIELD_NUMBER = 1

static

Definition at line 1067 of file DecisionStrategyProto.java.

---

The documentation for this class was generated from the following file:

• DecisionStrategyProto.java