Java Reference
Java Reference
Detailed Description
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
Definition at line 1522 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 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 |
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 1594 of file SatParameters.java.
◆ getDescriptor()
|
inlinestatic |
Definition at line 1624 of file SatParameters.java.
◆ getDescriptorForType()
|
inline |
Definition at line 1620 of file SatParameters.java.
◆ getNumber()
|
inline |
Definition at line 1576 of file SatParameters.java.
◆ getValueDescriptor()
|
inline |
Definition at line 1616 of file SatParameters.java.
◆ internalGetValueMap()
|
inlinestatic |
Definition at line 1604 of file SatParameters.java.
◆ valueOf() [1/2]
|
inlinestatic |
Definition at line 1630 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 1586 of file SatParameters.java.
Member Data Documentation
◆ PROTECTION_ALWAYS
| PROTECTION_ALWAYS =(1) |
Protect all clauses whose activity is bumped.
PROTECTION_ALWAYS = 1;
Definition at line 1539 of file SatParameters.java.
◆ PROTECTION_ALWAYS_VALUE
|
static |
Protect all clauses whose activity is bumped.
PROTECTION_ALWAYS = 1;
Definition at line 1565 of file SatParameters.java.
◆ PROTECTION_LBD
| PROTECTION_LBD =(2) |
Only protect clause with a better LBD.
PROTECTION_LBD = 2;
Definition at line 1547 of file SatParameters.java.
◆ PROTECTION_LBD_VALUE
|
static |
Only protect clause with a better LBD.
PROTECTION_LBD = 2;
Definition at line 1573 of file SatParameters.java.
◆ PROTECTION_NONE
| PROTECTION_NONE =(0) |
◆ PROTECTION_NONE_VALUE
|
static |
The documentation for this enum was generated from the following file: