Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
com.google.ortools.sat.DecisionStrategyProto Class 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 17 of file DecisionStrategyProto.java.

Inheritance diagram for com.google.ortools.sat.DecisionStrategyProto:
com.google.ortools.sat.DecisionStrategyProtoOrBuilder

Classes

class  Builder
enum  DomainReductionStrategy
enum  VariableSelectionStrategy

Public Member Functions

java.util.List< java.lang.Integer > getVariablesList ()
int getVariablesCount ()
int getVariables (int index)
java.util.List< com.google.ortools.sat.LinearExpressionProto > getExprsList ()
java.util.List<? extends com.google.ortools.sat.LinearExpressionProtoOrBuilder > getExprsOrBuilderList ()
int getExprsCount ()
com.google.ortools.sat.LinearExpressionProto getExprs (int index)
com.google.ortools.sat.LinearExpressionProtoOrBuilder getExprsOrBuilder (int index)
int getVariableSelectionStrategyValue ()
com.google.ortools.sat.DecisionStrategyProto.VariableSelectionStrategy getVariableSelectionStrategy ()
int getDomainReductionStrategyValue ()
com.google.ortools.sat.DecisionStrategyProto.DomainReductionStrategy getDomainReductionStrategy ()
final boolean isInitialized ()
void writeTo (com.google.protobuf.CodedOutputStream output) throws java.io.IOException
int getSerializedSize ()
boolean equals (final java.lang.Object obj)
int hashCode ()
Builder newBuilderForType ()
Builder toBuilder ()
com.google.protobuf.Parser< DecisionStrategyProto > getParserForType ()
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 EXPRS_FIELD_NUMBER = 5
static final int VARIABLE_SELECTION_STRATEGY_FIELD_NUMBER = 2
static final int DOMAIN_REDUCTION_STRATEGY_FIELD_NUMBER = 3

Protected Member Functions

com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable ()
Builder newBuilderForType (com.google.protobuf.GeneratedMessage.BuilderParent parent)

Member Function Documentation

◆ equals()

boolean com.google.ortools.sat.DecisionStrategyProto.equals ( final java.lang.Object obj)

Definition at line 609 of file DecisionStrategyProto.java.

◆ getDefaultInstance()

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

Definition at line 1627 of file DecisionStrategyProto.java.

◆ getDefaultInstanceForType()

com.google.ortools.sat.DecisionStrategyProto com.google.ortools.sat.DecisionStrategyProto.getDefaultInstanceForType ( )

Definition at line 1663 of file DecisionStrategyProto.java.

◆ getDescriptor()

final com.google.protobuf.Descriptors.Descriptor com.google.ortools.sat.DecisionStrategyProto.getDescriptor ( )
static

Definition at line 43 of file DecisionStrategyProto.java.

◆ getDomainReductionStrategy()

com.google.ortools.sat.DecisionStrategyProto.DomainReductionStrategy com.google.ortools.sat.DecisionStrategyProto.getDomainReductionStrategy ( )

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

Returns
The domainReductionStrategy.

Implements com.google.ortools.sat.DecisionStrategyProtoOrBuilder.

Definition at line 532 of file DecisionStrategyProto.java.

◆ getDomainReductionStrategyValue()

int com.google.ortools.sat.DecisionStrategyProto.getDomainReductionStrategyValue ( )

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

Returns
The enum numeric value on the wire for domainReductionStrategy.

Implements com.google.ortools.sat.DecisionStrategyProtoOrBuilder.

Definition at line 525 of file DecisionStrategyProto.java.

◆ getExprs()

com.google.ortools.sat.LinearExpressionProto com.google.ortools.sat.DecisionStrategyProto.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;

Implements com.google.ortools.sat.DecisionStrategyProtoOrBuilder.

Definition at line 480 of file DecisionStrategyProto.java.

◆ getExprsCount()

int com.google.ortools.sat.DecisionStrategyProto.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;

Implements com.google.ortools.sat.DecisionStrategyProtoOrBuilder.

Definition at line 464 of file DecisionStrategyProto.java.

◆ getExprsList()

java.util.List< com.google.ortools.sat.LinearExpressionProto > com.google.ortools.sat.DecisionStrategyProto.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;

Implements com.google.ortools.sat.DecisionStrategyProtoOrBuilder.

Definition at line 431 of file DecisionStrategyProto.java.

◆ getExprsOrBuilder()

com.google.ortools.sat.LinearExpressionProtoOrBuilder com.google.ortools.sat.DecisionStrategyProto.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;

Implements com.google.ortools.sat.DecisionStrategyProtoOrBuilder.

Definition at line 496 of file DecisionStrategyProto.java.

◆ getExprsOrBuilderList()

java.util.List<? extends com.google.ortools.sat.LinearExpressionProtoOrBuilder > com.google.ortools.sat.DecisionStrategyProto.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;

Implements com.google.ortools.sat.DecisionStrategyProtoOrBuilder.

Definition at line 448 of file DecisionStrategyProto.java.

◆ getParserForType()

com.google.protobuf.Parser< DecisionStrategyProto > com.google.ortools.sat.DecisionStrategyProto.getParserForType ( )

Definition at line 1658 of file DecisionStrategyProto.java.

◆ getSerializedSize()

int com.google.ortools.sat.DecisionStrategyProto.getSerializedSize ( )

Definition at line 572 of file DecisionStrategyProto.java.

◆ getVariables()

int com.google.ortools.sat.DecisionStrategyProto.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 com.google.ortools.sat.DecisionStrategyProtoOrBuilder.

