Java Reference

Java Reference

SatParameters.VariableOrder Enum Reference

Detailed Description

Variables without activity (i.e. at the beginning of the search) will be
tried in this preferred order.

Protobuf enum

operations_research.sat.SatParameters.VariableOrder

Definition at line 1004 of file SatParameters.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 VariableOrder valueOf (int value)
 
static VariableOrder forNumber (int value)
 
static com.google.protobuf.Internal.EnumLiteMap< VariableOrderinternalGetValueMap ()
 
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ()
 
static VariableOrder valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc)
 

Public Attributes

 IN_ORDER =(0)
 
 IN_REVERSE_ORDER =(1)
 IN_REVERSE_ORDER = 1; More...
 
 IN_RANDOM_ORDER =(2)
 IN_RANDOM_ORDER = 2; More...
 

Static Public Attributes

static final int IN_ORDER_VALUE = 0
 
static final int IN_REVERSE_ORDER_VALUE = 1
 IN_REVERSE_ORDER = 1; More...
 
static final int IN_RANDOM_ORDER_VALUE = 2
 IN_RANDOM_ORDER = 2; More...
 

Member Function Documentation

◆ forNumber()

static VariableOrder 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 1060 of file SatParameters.java.

◆ getDescriptor()

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

Definition at line 1090 of file SatParameters.java.

◆ getDescriptorForType()

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

Definition at line 1086 of file SatParameters.java.

◆ getNumber()

final int getNumber ( )
inline

Definition at line 1042 of file SatParameters.java.

◆ getValueDescriptor()

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

Definition at line 1082 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 1070 of file SatParameters.java.

◆ valueOf() [1/2]

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

Definition at line 1096 of file SatParameters.java.

◆ valueOf() [2/2]

.lang.Deprecated static VariableOrder 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 1052 of file SatParameters.java.

Member Data Documentation

◆ IN_ORDER

IN_ORDER =(0)
As specified by the problem.

IN_ORDER = 0;

Definition at line 1013 of file SatParameters.java.

◆ IN_ORDER_VALUE

final int IN_ORDER_VALUE = 0
static
As specified by the problem.

IN_ORDER = 0;

Definition at line 1031 of file SatParameters.java.

◆ IN_RANDOM_ORDER

IN_RANDOM_ORDER =(2)

IN_RANDOM_ORDER = 2;

Definition at line 1021 of file SatParameters.java.

◆ IN_RANDOM_ORDER_VALUE

final int IN_RANDOM_ORDER_VALUE = 2
static

IN_RANDOM_ORDER = 2;

Definition at line 1039 of file SatParameters.java.

◆ IN_REVERSE_ORDER

IN_REVERSE_ORDER =(1)

IN_REVERSE_ORDER = 1;

Definition at line 1017 of file SatParameters.java.

◆ IN_REVERSE_ORDER_VALUE

final int IN_REVERSE_ORDER_VALUE = 1
static

IN_REVERSE_ORDER = 1;

Definition at line 1035 of file SatParameters.java.


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