Java Reference

Java Reference

Detailed Description

Whether to expoit the binary clause to minimize learned clauses further.
This will have an effect only if treat_binary_clauses_separately is true.

Protobuf enum

operations_research.sat.SatParameters.BinaryMinizationAlgorithm

Definition at line 1530 of file SatParameters.java.

Public Member Functions

final int getNumber ()
 
final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor ()
 
final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType ()
 

Static Public Member Functions

.lang.Deprecated static BinaryMinizationAlgorithm valueOf (int value)
 
static BinaryMinizationAlgorithm forNumber (int value)
 
static com.google.protobuf.Internal.EnumLiteMap< BinaryMinizationAlgorithminternalGetValueMap ()
 
static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ()
 
static BinaryMinizationAlgorithm valueOf (com.google.protobuf.Descriptors.EnumValueDescriptor desc)
 

Public Attributes

 NO_BINARY_MINIMIZATION =(0)
 NO_BINARY_MINIMIZATION = 0; More...
 
 BINARY_MINIMIZATION_FIRST =(1)
 BINARY_MINIMIZATION_FIRST = 1; More...
 
 BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION =(4)
 BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4; More...
 
 BINARY_MINIMIZATION_WITH_REACHABILITY =(2)
 BINARY_MINIMIZATION_WITH_REACHABILITY = 2; More...
 
 EXPERIMENTAL_BINARY_MINIMIZATION =(3)
 EXPERIMENTAL_BINARY_MINIMIZATION = 3; More...
 

Static Public Attributes

static final int NO_BINARY_MINIMIZATION_VALUE = 0
 NO_BINARY_MINIMIZATION = 0; More...
 
static final int BINARY_MINIMIZATION_FIRST_VALUE = 1
 BINARY_MINIMIZATION_FIRST = 1; More...
 
static final int BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION_VALUE = 4
 BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4; More...
 
static final int BINARY_MINIMIZATION_WITH_REACHABILITY_VALUE = 2
 BINARY_MINIMIZATION_WITH_REACHABILITY = 2; More...
 
static final int EXPERIMENTAL_BINARY_MINIMIZATION_VALUE = 3
 EXPERIMENTAL_BINARY_MINIMIZATION = 3; More...
 

Member Function Documentation

◆ forNumber()

static BinaryMinizationAlgorithm 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 1594 of file SatParameters.java.

◆ getDescriptor()

static final com.google.protobuf.Descriptors.EnumDescriptor getDescriptor ( )
static

Definition at line 1626 of file SatParameters.java.

◆ getDescriptorForType()

final com.google.protobuf.Descriptors.EnumDescriptor getDescriptorForType ( )

Definition at line 1622 of file SatParameters.java.

◆ getNumber()

final int getNumber ( )

Definition at line 1576 of file SatParameters.java.

◆ getValueDescriptor()

final com.google.protobuf.Descriptors.EnumValueDescriptor getValueDescriptor ( )

Definition at line 1618 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 1606 of file SatParameters.java.

◆ valueOf() [1/2]

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

Definition at line 1632 of file SatParameters.java.

◆ valueOf() [2/2]

.lang.Deprecated static BinaryMinizationAlgorithm 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 1586 of file SatParameters.java.

Member Data Documentation

◆ BINARY_MINIMIZATION_FIRST

BINARY_MINIMIZATION_FIRST =(1)

BINARY_MINIMIZATION_FIRST = 1;

Definition at line 1539 of file SatParameters.java.

◆ BINARY_MINIMIZATION_FIRST_VALUE

final int BINARY_MINIMIZATION_FIRST_VALUE = 1
static

BINARY_MINIMIZATION_FIRST = 1;

Definition at line 1561 of file SatParameters.java.

◆ BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION

BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION =(4)

BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;

Definition at line 1543 of file SatParameters.java.

◆ BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION_VALUE

final int BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION_VALUE = 4
static

BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4;

Definition at line 1565 of file SatParameters.java.

◆ BINARY_MINIMIZATION_WITH_REACHABILITY

BINARY_MINIMIZATION_WITH_REACHABILITY =(2)

BINARY_MINIMIZATION_WITH_REACHABILITY = 2;

Definition at line 1547 of file SatParameters.java.

◆ BINARY_MINIMIZATION_WITH_REACHABILITY_VALUE

final int BINARY_MINIMIZATION_WITH_REACHABILITY_VALUE = 2
static

BINARY_MINIMIZATION_WITH_REACHABILITY = 2;

Definition at line 1569 of file SatParameters.java.

◆ EXPERIMENTAL_BINARY_MINIMIZATION

EXPERIMENTAL_BINARY_MINIMIZATION =(3)

EXPERIMENTAL_BINARY_MINIMIZATION = 3;

Definition at line 1551 of file SatParameters.java.

◆ EXPERIMENTAL_BINARY_MINIMIZATION_VALUE

final int EXPERIMENTAL_BINARY_MINIMIZATION_VALUE = 3
static

EXPERIMENTAL_BINARY_MINIMIZATION = 3;

Definition at line 1573 of file SatParameters.java.

◆ NO_BINARY_MINIMIZATION

NO_BINARY_MINIMIZATION =(0)

NO_BINARY_MINIMIZATION = 0;

Definition at line 1535 of file SatParameters.java.

◆ NO_BINARY_MINIMIZATION_VALUE

final int NO_BINARY_MINIMIZATION_VALUE = 0
static

NO_BINARY_MINIMIZATION = 0;

Definition at line 1557 of file SatParameters.java.


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