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

getDescriptor()

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

static

Definition at line 976 of file SatParameters.java.

getDescriptorForType()

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

(

)

Definition at line 972 of file SatParameters.java.

getNumber()

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

(

)

Definition at line 929 of file SatParameters.java.

getValueDescriptor()

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

(

)

Definition at line 968 of file SatParameters.java.

internalGetValueMap()

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

static

Definition at line 956 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 982 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 939 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 891 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 918 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 899 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 926 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