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	Description
static SatParameters.ClauseOrdering	SatParameters.ClauseOrdering.forNumber(int value)
SatParameters.ClauseOrdering	SatParameters.Builder.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	SatParametersOrBuilder.getClauseCleanupOrdering()	optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default = CLAUSE_ACTIVITY];
static SatParameters.ClauseOrdering	SatParameters.ClauseOrdering.valueOf(int value)	Deprecated.
static SatParameters.ClauseOrdering	SatParameters.ClauseOrdering.valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)	Returns the enum constant of this type with the specified name.
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	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	Description
SatParameters.Builder	SatParameters.Builder.setClauseCleanupOrdering(SatParameters.ClauseOrdering value)	optional .operations_research.sat.SatParameters.ClauseOrdering clause_cleanup_ordering = 60 [default = CLAUSE_ACTIVITY];