Uses of Class
com.google.ortools.sat.SatParameters.ClauseOrdering

Packages that use SatParameters.ClauseOrdering

Package	Description
com.google.ortools.sat

Uses of SatParameters.ClauseOrdering in com.google.ortools.sat

Methods in com.google.ortools.sat that return SatParameters.ClauseOrdering

Modifier and Type	Method and Description
static SatParameters.ClauseOrdering	SatParameters.ClauseOrdering.forNumber(int value)
SatParameters.ClauseOrdering	SatParametersOrBuilder.getClauseCleanupOrdering() optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default = CLAUSE_ACTIVITY];
SatParameters.ClauseOrdering	SatParameters.getClauseCleanupOrdering() optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default = CLAUSE_ACTIVITY];
SatParameters.ClauseOrdering	SatParameters.Builder.getClauseCleanupOrdering() optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default = CLAUSE_ACTIVITY];
static SatParameters.ClauseOrdering	SatParameters.ClauseOrdering.valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
static SatParameters.ClauseOrdering	SatParameters.ClauseOrdering.valueOf(int value) Deprecated. Use forNumber(int) instead.
static SatParameters.ClauseOrdering	SatParameters.ClauseOrdering.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static SatParameters.ClauseOrdering[]	SatParameters.ClauseOrdering.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in com.google.ortools.sat that return types with arguments of type SatParameters.ClauseOrdering

Modifier and Type	Method and Description
static com.google.protobuf.Internal.EnumLiteMap<SatParameters.ClauseOrdering>	SatParameters.ClauseOrdering.internalGetValueMap()

Methods in com.google.ortools.sat with parameters of type SatParameters.ClauseOrdering

Modifier and Type	Method and Description
SatParameters.Builder	SatParameters.Builder.setClauseCleanupOrdering(SatParameters.ClauseOrdering value) optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default = CLAUSE_ACTIVITY];