Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
com.google.ortools.sat.SatParameters.ClauseOrdering Enum Reference

Detailed Description

The clauses that will be kept during a cleanup are the ones that come
first under this order. We always keep or exclude ties together.

Protobuf enum operations_research.sat.SatParameters.ClauseOrdering

Definition at line 902 of file SatParameters.java.

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

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

Public Attributes

 CLAUSE_ACTIVITY =(0)
 CLAUSE_LBD =(1)

Static Public Attributes

static final int CLAUSE_ACTIVITY_VALUE = 0
static final int CLAUSE_LBD_VALUE = 1

Member Function Documentation

◆ [static initializer]()

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

◆ forNumber()

ClauseOrdering com.google.ortools.sat.SatParameters.ClauseOrdering.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 967 of file SatParameters.java.

◆ getDescriptor()

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

Definition at line 996 of file SatParameters.java.

◆ getDescriptorForType()

final com.google.protobuf.Descriptors.EnumDescriptor com.google.ortools.sat.SatParameters.ClauseOrdering.getDescriptorForType ( )

Definition at line 992 of file SatParameters.java.

◆ getNumber()

final int com.google.ortools.sat.SatParameters.ClauseOrdering.getNumber ( )

Definition at line 949 of file SatParameters.java.

◆ getValueDescriptor()

final com.google.protobuf.Descriptors.EnumValueDescriptor com.google.ortools.sat.SatParameters.ClauseOrdering.getValueDescriptor ( )

Definition at line 988 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 976 of file SatParameters.java.

◆ valueOf() [1/2]

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

Definition at line 1002 of file SatParameters.java.

◆ valueOf() [2/2]

ClauseOrdering com.google.ortools.sat.SatParameters.ClauseOrdering.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 959 of file SatParameters.java.

Member Data Documentation

◆ CLAUSE_ACTIVITY

com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY =(0) 
Order clause by decreasing activity, then by increasing LBD.

CLAUSE_ACTIVITY = 0;

Definition at line 911 of file SatParameters.java.

◆ CLAUSE_ACTIVITY_VALUE

final int com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_ACTIVITY_VALUE = 0
static 
Order clause by decreasing activity, then by increasing LBD.

CLAUSE_ACTIVITY = 0;

Definition at line 938 of file SatParameters.java.

◆ CLAUSE_LBD

com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_LBD =(1) 
Order clause by increasing LBD, then by decreasing activity.

CLAUSE_LBD = 1;

Definition at line 919 of file SatParameters.java.

◆ CLAUSE_LBD_VALUE

final int com.google.ortools.sat.SatParameters.ClauseOrdering.CLAUSE_LBD_VALUE = 1
static 
Order clause by increasing LBD, then by decreasing activity.

CLAUSE_LBD = 1;

Definition at line 946 of file SatParameters.java.

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