Java Reference

Java Reference

DecisionStrategyProto.DomainReductionStrategy Enum Reference

Detailed Description

Once a variable 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 291 of file DecisionStrategyProto.java.

Public Member Functions

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

Static Public Member Functions

.lang.Deprecated static DomainReductionStrategy valueOf (int value)
 
static DomainReductionStrategy forNumber (int value)
 
static com.google.protobuf.Internal.EnumLiteMap< DomainReductionStrategyinternalGetValueMap ()
 
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ()
 
static DomainReductionStrategy valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc)
 

Public Attributes

 SELECT_MIN_VALUE =(0)
 SELECT_MIN_VALUE = 0; More...
 
 SELECT_MAX_VALUE =(1)
 SELECT_MAX_VALUE = 1; More...
 
 SELECT_LOWER_HALF =(2)
 SELECT_LOWER_HALF = 2; More...
 
 SELECT_UPPER_HALF =(3)
 SELECT_UPPER_HALF = 3; More...
 
 SELECT_MEDIAN_VALUE =(4)
 SELECT_MEDIAN_VALUE = 4; More...
 
 UNRECOGNIZED =(-1)
 

Static Public Attributes

static final int SELECT_MIN_VALUE_VALUE = 0
 SELECT_MIN_VALUE = 0; More...
 
static final int SELECT_MAX_VALUE_VALUE = 1
 SELECT_MAX_VALUE = 1; More...
 
static final int SELECT_LOWER_HALF_VALUE = 2
 SELECT_LOWER_HALF = 2; More...
 
static final int SELECT_UPPER_HALF_VALUE = 3
 SELECT_UPPER_HALF = 3; More...
 
static final int SELECT_MEDIAN_VALUE_VALUE = 4
 SELECT_MEDIAN_VALUE = 4; More...
 

Member Function Documentation

◆ forNumber()

static DomainReductionStrategy forNumber ( int  value)
inlinestatic
Parameters
valueThe numeric wire value of the corresponding enum entry.
Returns
The enum associated with the given numeric wire value.

Definition at line 360 of file DecisionStrategyProto.java.

◆ getDescriptor()

static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ( )
inlinestatic

Definition at line 396 of file DecisionStrategyProto.java.

◆ getDescriptorForType()

final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType ( )
inline

Definition at line 392 of file DecisionStrategyProto.java.

◆ getNumber()

final int getNumber ( )
inline

Definition at line 338 of file DecisionStrategyProto.java.

◆ getValueDescriptor()

final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor ( )
inline

Definition at line 384 of file DecisionStrategyProto.java.

◆ internalGetValueMap()

static com.google.protobuf.Internal.EnumLiteMap<DomainReductionStrategy> internalGetValueMap ( )
inlinestatic

Definition at line 372 of file DecisionStrategyProto.java.

◆ valueOf() [1/2]

static DomainReductionStrategy valueOf ( com.google.protobuf.Descriptors.EnumValueDescriptor  desc)
inlinestatic

Definition at line 402 of file DecisionStrategyProto.java.

◆ valueOf() [2/2]

.lang.Deprecated static DomainReductionStrategy valueOf ( int  value)
inlinestatic
Parameters
valueThe numeric wire value of the corresponding enum entry.
Returns
The enum associated with the given numeric wire value.
Deprecated:
Use forNumber(int) instead.

Definition at line 352 of file DecisionStrategyProto.java.

Member Data Documentation

◆ SELECT_LOWER_HALF

SELECT_LOWER_HALF =(2)

SELECT_LOWER_HALF = 2;

Definition at line 304 of file DecisionStrategyProto.java.

◆ SELECT_LOWER_HALF_VALUE

final int SELECT_LOWER_HALF_VALUE = 2
static

SELECT_LOWER_HALF = 2;

Definition at line 327 of file DecisionStrategyProto.java.

◆ SELECT_MAX_VALUE

SELECT_MAX_VALUE =(1)

SELECT_MAX_VALUE = 1;

Definition at line 300 of file DecisionStrategyProto.java.

◆ SELECT_MAX_VALUE_VALUE

final int SELECT_MAX_VALUE_VALUE = 1
static

SELECT_MAX_VALUE = 1;

Definition at line 323 of file DecisionStrategyProto.java.

◆ SELECT_MEDIAN_VALUE

SELECT_MEDIAN_VALUE =(4)

SELECT_MEDIAN_VALUE = 4;

Definition at line 312 of file DecisionStrategyProto.java.

◆ SELECT_MEDIAN_VALUE_VALUE

final int SELECT_MEDIAN_VALUE_VALUE = 4
static

SELECT_MEDIAN_VALUE = 4;

Definition at line 335 of file DecisionStrategyProto.java.

◆ SELECT_MIN_VALUE

SELECT_MIN_VALUE =(0)

SELECT_MIN_VALUE = 0;

Definition at line 296 of file DecisionStrategyProto.java.

◆ SELECT_MIN_VALUE_VALUE

final int SELECT_MIN_VALUE_VALUE = 0
static

SELECT_MIN_VALUE = 0;

Definition at line 319 of file DecisionStrategyProto.java.

◆ SELECT_UPPER_HALF

SELECT_UPPER_HALF =(3)

SELECT_UPPER_HALF = 3;

Definition at line 308 of file DecisionStrategyProto.java.

◆ SELECT_UPPER_HALF_VALUE

final int SELECT_UPPER_HALF_VALUE = 3
static

SELECT_UPPER_HALF = 3;

Definition at line 331 of file DecisionStrategyProto.java.

◆ UNRECOGNIZED

UNRECOGNIZED =(-1)

Definition at line 313 of file DecisionStrategyProto.java.


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