Uses of Class
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

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

Modifier and Type	Method and Description
static SatParameters.MaxSatAssumptionOrder	SatParameters.MaxSatAssumptionOrder.forNumber(int value)
SatParameters.MaxSatAssumptionOrder	SatParametersOrBuilder.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	SatParameters.Builder.getMaxSatAssumptionOrder() optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [default = DEFAULT_ASSUMPTION_ORDER];
static SatParameters.MaxSatAssumptionOrder	SatParameters.MaxSatAssumptionOrder.valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
static SatParameters.MaxSatAssumptionOrder	SatParameters.MaxSatAssumptionOrder.valueOf(int value) Deprecated. Use forNumber(int) instead.
static SatParameters.MaxSatAssumptionOrder	SatParameters.MaxSatAssumptionOrder.valueOf(java.lang.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 and 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 and Description
SatParameters.Builder	SatParameters.Builder.setMaxSatAssumptionOrder(SatParameters.MaxSatAssumptionOrder value) optional .operations_research.sat.SatParameters.MaxSatAssumptionOrder max_sat_assumption_order = 51 [default = DEFAULT_ASSUMPTION_ORDER];