Definition at line 410 of file DecisionStrategyProto.java.

◆ getVariablesCount()

int com.google.ortools.sat.DecisionStrategyProto.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 com.google.ortools.sat.DecisionStrategyProtoOrBuilder.

Definition at line 396 of file DecisionStrategyProto.java.

◆ getVariableSelectionStrategy()

com.google.ortools.sat.DecisionStrategyProto.VariableSelectionStrategy com.google.ortools.sat.DecisionStrategyProto.getVariableSelectionStrategy ( )

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

Returns
The variableSelectionStrategy.

Implements com.google.ortools.sat.DecisionStrategyProtoOrBuilder.

Definition at line 514 of file DecisionStrategyProto.java.

◆ getVariableSelectionStrategyValue()

int com.google.ortools.sat.DecisionStrategyProto.getVariableSelectionStrategyValue ( )

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

Returns
The enum numeric value on the wire for variableSelectionStrategy.

Implements com.google.ortools.sat.DecisionStrategyProtoOrBuilder.

Definition at line 507 of file DecisionStrategyProto.java.

◆ getVariablesList()

java.util.List< java.lang.Integer > com.google.ortools.sat.DecisionStrategyProto.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 com.google.ortools.sat.DecisionStrategyProtoOrBuilder.

Definition at line 383 of file DecisionStrategyProto.java.

◆ hashCode()

int com.google.ortools.sat.DecisionStrategyProto.hashCode ( )

Definition at line 629 of file DecisionStrategyProto.java.

◆ internalGetFieldAccessorTable()

com.google.protobuf.GeneratedMessage.FieldAccessorTable com.google.ortools.sat.DecisionStrategyProto.internalGetFieldAccessorTable ( )
protected

Definition at line 49 of file DecisionStrategyProto.java.

◆ isInitialized()

final boolean com.google.ortools.sat.DecisionStrategyProto.isInitialized ( )

Definition at line 539 of file DecisionStrategyProto.java.

◆ newBuilder() [1/2]

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

Definition at line 726 of file DecisionStrategyProto.java.

◆ newBuilder() [2/2]

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

Definition at line 729 of file DecisionStrategyProto.java.

◆ newBuilderForType() [1/2]

Builder com.google.ortools.sat.DecisionStrategyProto.newBuilderForType ( )

Definition at line 725 of file DecisionStrategyProto.java.

◆ newBuilderForType() [2/2]

Builder com.google.ortools.sat.DecisionStrategyProto.newBuilderForType ( com.google.protobuf.GeneratedMessage.BuilderParent parent)
protected

Definition at line 739 of file DecisionStrategyProto.java.

◆ parseDelimitedFrom() [1/2]

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

Definition at line 697 of file DecisionStrategyProto.java.

◆ parseDelimitedFrom() [2/2]

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

Definition at line 703 of file DecisionStrategyProto.java.

◆ parseFrom() [1/10]

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

Definition at line 674 of file DecisionStrategyProto.java.

◆ parseFrom() [2/10]

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

Definition at line 678 of file DecisionStrategyProto.java.

◆ parseFrom() [3/10]

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

Definition at line 663 of file DecisionStrategyProto.java.

◆ parseFrom() [4/10]

com.google.ortools.sat.DecisionStrategyProto 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 668 of file DecisionStrategyProto.java.

◆ parseFrom() [5/10]

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

Definition at line 710 of file DecisionStrategyProto.java.

◆ parseFrom() [6/10]

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

Definition at line 716 of file DecisionStrategyProto.java.

◆ parseFrom() [7/10]

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

Definition at line 684 of file DecisionStrategyProto.java.

◆ parseFrom() [8/10]

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

Definition at line 689 of file DecisionStrategyProto.java.

◆ parseFrom() [9/10]

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

Definition at line 652 of file DecisionStrategyProto.java.

◆ parseFrom() [10/10]

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

Definition at line 657 of file DecisionStrategyProto.java.

◆ parser()

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

Definition at line 1653 of file DecisionStrategyProto.java.

◆ toBuilder()

Builder com.google.ortools.sat.DecisionStrategyProto.toBuilder ( )

Definition at line 733 of file DecisionStrategyProto.java.

◆ writeTo()

void com.google.ortools.sat.DecisionStrategyProto.writeTo ( com.google.protobuf.CodedOutputStream output) throws java.io.IOException

Definition at line 549 of file DecisionStrategyProto.java.

Member Data Documentation

◆ DOMAIN_REDUCTION_STRATEGY_FIELD_NUMBER

final int com.google.ortools.sat.DecisionStrategyProto.DOMAIN_REDUCTION_STRATEGY_FIELD_NUMBER = 3
static

Definition at line 519 of file DecisionStrategyProto.java.

◆ EXPRS_FIELD_NUMBER

final int com.google.ortools.sat.DecisionStrategyProto.EXPRS_FIELD_NUMBER = 5
static

Definition at line 415 of file DecisionStrategyProto.java.

◆ VARIABLE_SELECTION_STRATEGY_FIELD_NUMBER

final int com.google.ortools.sat.DecisionStrategyProto.VARIABLE_SELECTION_STRATEGY_FIELD_NUMBER = 2
static

Definition at line 501 of file DecisionStrategyProto.java.

◆ VARIABLES_FIELD_NUMBER

final int com.google.ortools.sat.DecisionStrategyProto.VARIABLES_FIELD_NUMBER = 1
static

Definition at line 367 of file DecisionStrategyProto.java.

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