Detailed Description

Once a variable (resp. affine expression) has been chosen, this enum
describe what decision is taken on its domain.

TODO(user): extend as needed.

Protobuf enum operations_research.sat.DecisionStrategyProto.DomainReductionStrategy

Definition at line 217 of file DecisionStrategyProto.java.

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

Public Member Functions
final int	getNumber ()
final com.google.protobuf.Descriptors.EnumValueDescriptor	getValueDescriptor ()
final com.google.protobuf.Descriptors.EnumDescriptor	getDescriptorForType ()

Static Public Member Functions
	[static initializer]
static DomainReductionStrategy	valueOf (int value)
static DomainReductionStrategy	forNumber (int value)
static com.google.protobuf.Internal.EnumLiteMap< DomainReductionStrategy >	internalGetValueMap ()
static com.google.protobuf.Descriptors.EnumDescriptor	getDescriptor ()
static DomainReductionStrategy	valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc)

Public Attributes
	SELECT_MIN_VALUE =(0)
	SELECT_MAX_VALUE =(1)
	SELECT_LOWER_HALF =(2)
	SELECT_UPPER_HALF =(3)
	SELECT_MEDIAN_VALUE =(4)
	SELECT_RANDOM_HALF =(5)
	UNRECOGNIZED =(-1)

Static Public Attributes
static final int	SELECT_MIN_VALUE_VALUE = 0
static final int	SELECT_MAX_VALUE_VALUE = 1
static final int	SELECT_LOWER_HALF_VALUE = 2
static final int	SELECT_UPPER_HALF_VALUE = 3
static final int	SELECT_MEDIAN_VALUE_VALUE = 4
static final int	SELECT_RANDOM_HALF_VALUE = 5

Member Function Documentation

◆ [static initializer]()

com.google.ortools.sat.DecisionStrategyProto.DomainReductionStrategy.[static initializer]

static

◆ forNumber()

DomainReductionStrategy com.google.ortools.sat.DecisionStrategyProto.DomainReductionStrategy.forNumber ( int value )

static

Parameters

value The numeric wire value of the corresponding enum entry.

Returns: The enum associated with the given numeric wire value.

Definition at line 303 of file DecisionStrategyProto.java.

◆ getDescriptor()

com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.DecisionStrategyProto.DomainReductionStrategy.getDescriptor ( )

static

Definition at line 340 of file DecisionStrategyProto.java.

◆ getDescriptorForType()

final com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.DecisionStrategyProto.DomainReductionStrategy.getDescriptorForType ( )

Definition at line 336 of file DecisionStrategyProto.java.

◆ getNumber()

final int com.google.ortools.sat.DecisionStrategyProto.DomainReductionStrategy.getNumber ( )

Definition at line 281 of file DecisionStrategyProto.java.

◆ getValueDescriptor()

final com.google.protobuf.Descriptors.EnumValueDescriptor com.google.ortools.sat.DecisionStrategyProto.DomainReductionStrategy.getValueDescriptor ( )

Definition at line 328 of file DecisionStrategyProto.java.

◆ internalGetValueMap()

com.google.protobuf.Internal.EnumLiteMap< DomainReductionStrategy > com.google.ortools.sat.DecisionStrategyProto.DomainReductionStrategy.internalGetValueMap ( )

static

Definition at line 316 of file DecisionStrategyProto.java.

◆ valueOf() [1/2]

DomainReductionStrategy com.google.ortools.sat.DecisionStrategyProto.DomainReductionStrategy.valueOf ( com.google.protobuf.Descriptors.EnumValueDescriptor desc )

static

Definition at line 346 of file DecisionStrategyProto.java.