Java Reference

Java Reference

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.AffineTransformationgetTransformationsList ()
 repeated .operations_research.sat.DecisionStrategyProto.AffineTransformation transformations = 4; More...
 
.lang.Override java.util.List<? extends com.google.ortools.sat.DecisionStrategyProto.AffineTransformationOrBuildergetTransformationsOrBuilderList ()
 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< DecisionStrategyProtogetParserForType ()
 
.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< DecisionStrategyProtoparser ()
 

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
indexThe 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: