Java Reference

Java Reference

DecisionStrategyProto.VariableSelectionStrategy Enum Reference

Detailed Description

The order in which the variables above should be considered. Note that only
variables that are not already fixed are considered.
TODO(user): extend as needed.

Protobuf enum

operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy

Definition at line 150 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 VariableSelectionStrategy valueOf (int value)
 
static VariableSelectionStrategy forNumber (int value)
 
static com.google.protobuf.Internal.EnumLiteMap< VariableSelectionStrategyinternalGetValueMap ()
 
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ()
 
static VariableSelectionStrategy valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc)
 

Public Attributes

 CHOOSE_FIRST =(0)
 CHOOSE_FIRST = 0; More...
 
 CHOOSE_LOWEST_MIN =(1)
 CHOOSE_LOWEST_MIN = 1; More...
 
 CHOOSE_HIGHEST_MAX =(2)
 CHOOSE_HIGHEST_MAX = 2; More...
 
 CHOOSE_MIN_DOMAIN_SIZE =(3)
 CHOOSE_MIN_DOMAIN_SIZE = 3; More...
 
 CHOOSE_MAX_DOMAIN_SIZE =(4)
 CHOOSE_MAX_DOMAIN_SIZE = 4; More...
 
 UNRECOGNIZED =(-1)
 

Static Public Attributes

static final int CHOOSE_FIRST_VALUE = 0
 CHOOSE_FIRST = 0; More...
 
static final int CHOOSE_LOWEST_MIN_VALUE = 1
 CHOOSE_LOWEST_MIN = 1; More...
 
static final int CHOOSE_HIGHEST_MAX_VALUE = 2
 CHOOSE_HIGHEST_MAX = 2; More...
 
static final int CHOOSE_MIN_DOMAIN_SIZE_VALUE = 3
 CHOOSE_MIN_DOMAIN_SIZE = 3; More...
 
static final int CHOOSE_MAX_DOMAIN_SIZE_VALUE = 4
 CHOOSE_MAX_DOMAIN_SIZE = 4; More...
 

Member Function Documentation

◆ forNumber()

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

◆ getDescriptor()

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

Definition at line 255 of file DecisionStrategyProto.java.

◆ getDescriptorForType()

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

Definition at line 251 of file DecisionStrategyProto.java.

◆ getNumber()

final int getNumber ( )
inline

Definition at line 197 of file DecisionStrategyProto.java.

◆ getValueDescriptor()

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

Definition at line 243 of file DecisionStrategyProto.java.

◆ internalGetValueMap()

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

Definition at line 231 of file DecisionStrategyProto.java.

◆ valueOf() [1/2]

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

Definition at line 261 of file DecisionStrategyProto.java.

◆ valueOf() [2/2]

.lang.Deprecated static VariableSelectionStrategy 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 211 of file DecisionStrategyProto.java.

Member Data Documentation

◆ CHOOSE_FIRST

CHOOSE_FIRST =(0)

CHOOSE_FIRST = 0;

Definition at line 155 of file DecisionStrategyProto.java.

◆ CHOOSE_FIRST_VALUE

final int CHOOSE_FIRST_VALUE = 0
static

CHOOSE_FIRST = 0;

Definition at line 178 of file DecisionStrategyProto.java.

◆ CHOOSE_HIGHEST_MAX

CHOOSE_HIGHEST_MAX =(2)

CHOOSE_HIGHEST_MAX = 2;

Definition at line 163 of file DecisionStrategyProto.java.

◆ CHOOSE_HIGHEST_MAX_VALUE

final int CHOOSE_HIGHEST_MAX_VALUE = 2
static

CHOOSE_HIGHEST_MAX = 2;

Definition at line 186 of file DecisionStrategyProto.java.

◆ CHOOSE_LOWEST_MIN

CHOOSE_LOWEST_MIN =(1)

CHOOSE_LOWEST_MIN = 1;

Definition at line 159 of file DecisionStrategyProto.java.

◆ CHOOSE_LOWEST_MIN_VALUE

final int CHOOSE_LOWEST_MIN_VALUE = 1
static

CHOOSE_LOWEST_MIN = 1;

Definition at line 182 of file DecisionStrategyProto.java.

◆ CHOOSE_MAX_DOMAIN_SIZE

CHOOSE_MAX_DOMAIN_SIZE =(4)

CHOOSE_MAX_DOMAIN_SIZE = 4;

Definition at line 171 of file DecisionStrategyProto.java.

◆ CHOOSE_MAX_DOMAIN_SIZE_VALUE

final int CHOOSE_MAX_DOMAIN_SIZE_VALUE = 4
static

CHOOSE_MAX_DOMAIN_SIZE = 4;

Definition at line 194 of file DecisionStrategyProto.java.

◆ CHOOSE_MIN_DOMAIN_SIZE

CHOOSE_MIN_DOMAIN_SIZE =(3)

CHOOSE_MIN_DOMAIN_SIZE = 3;

Definition at line 167 of file DecisionStrategyProto.java.

◆ CHOOSE_MIN_DOMAIN_SIZE_VALUE

final int CHOOSE_MIN_DOMAIN_SIZE_VALUE = 3
static

CHOOSE_MIN_DOMAIN_SIZE = 3;

Definition at line 190 of file DecisionStrategyProto.java.

◆ UNRECOGNIZED

UNRECOGNIZED =(-1)

Definition at line 172 of file DecisionStrategyProto.java.


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