Java Reference
Java Reference
Detailed Description
Whether to expoit the binary clause to minimize learned clauses further. This will have an effect only if treat_binary_clauses_separately is true.
Protobuf enum
Definition at line 1393 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 BinaryMinizationAlgorithm | valueOf (int value) |
| static BinaryMinizationAlgorithm | forNumber (int value) |
| static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithm > | internalGetValueMap () |
| static final com.google.protobuf.Descriptors.EnumDescriptor | getDescriptor () |
| static BinaryMinizationAlgorithm | valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc) |
Public Attributes | |
| NO_BINARY_MINIMIZATION =(0) | |
NO_BINARY_MINIMIZATION = 0; More... | |
| BINARY_MINIMIZATION_FIRST =(1) | |
BINARY_MINIMIZATION_FIRST = 1; More... | |
| BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION =(4) | |
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4; More... | |
| BINARY_MINIMIZATION_WITH_REACHABILITY =(2) | |
BINARY_MINIMIZATION_WITH_REACHABILITY = 2; More... | |
| EXPERIMENTAL_BINARY_MINIMIZATION =(3) | |
EXPERIMENTAL_BINARY_MINIMIZATION = 3; More... | |
Static Public Attributes | |
| static final int | NO_BINARY_MINIMIZATION_VALUE = 0 |
NO_BINARY_MINIMIZATION = 0; More... | |
| static final int | BINARY_MINIMIZATION_FIRST_VALUE = 1 |
BINARY_MINIMIZATION_FIRST = 1; More... | |
| static final int | BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION_VALUE = 4 |
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4; More... | |
| static final int | BINARY_MINIMIZATION_WITH_REACHABILITY_VALUE = 2 |
BINARY_MINIMIZATION_WITH_REACHABILITY = 2; More... | |
| static final int | EXPERIMENTAL_BINARY_MINIMIZATION_VALUE = 3 |
EXPERIMENTAL_BINARY_MINIMIZATION = 3; More... | |
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 1457 of file SatParameters.java.
◆ getDescriptor()
|
inlinestatic |
Definition at line 1489 of file SatParameters.java.
◆ getDescriptorForType()
|
inline |
Definition at line 1485 of file SatParameters.java.
◆ getNumber()
|
inline |
Definition at line 1439 of file SatParameters.java.
◆ getValueDescriptor()
|
inline |
Definition at line 1481 of file SatParameters.java.
◆ internalGetValueMap()
|
inlinestatic |
Definition at line 1469 of file SatParameters.java.
◆ valueOf() [1/2]
|
inlinestatic |
Definition at line 1495 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 1449 of file SatParameters.java.
Member Data Documentation
◆ BINARY_MINIMIZATION_FIRST
| BINARY_MINIMIZATION_FIRST =(1) |
BINARY_MINIMIZATION_FIRST = 1;
Definition at line 1402 of file SatParameters.java.
◆ BINARY_MINIMIZATION_FIRST_VALUE
|
static |
BINARY_MINIMIZATION_FIRST = 1;
Definition at line 1424 of file SatParameters.java.
◆ BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
| BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION =(4) |
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
Definition at line 1406 of file SatParameters.java.
◆ BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION_VALUE
|
static |
BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;
Definition at line 1428 of file SatParameters.java.
◆ BINARY_MINIMIZATION_WITH_REACHABILITY
| BINARY_MINIMIZATION_WITH_REACHABILITY =(2) |
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
Definition at line 1410 of file SatParameters.java.
◆ BINARY_MINIMIZATION_WITH_REACHABILITY_VALUE
|
static |
BINARY_MINIMIZATION_WITH_REACHABILITY = 2;
Definition at line 1432 of file SatParameters.java.
◆ EXPERIMENTAL_BINARY_MINIMIZATION
| EXPERIMENTAL_BINARY_MINIMIZATION =(3) |
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
Definition at line 1414 of file SatParameters.java.
◆ EXPERIMENTAL_BINARY_MINIMIZATION_VALUE
|
static |
EXPERIMENTAL_BINARY_MINIMIZATION = 3;
Definition at line 1436 of file SatParameters.java.
◆ NO_BINARY_MINIMIZATION
| NO_BINARY_MINIMIZATION =(0) |
NO_BINARY_MINIMIZATION = 0;
Definition at line 1398 of file SatParameters.java.
◆ NO_BINARY_MINIMIZATION_VALUE
|
static |
NO_BINARY_MINIMIZATION = 0;
Definition at line 1420 of file SatParameters.java.
The documentation for this enum was generated from the following file: