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 initializer]
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 893 of file SatParameters.java.

Member Function Documentation

[static initializer]()

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

static

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

getDescriptor()

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

static

Definition at line 987 of file SatParameters.java.

getDescriptorForType()

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

(

)

Definition at line 983 of file SatParameters.java.

getNumber()

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

(

)

Definition at line 940 of file SatParameters.java.

getValueDescriptor()

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

(

)

Definition at line 979 of file SatParameters.java.

internalGetValueMap()

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

static

Definition at line 967 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 993 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 950 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 902 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 929 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 910 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 937 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