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

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

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 BinaryMinizationAlgorithm	valueOf (int value)
static BinaryMinizationAlgorithm	forNumber (int value)
static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithm >	internalGetValueMap ()
static final com.google.protobuf.Descriptors.EnumDescriptor	getDescriptor ()
static BinaryMinizationAlgorithm	valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc)

Public Attributes
	NO_BINARY_MINIMIZATION =(0)
	BINARY_MINIMIZATION_FIRST =(1)
	BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION =(4)
	BINARY_MINIMIZATION_WITH_REACHABILITY =(2)
	EXPERIMENTAL_BINARY_MINIMIZATION =(3)

Static Public Attributes
static final int	NO_BINARY_MINIMIZATION_VALUE = 0
static final int	BINARY_MINIMIZATION_FIRST_VALUE = 1
static final int	BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION_VALUE = 4
static final int	BINARY_MINIMIZATION_WITH_REACHABILITY_VALUE = 2
static final int	EXPERIMENTAL_BINARY_MINIMIZATION_VALUE = 3

Detailed Description

Whether to expoit the binary clause to minimize learned clauses further.

Protobuf enum operations_research.sat.SatParameters.BinaryMinizationAlgorithm

Definition at line 563 of file SatParameters.java.

Member Function Documentation

forNumber()

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

getDescriptor()

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

static

Definition at line 659 of file SatParameters.java.

getDescriptorForType()

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

(

)

Definition at line 655 of file SatParameters.java.

getNumber()

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

(

)

Definition at line 609 of file SatParameters.java.

getValueDescriptor()

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

(

)

Definition at line 651 of file SatParameters.java.

internalGetValueMap()

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

static

Definition at line 639 of file SatParameters.java.

valueOf() [1/2]

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

static

Definition at line 665 of file SatParameters.java.

valueOf() [2/2]

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

Member Data Documentation

BINARY_MINIMIZATION_FIRST

com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST =(1)

BINARY_MINIMIZATION_FIRST = 1;

Definition at line 572 of file SatParameters.java.

BINARY_MINIMIZATION_FIRST_VALUE

final int com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST_VALUE = 1

static

BINARY_MINIMIZATION_FIRST = 1;

Definition at line 594 of file SatParameters.java.

BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION

com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION =(4)

BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;

Definition at line 576 of file SatParameters.java.

BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION_VALUE

final int com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION_VALUE = 4

static

BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;

Definition at line 598 of file SatParameters.java.

BINARY_MINIMIZATION_WITH_REACHABILITY

com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_WITH_REACHABILITY =(2)

BINARY_MINIMIZATION_WITH_REACHABILITY = 2;

Definition at line 580 of file SatParameters.java.

BINARY_MINIMIZATION_WITH_REACHABILITY_VALUE

final int com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_WITH_REACHABILITY_VALUE = 2

static

BINARY_MINIMIZATION_WITH_REACHABILITY = 2;

Definition at line 602 of file SatParameters.java.

EXPERIMENTAL_BINARY_MINIMIZATION

com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.EXPERIMENTAL_BINARY_MINIMIZATION =(3)

EXPERIMENTAL_BINARY_MINIMIZATION = 3;

Definition at line 584 of file SatParameters.java.

EXPERIMENTAL_BINARY_MINIMIZATION_VALUE

final int com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.EXPERIMENTAL_BINARY_MINIMIZATION_VALUE = 3

static

EXPERIMENTAL_BINARY_MINIMIZATION = 3;

Definition at line 606 of file SatParameters.java.

NO_BINARY_MINIMIZATION

com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.NO_BINARY_MINIMIZATION =(0)

NO_BINARY_MINIMIZATION = 0;

Definition at line 568 of file SatParameters.java.

NO_BINARY_MINIMIZATION_VALUE

final int com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.NO_BINARY_MINIMIZATION_VALUE = 0

static

NO_BINARY_MINIMIZATION = 0;

Definition at line 590 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