Java Reference
Java Reference
Detailed Description
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
Definition at line 1776 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 RestartAlgorithm | valueOf (int value) |
| static RestartAlgorithm | forNumber (int value) |
| static com.google.protobuf.Internal.EnumLiteMap< RestartAlgorithm > | internalGetValueMap () |
| static final com.google.protobuf.Descriptors.EnumDescriptor | getDescriptor () |
| static RestartAlgorithm | valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc) |
Public Attributes | |
| NO_RESTART =(0) | |
NO_RESTART = 0; More... | |
| 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 |
NO_RESTART = 0; More... | |
| 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 |
Member Function Documentation
◆ forNumber()
|
inlinestatic |
- Parameters
-
value The numeric wire value of the corresponding enum entry.
- Returns
- The enum associated with the given numeric wire value.
Definition at line 1872 of file SatParameters.java.
◆ getDescriptor()
|
inlinestatic |
Definition at line 1904 of file SatParameters.java.
◆ getDescriptorForType()
|
inline |
Definition at line 1900 of file SatParameters.java.
◆ getNumber()
|
inline |
Definition at line 1854 of file SatParameters.java.
◆ getValueDescriptor()
|
inline |
Definition at line 1896 of file SatParameters.java.
◆ internalGetValueMap()
|
inlinestatic |
Definition at line 1884 of file SatParameters.java.
◆ valueOf() [1/2]
|
inlinestatic |
Definition at line 1910 of file SatParameters.java.
◆ valueOf() [2/2]
|
inlinestatic |
- Parameters
-
value The 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 1864 of file SatParameters.java.
Member Data Documentation
◆ DL_MOVING_AVERAGE_RESTART
| DL_MOVING_AVERAGE_RESTART =(2) |
Moving average restart based on the decision level of conflicts.
DL_MOVING_AVERAGE_RESTART = 2;
Definition at line 1797 of file SatParameters.java.
◆ DL_MOVING_AVERAGE_RESTART_VALUE
|
static |
Moving average restart based on the decision level of conflicts.
DL_MOVING_AVERAGE_RESTART = 2;
Definition at line 1835 of file SatParameters.java.
◆ FIXED_RESTART
| FIXED_RESTART =(4) |
Fixed period restart every restart period.
FIXED_RESTART = 4;
Definition at line 1813 of file SatParameters.java.
◆ FIXED_RESTART_VALUE
|
static |
Fixed period restart every restart period.
FIXED_RESTART = 4;
Definition at line 1851 of file SatParameters.java.
◆ LBD_MOVING_AVERAGE_RESTART
| LBD_MOVING_AVERAGE_RESTART =(3) |
Moving average restart based on the LBD of conflicts.
LBD_MOVING_AVERAGE_RESTART = 3;
Definition at line 1805 of file SatParameters.java.
◆ LBD_MOVING_AVERAGE_RESTART_VALUE
|
static |
Moving average restart based on the LBD of conflicts.
LBD_MOVING_AVERAGE_RESTART = 3;
Definition at line 1843 of file SatParameters.java.
◆ LUBY_RESTART
| LUBY_RESTART =(1) |
Just follow a Luby sequence times restart_period.
LUBY_RESTART = 1;
Definition at line 1789 of file SatParameters.java.
◆ LUBY_RESTART_VALUE
|
static |
Just follow a Luby sequence times restart_period.
LUBY_RESTART = 1;
Definition at line 1827 of file SatParameters.java.
◆ NO_RESTART
| NO_RESTART =(0) |
NO_RESTART = 0;
Definition at line 1781 of file SatParameters.java.
◆ NO_RESTART_VALUE
|
static |
NO_RESTART = 0;
Definition at line 1819 of file SatParameters.java.
The documentation for this enum was generated from the following file: