Uses of Enum
com.google.ortools.sat.SatParameters.MaxSatAssumptionOrder

Packages that use SatParameters.MaxSatAssumptionOrder

Package	Description
com.google.ortools.sat

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

Subclasses with type arguments of type SatParameters.MaxSatAssumptionOrder in com.google.ortools.sat

Modifier and Type	Class	Description
static enum	SatParameters.MaxSatAssumptionOrder	In what order do we add the assumptions in a core-based max-sat algorithm

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

Modifier and Type	Method	Description
static SatParameters.MaxSatAssumptionOrder	SatParameters.MaxSatAssumptionOrder.forNumber(int value)
SatParameters.MaxSatAssumptionOrder	SatParameters.Builder.getMaxSatAssumptionOrder()	optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [default = DEFAULT_ASSUMPTION_ORDER];
SatParameters.MaxSatAssumptionOrder	SatParameters.getMaxSatAssumptionOrder()	optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [default = DEFAULT_ASSUMPTION_ORDER];
SatParameters.MaxSatAssumptionOrder	SatParametersOrBuilder.getMaxSatAssumptionOrder()	optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [default = DEFAULT_ASSUMPTION_ORDER];
static SatParameters.MaxSatAssumptionOrder	SatParameters.MaxSatAssumptionOrder.valueOf(int value)	Deprecated.
static SatParameters.MaxSatAssumptionOrder	SatParameters.MaxSatAssumptionOrder.valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)	Returns the enum constant of this type with the specified name.
static SatParameters.MaxSatAssumptionOrder	SatParameters.MaxSatAssumptionOrder.valueOf(String name)	Returns the enum constant of this type with the specified name.
static SatParameters.MaxSatAssumptionOrder[]	SatParameters.MaxSatAssumptionOrder.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.MaxSatAssumptionOrder

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

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

Modifier and Type	Method	Description
SatParameters.Builder	SatParameters.Builder.setMaxSatAssumptionOrder(SatParameters.MaxSatAssumptionOrder value)	optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [default = DEFAULT_ASSUMPTION_ORDER];