Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
com.google.ortools.sat.SatParameters.FPRoundingMethod Enum Reference

Detailed Description

Rounding method to use for feasibility pump.

Protobuf enum operations_research.sat.SatParameters.FPRoundingMethod

Definition at line 1773 of file SatParameters.java.

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

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 FPRoundingMethod valueOf (int value)
static FPRoundingMethod forNumber (int value)
static com.google.protobuf.Internal.EnumLiteMap< FPRoundingMethod > internalGetValueMap ()
static 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

◆ [static initializer]()

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

◆ forNumber()

FPRoundingMethod com.google.ortools.sat.SatParameters.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 1886 of file SatParameters.java.

◆ getDescriptor()

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

Definition at line 1917 of file SatParameters.java.

◆ getDescriptorForType()

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

Definition at line 1913 of file SatParameters.java.

◆ getNumber()

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

Definition at line 1868 of file SatParameters.java.

◆ getValueDescriptor()

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

Definition at line 1909 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 1897 of file SatParameters.java.

◆ valueOf() [1/2]

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

Definition at line 1923 of file SatParameters.java.

◆ valueOf() [2/2]

FPRoundingMethod com.google.ortools.sat.SatParameters.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 1878 of file SatParameters.java.

Member Data Documentation

◆ ACTIVE_LOCK_BASED

com.google.ortools.sat.SatParameters.FPRoundingMethod.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 1801 of file SatParameters.java.

◆ ACTIVE_LOCK_BASED_VALUE

final int com.google.ortools.sat.SatParameters.FPRoundingMethod.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 1852 of file SatParameters.java.

◆ LOCK_BASED

com.google.ortools.sat.SatParameters.FPRoundingMethod.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 1792 of file SatParameters.java.

◆ LOCK_BASED_VALUE

final int com.google.ortools.sat.SatParameters.FPRoundingMethod.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 1843 of file SatParameters.java.

◆ NEAREST_INTEGER

com.google.ortools.sat.SatParameters.FPRoundingMethod.NEAREST_INTEGER =(0) 
Rounds to the nearest integer value.

NEAREST_INTEGER = 0;

Definition at line 1782 of file SatParameters.java.

◆ NEAREST_INTEGER_VALUE

final int com.google.ortools.sat.SatParameters.FPRoundingMethod.NEAREST_INTEGER_VALUE = 0
static 
Rounds to the nearest integer value.

NEAREST_INTEGER = 0;

Definition at line 1833 of file SatParameters.java.

◆ PROPAGATION_ASSISTED

com.google.ortools.sat.SatParameters.FPRoundingMethod.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 1814 of file SatParameters.java.

◆ PROPAGATION_ASSISTED_VALUE

final int com.google.ortools.sat.SatParameters.FPRoundingMethod.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 1865 of file SatParameters.java.

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