![]() |
Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
|
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 245 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 | |
| [static initializer] | |
| static VariableOrder | valueOf (int value) |
| static VariableOrder | forNumber (int value) |
| static com.google.protobuf.Internal.EnumLiteMap< VariableOrder > | internalGetValueMap () |
| static 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_RANDOM_ORDER =(2) | |
Static Public Attributes | |
| static final int | IN_ORDER_VALUE = 0 |
| static final int | IN_REVERSE_ORDER_VALUE = 1 |
| static final int | IN_RANDOM_ORDER_VALUE = 2 |
|
static |
|
static |
| value | The numeric wire value of the corresponding enum entry. |
Definition at line 310 of file SatParameters.java.
|
static |
Definition at line 340 of file SatParameters.java.
| final com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.SatParameters.VariableOrder.getDescriptorForType | ( | ) |
Definition at line 336 of file SatParameters.java.
| final int com.google.ortools.sat.SatParameters.VariableOrder.getNumber | ( | ) |
Definition at line 292 of file SatParameters.java.
| final com.google.protobuf.Descriptors.EnumValueDescriptor com.google.ortools.sat.SatParameters.VariableOrder.getValueDescriptor | ( | ) |
Definition at line 332 of file SatParameters.java.
|
static |
Definition at line 320 of file SatParameters.java.
|
static |
Definition at line 346 of file SatParameters.java.
|
static |
| value | The numeric wire value of the corresponding enum entry. |
forNumber(int) instead. Definition at line 302 of file SatParameters.java.
| com.google.ortools.sat.SatParameters.VariableOrder.IN_ORDER =(0) |
|
static |
| com.google.ortools.sat.SatParameters.VariableOrder.IN_RANDOM_ORDER =(2) |
IN_RANDOM_ORDER = 2;
Definition at line 262 of file SatParameters.java.
|
static |
IN_RANDOM_ORDER = 2;
Definition at line 289 of file SatParameters.java.
| com.google.ortools.sat.SatParameters.VariableOrder.IN_REVERSE_ORDER =(1) |
IN_REVERSE_ORDER = 1;
Definition at line 258 of file SatParameters.java.
|
static |
IN_REVERSE_ORDER = 1;
Definition at line 285 of file SatParameters.java.