Java Reference

Java Reference

Detailed Description

Rounding method to use for feasibility pump.

Protobuf enum

operations_research.sat.SatParameters.FPRoundingMethod

Definition at line 2545 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 FPRoundingMethod valueOf (int value)
 
static FPRoundingMethod forNumber (int value)
 
static com.google.protobuf.Internal.EnumLiteMap< FPRoundingMethodinternalGetValueMap ()
 
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ()
 
static FPRoundingMethod valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc)
 

Public Attributes

 NEAREST_INTEGER =(0)
 
 LOCK_BASED =(1)
 
 ACTIVE_LOCK_BASED =(3)
 
 PROPAGATION_ASSISTED =(2)
 

Static Public Attributes

static final int NEAREST_INTEGER_VALUE = 0
 
static final int LOCK_BASED_VALUE = 1
 
static final int ACTIVE_LOCK_BASED_VALUE = 3
 
static final int PROPAGATION_ASSISTED_VALUE = 2
 

Member Function Documentation

◆ forNumber()

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

◆ getDescriptor()

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

Definition at line 2680 of file SatParameters.java.

◆ getDescriptorForType()

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

Definition at line 2676 of file SatParameters.java.

◆ getNumber()

final int getNumber ( )

Definition at line 2631 of file SatParameters.java.

◆ getValueDescriptor()

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

Definition at line 2672 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 2660 of file SatParameters.java.

◆ valueOf() [1/2]

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

Definition at line 2686 of file SatParameters.java.

◆ valueOf() [2/2]

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

Member Data Documentation

◆ ACTIVE_LOCK_BASED

ACTIVE_LOCK_BASED =(3)
Similar to lock based rounding except this only considers locks of active
constraints from the last lp solve.

ACTIVE_LOCK_BASED = 3;

Definition at line 2573 of file SatParameters.java.

◆ ACTIVE_LOCK_BASED_VALUE

final int ACTIVE_LOCK_BASED_VALUE = 3
static
Similar to lock based rounding except this only considers locks of active
constraints from the last lp solve.

ACTIVE_LOCK_BASED = 3;

Definition at line 2615 of file SatParameters.java.

◆ LOCK_BASED

LOCK_BASED =(1)
Counts the number of linear constraints restricting the variable in the
increasing values (up locks) and decreasing values (down locks). Rounds
the variable in the direction of lesser locks.

LOCK_BASED = 1;

Definition at line 2564 of file SatParameters.java.

◆ LOCK_BASED_VALUE

final int LOCK_BASED_VALUE = 1
static
Counts the number of linear constraints restricting the variable in the
increasing values (up locks) and decreasing values (down locks). Rounds
the variable in the direction of lesser locks.

LOCK_BASED = 1;

Definition at line 2606 of file SatParameters.java.

◆ NEAREST_INTEGER

NEAREST_INTEGER =(0)
Rounds to the nearest integer value.

NEAREST_INTEGER = 0;

Definition at line 2554 of file SatParameters.java.

◆ NEAREST_INTEGER_VALUE

final int NEAREST_INTEGER_VALUE = 0
static
Rounds to the nearest integer value.

NEAREST_INTEGER = 0;

Definition at line 2596 of file SatParameters.java.

◆ PROPAGATION_ASSISTED

PROPAGATION_ASSISTED =(2)
This is expensive rounding algorithm. We round variables one by one and
propagate the bounds in between. If none of the rounded values fall in
the continuous domain specified by lower and upper bound, we use the
current lower/upper bound (whichever one is closest) instead of rounding
the fractional lp solution value. If both the rounded values are in the
domain, we round to nearest integer.

PROPAGATION_ASSISTED = 2;

Definition at line 2586 of file SatParameters.java.

◆ PROPAGATION_ASSISTED_VALUE

final int PROPAGATION_ASSISTED_VALUE = 2
static
This is expensive rounding algorithm. We round variables one by one and
propagate the bounds in between. If none of the rounded values fall in
the continuous domain specified by lower and upper bound, we use the
current lower/upper bound (whichever one is closest) instead of rounding
the fractional lp solution value. If both the rounded values are in the
domain, we round to nearest integer.

PROPAGATION_ASSISTED = 2;

Definition at line 2628 of file SatParameters.java.


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