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

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

Detailed Description

Rounding method to use for feasibility pump.

Protobuf enum operations_research.sat.SatParameters.FPRoundingMethod

Definition at line 1796 of file SatParameters.java.

Member Function Documentation

forNumber()

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

getDescriptor()

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

static

Definition at line 1931 of file SatParameters.java.

getDescriptorForType()

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

(

)

Definition at line 1927 of file SatParameters.java.

getNumber()

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

(

)

Definition at line 1882 of file SatParameters.java.

getValueDescriptor()

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

(

)

Definition at line 1923 of file SatParameters.java.

internalGetValueMap()

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

static

Definition at line 1911 of file SatParameters.java.

valueOf() [1/2]

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

static

Definition at line 1937 of file SatParameters.java.

valueOf() [2/2]

static FPRoundingMethod com.google.ortools.sat.SatParameters.FPRoundingMethod.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 1892 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 1824 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 1866 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 1815 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 1857 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 1805 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 1847 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 1837 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 1879 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