![]() |
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 ClauseOrdering | valueOf (int value) |
static ClauseOrdering | forNumber (int value) |
static com.google.protobuf.Internal.EnumLiteMap< ClauseOrdering > | internalGetValueMap () |
static com.google.protobuf.Descriptors.EnumDescriptor | getDescriptor () |
static ClauseOrdering | valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc) |
Public Attributes | |
CLAUSE_ACTIVITY =(0) | |
CLAUSE_LBD =(1) |
Static Public Attributes | |
static final int | CLAUSE_ACTIVITY_VALUE = 0 |
static final int | CLAUSE_LBD_VALUE = 1 |
The clauses that will be kept during a cleanup are the ones that come first under this order. We always keep or exclude ties together.
Protobuf enum operations_research.sat.SatParameters.ClauseOrdering
Definition at line 902 of file SatParameters.java.
|
static |
|
static |
value | The numeric wire value of the corresponding enum entry. |
Definition at line 967 of file SatParameters.java.
|
static |
Definition at line 996 of file SatParameters.java.
final com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.SatParameters.ClauseOrdering.getDescriptorForType | ( | ) |
Definition at line 992 of file SatParameters.java.
final int com.google.ortools.sat.SatParameters.ClauseOrdering.getNumber | ( | ) |
Definition at line 949 of file SatParameters.java.
final com.google.protobuf.Descriptors.EnumValueDescriptor com.google.ortools.sat.SatParameters.ClauseOrdering.getValueDescriptor | ( | ) |
Definition at line 988 of file SatParameters.java.
|
static |
Definition at line 976 of file SatParameters.java.
|
static |
Definition at line 1002 of file SatParameters.java.
|
static |
value | The numeric wire value of the corresponding enum entry. |
forNumber(int)
instead. Definition at line 959 of file SatParameters.java.
com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY =(0) |
Order clause by decreasing activity, then by increasing LBD.
CLAUSE_ACTIVITY = 0;
Definition at line 911 of file SatParameters.java.
|
static |
Order clause by decreasing activity, then by increasing LBD.
CLAUSE_ACTIVITY = 0;
Definition at line 938 of file SatParameters.java.
com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_LBD =(1) |
Order clause by increasing LBD, then by decreasing activity.
CLAUSE_LBD = 1;
Definition at line 919 of file SatParameters.java.
|
static |
Order clause by increasing LBD, then by decreasing activity.
CLAUSE_LBD = 1;
Definition at line 946 of file SatParameters.java.