Java Reference
Java Reference
Detailed Description
Specifies the initial polarity (true/false) when the solver branches on a variable. This can be modified later by the user, or the phase saving heuristic. Note(user): POLARITY_FALSE is usually a good choice because of the "natural" way to express a linear boolean problem.
Protobuf enum
Definition at line 1125 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 Polarity | valueOf (int value) |
| static Polarity | forNumber (int value) |
| static com.google.protobuf.Internal.EnumLiteMap< Polarity > | internalGetValueMap () |
| static final com.google.protobuf.Descriptors.EnumDescriptor | getDescriptor () |
| static Polarity | valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc) |
Public Attributes | |
| POLARITY_TRUE =(0) | |
POLARITY_TRUE = 0; More... | |
| POLARITY_FALSE =(1) | |
POLARITY_FALSE = 1; More... | |
| POLARITY_RANDOM =(2) | |
POLARITY_RANDOM = 2; More... | |
| POLARITY_WEIGHTED_SIGN =(3) | |
| POLARITY_REVERSE_WEIGHTED_SIGN =(4) | |
Static Public Attributes | |
| static final int | POLARITY_TRUE_VALUE = 0 |
POLARITY_TRUE = 0; More... | |
| static final int | POLARITY_FALSE_VALUE = 1 |
POLARITY_FALSE = 1; More... | |
| static final int | POLARITY_RANDOM_VALUE = 2 |
POLARITY_RANDOM = 2; More... | |
| static final int | POLARITY_WEIGHTED_SIGN_VALUE = 3 |
| static final int | POLARITY_REVERSE_WEIGHTED_SIGN_VALUE = 4 |
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 1211 of file SatParameters.java.
◆ getDescriptor()
|
inlinestatic |
Definition at line 1243 of file SatParameters.java.
◆ getDescriptorForType()
|
inline |
Definition at line 1239 of file SatParameters.java.
◆ getNumber()
|
inline |
Definition at line 1193 of file SatParameters.java.
◆ getValueDescriptor()
|
inline |
Definition at line 1235 of file SatParameters.java.
◆ internalGetValueMap()
|
inlinestatic |
Definition at line 1223 of file SatParameters.java.
◆ valueOf() [1/2]
|
inlinestatic |
Definition at line 1249 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 1203 of file SatParameters.java.
Member Data Documentation
◆ POLARITY_FALSE
| POLARITY_FALSE =(1) |
POLARITY_FALSE = 1;
Definition at line 1134 of file SatParameters.java.
◆ POLARITY_FALSE_VALUE
|
static |
POLARITY_FALSE = 1;
Definition at line 1167 of file SatParameters.java.
◆ POLARITY_RANDOM
| POLARITY_RANDOM =(2) |
POLARITY_RANDOM = 2;
Definition at line 1138 of file SatParameters.java.
◆ POLARITY_RANDOM_VALUE
|
static |
POLARITY_RANDOM = 2;
Definition at line 1171 of file SatParameters.java.
◆ POLARITY_REVERSE_WEIGHTED_SIGN
| POLARITY_REVERSE_WEIGHTED_SIGN =(4) |
The opposite choice of POLARITY_WEIGHTED_SIGN.
POLARITY_REVERSE_WEIGHTED_SIGN = 4;
Definition at line 1157 of file SatParameters.java.
◆ POLARITY_REVERSE_WEIGHTED_SIGN_VALUE
|
static |
The opposite choice of POLARITY_WEIGHTED_SIGN.
POLARITY_REVERSE_WEIGHTED_SIGN = 4;
Definition at line 1190 of file SatParameters.java.
◆ POLARITY_TRUE
| POLARITY_TRUE =(0) |
POLARITY_TRUE = 0;
Definition at line 1130 of file SatParameters.java.
◆ POLARITY_TRUE_VALUE
|
static |
POLARITY_TRUE = 0;
Definition at line 1163 of file SatParameters.java.
◆ POLARITY_WEIGHTED_SIGN
| POLARITY_WEIGHTED_SIGN =(3) |
Choose the sign that tends to satisfy the most constraints. This is computed using a weighted sum: if a literal l appears in a constraint of the form: ... + coeff * l +... <= rhs with positive coefficients and rhs, then -sign(l) * coeff / rhs is added to the weight of l.variable().
POLARITY_WEIGHTED_SIGN = 3;
Definition at line 1149 of file SatParameters.java.
◆ POLARITY_WEIGHTED_SIGN_VALUE
|
static |
Choose the sign that tends to satisfy the most constraints. This is computed using a weighted sum: if a literal l appears in a constraint of the form: ... + coeff * l +... <= rhs with positive coefficients and rhs, then -sign(l) * coeff / rhs is added to the weight of l.variable().
POLARITY_WEIGHTED_SIGN = 3;
Definition at line 1182 of file SatParameters.java.
The documentation for this enum was generated from the following file: