Java Reference

Java Reference

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 1656 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 ClauseOrdering valueOf (int value)
 
static ClauseOrdering forNumber (int value)
 
static com.google.protobuf.Internal.EnumLiteMap< ClauseOrderinginternalGetValueMap ()
 
static final 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

◆ forNumber()

static ClauseOrdering forNumber ( int  value)
inlinestatic
Parameters
valueThe numeric wire value of the corresponding enum entry.
Returns
The enum associated with the given numeric wire value.

Definition at line 1712 of file SatParameters.java.

◆ getDescriptor()

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

Definition at line 1741 of file SatParameters.java.

◆ getDescriptorForType()

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

Definition at line 1737 of file SatParameters.java.

◆ getNumber()

final int getNumber ( )
inline

Definition at line 1694 of file SatParameters.java.

◆ getValueDescriptor()

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

Definition at line 1733 of file SatParameters.java.

◆ internalGetValueMap()

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

Definition at line 1721 of file SatParameters.java.

◆ valueOf() [1/2]

static ClauseOrdering valueOf ( com.google.protobuf.Descriptors.EnumValueDescriptor  desc)
inlinestatic

Definition at line 1747 of file SatParameters.java.

◆ valueOf() [2/2]

.lang.Deprecated static ClauseOrdering valueOf ( int  value)
inlinestatic
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 1704 of file SatParameters.java.

Member Data Documentation

◆ CLAUSE_ACTIVITY

CLAUSE_ACTIVITY =(0)
Order clause by decreasing activity, then by increasing LBD.

CLAUSE_ACTIVITY = 0;

Definition at line 1665 of file SatParameters.java.

◆ CLAUSE_ACTIVITY_VALUE

final int CLAUSE_ACTIVITY_VALUE = 0
static
Order clause by decreasing activity, then by increasing LBD.

CLAUSE_ACTIVITY = 0;

Definition at line 1683 of file SatParameters.java.

◆ CLAUSE_LBD

CLAUSE_LBD =(1)
Order clause by increasing LBD, then by decreasing activity.

CLAUSE_LBD = 1;

Definition at line 1673 of file SatParameters.java.

◆ CLAUSE_LBD_VALUE

final int CLAUSE_LBD_VALUE = 1
static
Order clause by increasing LBD, then by decreasing activity.

CLAUSE_LBD = 1;

Definition at line 1691 of file SatParameters.java.


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