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 final 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)

	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

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

Member Function Documentation

◆ [static initializer]()

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

static

◆ forNumber()

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

◆ getDescriptor()

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

static

Definition at line 329 of file DecisionStrategyProto.java.

◆ getDescriptorForType()

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

Definition at line 325 of file DecisionStrategyProto.java.

◆ getNumber()

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

Definition at line 271 of file DecisionStrategyProto.java.

◆ getValueDescriptor()

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

Definition at line 317 of file DecisionStrategyProto.java.

◆ internalGetValueMap()

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

static

Definition at line 305 of file DecisionStrategyProto.java.

◆ valueOf() [1/2]

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

static

Definition at line 335 of file DecisionStrategyProto.java.