Google OR-Tools v9.9
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 ClauseProtection | valueOf (int value) |
static ClauseProtection | forNumber (int value) |
static com.google.protobuf.Internal.EnumLiteMap< ClauseProtection > | internalGetValueMap () |
static final com.google.protobuf.Descriptors.EnumDescriptor | getDescriptor () |
static ClauseProtection | valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc) |
Public Attributes | |
PROTECTION_NONE =(0) | |
PROTECTION_ALWAYS =(1) | |
PROTECTION_LBD =(2) | |
Static Public Attributes | |
static final int | PROTECTION_NONE_VALUE = 0 |
static final int | PROTECTION_ALWAYS_VALUE = 1 |
static final int | PROTECTION_LBD_VALUE = 2 |
Each time a clause activity is bumped, the clause has a chance to be protected during the next cleanup phase. Note that clauses used as a reason are always protected.
Protobuf enum operations_research.sat.SatParameters.ClauseProtection
Definition at line 692 of file SatParameters.java.
|
static |
value | The numeric wire value of the corresponding enum entry. |
Definition at line 764 of file SatParameters.java.
|
static |
Definition at line 794 of file SatParameters.java.
final com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.SatParameters.ClauseProtection.getDescriptorForType | ( | ) |
Definition at line 790 of file SatParameters.java.
final int com.google.ortools.sat.SatParameters.ClauseProtection.getNumber | ( | ) |
Definition at line 746 of file SatParameters.java.
final com.google.protobuf.Descriptors.EnumValueDescriptor com.google.ortools.sat.SatParameters.ClauseProtection.getValueDescriptor | ( | ) |
Definition at line 786 of file SatParameters.java.
|
static |
Definition at line 774 of file SatParameters.java.
|
static |
Definition at line 800 of file SatParameters.java.
|
static |
value | The numeric wire value of the corresponding enum entry. |
forNumber(int)
instead. Definition at line 756 of file SatParameters.java.
com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_ALWAYS =(1) |
Protect all clauses whose activity is bumped.
PROTECTION_ALWAYS = 1;
Definition at line 709 of file SatParameters.java.
|
static |
Protect all clauses whose activity is bumped.
PROTECTION_ALWAYS = 1;
Definition at line 735 of file SatParameters.java.
com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_LBD =(2) |
Only protect clause with a better LBD.
PROTECTION_LBD = 2;
Definition at line 717 of file SatParameters.java.
|
static |
Only protect clause with a better LBD.
PROTECTION_LBD = 2;
Definition at line 743 of file SatParameters.java.
com.google.ortools.sat.SatParameters.ClauseProtection.PROTECTION_NONE =(0) |
|
static |