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

operations_research.sat.SatParameters.Polarity

Definition at line 1262 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< PolarityinternalGetValueMap ()
 
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()

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

◆ getDescriptor()

static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ( )
static

Definition at line 1380 of file SatParameters.java.

◆ getDescriptorForType()

final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType ( )

Definition at line 1376 of file SatParameters.java.

◆ getNumber()

final int getNumber ( )

Definition at line 1330 of file SatParameters.java.

◆ getValueDescriptor()

final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor ( )

Definition at line 1372 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 1360 of file SatParameters.java.

◆ valueOf() [1/2]

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

Definition at line 1386 of file SatParameters.java.

◆ valueOf() [2/2]

.lang.Deprecated static 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 1340 of file SatParameters.java.

Member Data Documentation

◆ POLARITY_FALSE

POLARITY_FALSE =(1)

POLARITY_FALSE = 1;

Definition at line 1271 of file SatParameters.java.

◆ POLARITY_FALSE_VALUE

final int POLARITY_FALSE_VALUE = 1
static

POLARITY_FALSE = 1;

Definition at line 1304 of file SatParameters.java.

◆ POLARITY_RANDOM

POLARITY_RANDOM =(2)

POLARITY_RANDOM = 2;

Definition at line 1275 of file SatParameters.java.

◆ POLARITY_RANDOM_VALUE

final int POLARITY_RANDOM_VALUE = 2
static

POLARITY_RANDOM = 2;

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

◆ POLARITY_REVERSE_WEIGHTED_SIGN_VALUE

final int POLARITY_REVERSE_WEIGHTED_SIGN_VALUE = 4
static
The opposite choice of POLARITY_WEIGHTED_SIGN.

POLARITY_REVERSE_WEIGHTED_SIGN = 4;

Definition at line 1327 of file SatParameters.java.

◆ POLARITY_TRUE

POLARITY_TRUE =(0)

POLARITY_TRUE = 0;

Definition at line 1267 of file SatParameters.java.

◆ POLARITY_TRUE_VALUE

final int POLARITY_TRUE_VALUE = 0
static

POLARITY_TRUE = 0;

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

◆ POLARITY_WEIGHTED_SIGN_VALUE

final int POLARITY_WEIGHTED_SIGN_VALUE = 3
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 1319 of file SatParameters.java.


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