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

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
java.lang.Object	newInstance (UnusedPrivateParameter unused)

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

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

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

Member Function Documentation

◆ equals()

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

Definition at line 578 of file DecisionStrategyProto.java.

◆ getDefaultInstance()

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

static

Definition at line 1644 of file DecisionStrategyProto.java.

◆ getDefaultInstanceForType()

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

Definition at line 1680 of file DecisionStrategyProto.java.

◆ getDescriptor()

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

static

Definition at line 39 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 501 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 494 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.