![]() |
Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
|
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 operations_research.sat.SatParameters.Polarity
Definition at line 376 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 | |
[static initializer] | |
static Polarity | valueOf (int value) |
static Polarity | forNumber (int value) |
static com.google.protobuf.Internal.EnumLiteMap< Polarity > | internalGetValueMap () |
static com.google.protobuf.Descriptors.EnumDescriptor | getDescriptor () |
static Polarity | valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc) |
Public Attributes | |
POLARITY_TRUE =(0) | |
POLARITY_FALSE =(1) | |
POLARITY_RANDOM =(2) |
Static Public Attributes | |
static final int | POLARITY_TRUE_VALUE = 0 |
static final int | POLARITY_FALSE_VALUE = 1 |
static final int | POLARITY_RANDOM_VALUE = 2 |
|
static |
|
static |
value | The numeric wire value of the corresponding enum entry. |
Definition at line 433 of file SatParameters.java.
|
static |
Definition at line 463 of file SatParameters.java.
final com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.SatParameters.Polarity.getDescriptorForType | ( | ) |
Definition at line 459 of file SatParameters.java.
final int com.google.ortools.sat.SatParameters.Polarity.getNumber | ( | ) |
Definition at line 415 of file SatParameters.java.
final com.google.protobuf.Descriptors.EnumValueDescriptor com.google.ortools.sat.SatParameters.Polarity.getValueDescriptor | ( | ) |
Definition at line 455 of file SatParameters.java.
|
static |
Definition at line 443 of file SatParameters.java.
|
static |
Definition at line 469 of file SatParameters.java.
|
static |
value | The numeric wire value of the corresponding enum entry. |
forNumber(int)
instead. Definition at line 425 of file SatParameters.java.
com.google.ortools.sat.SatParameters.Polarity.POLARITY_FALSE =(1) |
POLARITY_FALSE = 1;
Definition at line 385 of file SatParameters.java.
|
static |
POLARITY_FALSE = 1;
Definition at line 408 of file SatParameters.java.
com.google.ortools.sat.SatParameters.Polarity.POLARITY_RANDOM =(2) |
POLARITY_RANDOM = 2;
Definition at line 389 of file SatParameters.java.
|
static |
POLARITY_RANDOM = 2;
Definition at line 412 of file SatParameters.java.
com.google.ortools.sat.SatParameters.Polarity.POLARITY_TRUE =(0) |
POLARITY_TRUE = 0;
Definition at line 381 of file SatParameters.java.
|
static |
POLARITY_TRUE = 0;
Definition at line 404 of file SatParameters.java.