Java Reference
Java Reference
Detailed Description
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
Definition at line 1656 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 ClauseOrdering | valueOf (int value) |
| static ClauseOrdering | forNumber (int value) |
| static com.google.protobuf.Internal.EnumLiteMap< ClauseOrdering > | internalGetValueMap () |
| static final 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 |
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 1712 of file SatParameters.java.
◆ getDescriptor()
|
inlinestatic |
Definition at line 1741 of file SatParameters.java.
◆ getDescriptorForType()
|
inline |
Definition at line 1737 of file SatParameters.java.
◆ getNumber()
|
inline |
Definition at line 1694 of file SatParameters.java.
◆ getValueDescriptor()
|
inline |
Definition at line 1733 of file SatParameters.java.
◆ internalGetValueMap()
|
inlinestatic |
Definition at line 1721 of file SatParameters.java.
◆ valueOf() [1/2]
|
inlinestatic |
Definition at line 1747 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 1704 of file SatParameters.java.
Member Data Documentation
◆ CLAUSE_ACTIVITY
| CLAUSE_ACTIVITY =(0) |
Order clause by decreasing activity, then by increasing LBD.
CLAUSE_ACTIVITY = 0;
Definition at line 1665 of file SatParameters.java.
◆ CLAUSE_ACTIVITY_VALUE
|
static |
Order clause by decreasing activity, then by increasing LBD.
CLAUSE_ACTIVITY = 0;
Definition at line 1683 of file SatParameters.java.
◆ CLAUSE_LBD
| CLAUSE_LBD =(1) |
Order clause by increasing LBD, then by decreasing activity.
CLAUSE_LBD = 1;
Definition at line 1673 of file SatParameters.java.
◆ CLAUSE_LBD_VALUE
|
static |
Order clause by increasing LBD, then by decreasing activity.
CLAUSE_LBD = 1;
Definition at line 1691 of file SatParameters.java.
The documentation for this enum was generated from the following file: