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

Detailed Description

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

Protobuf enum operations_research.sat.SatParameters.BinaryMinizationAlgorithm

Definition at line 628 of file SatParameters.java.

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

Public Attributes
	NO_BINARY_MINIMIZATION =(0)
	BINARY_MINIMIZATION_FROM_UIP =(1)
	BINARY_MINIMIZATION_FROM_UIP_AND_DECISIONS =(5)

Static Public Attributes
static final int	NO_BINARY_MINIMIZATION_VALUE = 0
static final int	BINARY_MINIMIZATION_FROM_UIP_VALUE = 1
static final int	BINARY_MINIMIZATION_FROM_UIP_AND_DECISIONS_VALUE = 5

Member Function Documentation

[static initializer]()

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

static

forNumber()

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

getDescriptor()

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

static

Definition at line 715 of file SatParameters.java.

getDescriptorForType()

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

(

)

Definition at line 711 of file SatParameters.java.

getNumber()

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

(

)

Definition at line 667 of file SatParameters.java.

getValueDescriptor()

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

(

)

Definition at line 707 of file SatParameters.java.

internalGetValueMap()

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

static

Definition at line 695 of file SatParameters.java.

valueOf() [1/2]

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

static

Definition at line 721 of file SatParameters.java.

valueOf() [2/2]

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

Member Data Documentation

BINARY_MINIMIZATION_FROM_UIP

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

BINARY_MINIMIZATION_FROM_UIP = 1;

Definition at line 637 of file SatParameters.java.

BINARY_MINIMIZATION_FROM_UIP_AND_DECISIONS

com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FROM_UIP_AND_DECISIONS =(5)

BINARY_MINIMIZATION_FROM_UIP_AND_DECISIONS = 5;

Definition at line 641 of file SatParameters.java.

BINARY_MINIMIZATION_FROM_UIP_AND_DECISIONS_VALUE

final int com.google.ortools.sat.SatParameters.BinaryMinizationAlgorithm.BINARY_MINIMIZATION_FROM_UIP_AND_DECISIONS_VALUE = 5

static

BINARY_MINIMIZATION_FROM_UIP_AND_DECISIONS = 5;

Definition at line 664 of file SatParameters.java.

BINARY_MINIMIZATION_FROM_UIP_VALUE

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

static

BINARY_MINIMIZATION_FROM_UIP = 1;

Definition at line 660 of file SatParameters.java.

NO_BINARY_MINIMIZATION

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

NO_BINARY_MINIMIZATION = 0;

Definition at line 633 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 656 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