com.google.ortools.sat.SatParameters.Polarity Enum Reference

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< 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_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

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 356 of file SatParameters.java.

Member Function Documentation

[static initializer]()

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

static

forNumber()

static Polarity com.google.ortools.sat.SatParameters.Polarity.forNumber ( int value )

static

Parameters

value

The numeric wire value of the corresponding enum entry.

Returns

The enum associated with the given numeric wire value.

Definition at line 413 of file SatParameters.java.

getDescriptor()

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

static

Definition at line 443 of file SatParameters.java.

getDescriptorForType()

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

(

)

Definition at line 439 of file SatParameters.java.

getNumber()

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

(

)

Definition at line 395 of file SatParameters.java.

getValueDescriptor()

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

(

)

Definition at line 435 of file SatParameters.java.

internalGetValueMap()

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

static

Definition at line 423 of file SatParameters.java.

valueOf() [1/2]

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

static

Definition at line 449 of file SatParameters.java.

valueOf() [2/2]

static Polarity com.google.ortools.sat.SatParameters.Polarity.valueOf ( int value )

static

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 405 of file SatParameters.java.

Member Data Documentation

POLARITY_FALSE

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

POLARITY_FALSE = 1;

Definition at line 365 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 388 of file SatParameters.java.

POLARITY_RANDOM

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

POLARITY_RANDOM = 2;

Definition at line 369 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 392 of file SatParameters.java.

POLARITY_TRUE

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

POLARITY_TRUE = 0;

Definition at line 361 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 384 of file SatParameters.java.

---

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

• build/java/ortools-java/src/main/java/com/google/ortools/sat/SatParameters.java