Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
com.google.ortools.sat.SatParameters.Polarity Enum 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 operations_research.sat.SatParameters.Polarity

Definition at line 376 of file SatParameters.java.

Inheritance diagram for com.google.ortools.sat.SatParameters.Polarity:

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< PolarityinternalGetValueMap ()
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

Member Function Documentation

◆ [static initializer]()

com.google.ortools.sat.SatParameters.Polarity.[static initializer]
static

◆ forNumber()

Polarity com.google.ortools.sat.SatParameters.Polarity.forNumber ( int value)
static
Parameters
valueThe numeric wire value of the corresponding enum entry.
Returns
The enum associated with the given numeric wire value.

Definition at line 433 of file SatParameters.java.

◆ getDescriptor()

com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.SatParameters.Polarity.getDescriptor ( )
static

Definition at line 463 of file SatParameters.java.

◆ getDescriptorForType()

final com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.SatParameters.Polarity.getDescriptorForType ( )

Definition at line 459 of file SatParameters.java.

◆ getNumber()

final int com.google.ortools.sat.SatParameters.Polarity.getNumber ( )

Definition at line 415 of file SatParameters.java.

◆ getValueDescriptor()

final com.google.protobuf.Descriptors.EnumValueDescriptor com.google.ortools.sat.SatParameters.Polarity.getValueDescriptor ( )

Definition at line 455 of file SatParameters.java.

◆ internalGetValueMap()

com.google.protobuf.Internal.EnumLiteMap< Polarity > com.google.ortools.sat.SatParameters.Polarity.internalGetValueMap ( )
static

Definition at line 443 of file SatParameters.java.

◆ valueOf() [1/2]

Polarity com.google.ortools.sat.SatParameters.Polarity.valueOf ( com.google.protobuf.Descriptors.EnumValueDescriptor desc)
static

Definition at line 469 of file SatParameters.java.

◆ valueOf() [2/2]

Polarity com.google.ortools.sat.SatParameters.Polarity.valueOf ( int value)
static
Parameters
valueThe 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 425 of file SatParameters.java.

Member Data Documentation

◆ POLARITY_FALSE

com.google.ortools.sat.SatParameters.Polarity.POLARITY_FALSE =(1)

POLARITY_FALSE = 1;

Definition at line 385 of file SatParameters.java.

◆ POLARITY_FALSE_VALUE

final int com.google.ortools.sat.SatParameters.Polarity.POLARITY_FALSE_VALUE = 1
static

POLARITY_FALSE = 1;

Definition at line 408 of file SatParameters.java.

◆ POLARITY_RANDOM

com.google.ortools.sat.SatParameters.Polarity.POLARITY_RANDOM =(2)

POLARITY_RANDOM = 2;

Definition at line 389 of file SatParameters.java.

◆ POLARITY_RANDOM_VALUE

final int com.google.ortools.sat.SatParameters.Polarity.POLARITY_RANDOM_VALUE = 2
static

POLARITY_RANDOM = 2;

Definition at line 412 of file SatParameters.java.

◆ POLARITY_TRUE

com.google.ortools.sat.SatParameters.Polarity.POLARITY_TRUE =(0)

POLARITY_TRUE = 0;

Definition at line 381 of file SatParameters.java.

◆ POLARITY_TRUE_VALUE

final int com.google.ortools.sat.SatParameters.Polarity.POLARITY_TRUE_VALUE = 0
static

POLARITY_TRUE = 0;

Definition at line 404 of file SatParameters.java.


The documentation for this enum was generated from the following file: