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

Packages that use SatParameters.MaxSatStratificationAlgorithm

Package	Description
com.google.ortools.sat

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

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

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

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

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

Modifier and Type	Method	Description
SatParameters.Builder	SatParameters.Builder.setMaxSatStratification(SatParameters.MaxSatStratificationAlgorithm value)	optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification = 53 [default = STRATIFICATION_DESCENT];