Java Reference
Java Reference
Detailed Description
What stratification algorithm we use in the presence of weight.
Protobuf enum
Definition at line 2044 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 MaxSatStratificationAlgorithm | valueOf (int value) |
| static MaxSatStratificationAlgorithm | forNumber (int value) |
| static com.google.protobuf.Internal.EnumLiteMap< MaxSatStratificationAlgorithm > | internalGetValueMap () |
| static final com.google.protobuf.Descriptors.EnumDescriptor | getDescriptor () |
| static MaxSatStratificationAlgorithm | valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc) |
Public Attributes | |
| STRATIFICATION_NONE =(0) | |
| STRATIFICATION_DESCENT =(1) | |
| STRATIFICATION_ASCENT =(2) | |
Static Public Attributes | |
| static final int | STRATIFICATION_NONE_VALUE = 0 |
| static final int | STRATIFICATION_DESCENT_VALUE = 1 |
| static final int | STRATIFICATION_ASCENT_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 2124 of file SatParameters.java.
◆ getDescriptor()
|
inlinestatic |
Definition at line 2154 of file SatParameters.java.
◆ getDescriptorForType()
|
inline |
Definition at line 2150 of file SatParameters.java.
◆ getNumber()
|
inline |
Definition at line 2106 of file SatParameters.java.
◆ getValueDescriptor()
|
inline |
Definition at line 2146 of file SatParameters.java.
◆ internalGetValueMap()
|
inlinestatic |
Definition at line 2134 of file SatParameters.java.
◆ valueOf() [1/2]
|
inlinestatic |
Definition at line 2160 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 2116 of file SatParameters.java.
Member Data Documentation
◆ STRATIFICATION_ASCENT
| STRATIFICATION_ASCENT =(2) |
Start with all literals. Each time a core is found with a given minimum weight, do not consider literals with a lower weight for the next core computation. If the subproblem is SAT, do like in STRATIFICATION_DESCENT and just add the literals with the next highest weight.
STRATIFICATION_ASCENT = 2;
Definition at line 2073 of file SatParameters.java.
◆ STRATIFICATION_ASCENT_VALUE
|
static |
Start with all literals. Each time a core is found with a given minimum weight, do not consider literals with a lower weight for the next core computation. If the subproblem is SAT, do like in STRATIFICATION_DESCENT and just add the literals with the next highest weight.
STRATIFICATION_ASCENT = 2;
Definition at line 2103 of file SatParameters.java.
◆ STRATIFICATION_DESCENT
| STRATIFICATION_DESCENT =(1) |
Start with literals with the highest weight, and when SAT, add the literals with the next highest weight and so on.
STRATIFICATION_DESCENT = 1;
Definition at line 2062 of file SatParameters.java.
◆ STRATIFICATION_DESCENT_VALUE
|
static |
Start with literals with the highest weight, and when SAT, add the literals with the next highest weight and so on.
STRATIFICATION_DESCENT = 1;
Definition at line 2092 of file SatParameters.java.
◆ STRATIFICATION_NONE
| STRATIFICATION_NONE =(0) |
No stratification of the problem.
STRATIFICATION_NONE = 0;
Definition at line 2053 of file SatParameters.java.
◆ STRATIFICATION_NONE_VALUE
|
static |
No stratification of the problem.
STRATIFICATION_NONE = 0;
Definition at line 2083 of file SatParameters.java.
The documentation for this enum was generated from the following file: