![]() |
Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
|
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 RestartAlgorithm | valueOf (int value) |
static RestartAlgorithm | forNumber (int value) |
static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > | internalGetValueMap () |
static com.google.protobuf.Descriptors.EnumDescriptor | getDescriptor () |
static RestartAlgorithm | valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc) |
Public Attributes | |
NO_RESTART =(0) | |
LUBY_RESTART =(1) | |
DL_MOVING_AVERAGE_RESTART =(2) | |
LBD_MOVING_AVERAGE_RESTART =(3) | |
FIXED_RESTART =(4) |
Static Public Attributes | |
static final int | NO_RESTART_VALUE = 0 |
static final int | LUBY_RESTART_VALUE = 1 |
static final int | DL_MOVING_AVERAGE_RESTART_VALUE = 2 |
static final int | LBD_MOVING_AVERAGE_RESTART_VALUE = 3 |
static final int | FIXED_RESTART_VALUE = 4 |
Restart algorithms. A reference for the more advanced ones is: Gilles Audemard, Laurent Simon, "Refining Restarts Strategies for SAT and UNSAT", Principles and Practice of Constraint Programming Lecture Notes in Computer Science 2012, pp 118-126
Protobuf enum operations_research.sat.SatParameters.RestartAlgorithm
Definition at line 1032 of file SatParameters.java.
|
static |
|
static |
value | The numeric wire value of the corresponding enum entry. |
Definition at line 1137 of file SatParameters.java.
|
static |
Definition at line 1169 of file SatParameters.java.
final com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.SatParameters.RestartAlgorithm.getDescriptorForType | ( | ) |
Definition at line 1165 of file SatParameters.java.
final int com.google.ortools.sat.SatParameters.RestartAlgorithm.getNumber | ( | ) |
Definition at line 1119 of file SatParameters.java.
final com.google.protobuf.Descriptors.EnumValueDescriptor com.google.ortools.sat.SatParameters.RestartAlgorithm.getValueDescriptor | ( | ) |
Definition at line 1161 of file SatParameters.java.
|
static |
Definition at line 1149 of file SatParameters.java.
|
static |
Definition at line 1175 of file SatParameters.java.
|
static |
value | The numeric wire value of the corresponding enum entry. |
forNumber(int)
instead. Definition at line 1129 of file SatParameters.java.
com.google.ortools.sat.SatParameters.RestartAlgorithm.DL_MOVING_AVERAGE_RESTART =(2) |
Moving average restart based on the decision level of conflicts.
DL_MOVING_AVERAGE_RESTART = 2;
Definition at line 1053 of file SatParameters.java.
|
static |
Moving average restart based on the decision level of conflicts.
DL_MOVING_AVERAGE_RESTART = 2;
Definition at line 1100 of file SatParameters.java.
com.google.ortools.sat.SatParameters.RestartAlgorithm.FIXED_RESTART =(4) |
Fixed period restart every restart period.
FIXED_RESTART = 4;
Definition at line 1069 of file SatParameters.java.
|
static |
Fixed period restart every restart period.
FIXED_RESTART = 4;
Definition at line 1116 of file SatParameters.java.
com.google.ortools.sat.SatParameters.RestartAlgorithm.LBD_MOVING_AVERAGE_RESTART =(3) |
Moving average restart based on the LBD of conflicts.
LBD_MOVING_AVERAGE_RESTART = 3;
Definition at line 1061 of file SatParameters.java.
|
static |
Moving average restart based on the LBD of conflicts.
LBD_MOVING_AVERAGE_RESTART = 3;
Definition at line 1108 of file SatParameters.java.
com.google.ortools.sat.SatParameters.RestartAlgorithm.LUBY_RESTART =(1) |
Just follow a Luby sequence times restart_period.
LUBY_RESTART = 1;
Definition at line 1045 of file SatParameters.java.
|
static |
Just follow a Luby sequence times restart_period.
LUBY_RESTART = 1;
Definition at line 1092 of file SatParameters.java.
com.google.ortools.sat.SatParameters.RestartAlgorithm.NO_RESTART =(0) |
NO_RESTART = 0;
Definition at line 1037 of file SatParameters.java.
|
static |
NO_RESTART = 0;
Definition at line 1084 of file SatParameters.java.