Java Reference

Java Reference

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 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< 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)
inlinestatic
Parameters
valueThe 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()

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

Definition at line 1243 of file SatParameters.java.

◆ getDescriptorForType()

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

Definition at line 1239 of file SatParameters.java.

◆ getNumber()

final int getNumber ( )
inline

Definition at line 1193 of file SatParameters.java.

◆ getValueDescriptor()

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

Definition at line 1235 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 1223 of file SatParameters.java.

◆ valueOf() [1/2]

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

Definition at line 1249 of file SatParameters.java.

◆ valueOf() [2/2]

.lang.Deprecated static Polarity valueOf ( int  value)
inlinestatic
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 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

final int POLARITY_FALSE_VALUE = 1
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

final int POLARITY_RANDOM_VALUE = 2
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

final int POLARITY_REVERSE_WEIGHTED_SIGN_VALUE = 4
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

final int POLARITY_TRUE_VALUE = 0
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

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


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