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 initializer]
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 1908 of file SatParameters.java.

Member Function Documentation

[static initializer]()

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

static

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

getDescriptor()

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

static

Definition at line 2052 of file SatParameters.java.

getDescriptorForType()

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

(

)

Definition at line 2048 of file SatParameters.java.

getNumber()

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

(

)

Definition at line 2003 of file SatParameters.java.

getValueDescriptor()

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

(

)

Definition at line 2044 of file SatParameters.java.

internalGetValueMap()

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

static

Definition at line 2032 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 2058 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 2013 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 1936 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 1987 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 1927 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 1978 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 1917 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 1968 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 1949 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 2000 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