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

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

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

Member Function Documentation

forNumber()

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

getDescriptor()

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

static

Definition at line 911 of file SatParameters.java.

getDescriptorForType()

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

(

)

Definition at line 907 of file SatParameters.java.

getNumber()

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

(

)

Definition at line 864 of file SatParameters.java.

getValueDescriptor()

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

(

)

Definition at line 903 of file SatParameters.java.

internalGetValueMap()

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

static

Definition at line 891 of file SatParameters.java.

valueOf() [1/2]

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

static

Definition at line 917 of file SatParameters.java.

valueOf() [2/2]

static ClauseOrdering com.google.ortools.sat.SatParameters.ClauseOrdering.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 874 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 835 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 853 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 843 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 861 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