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 and Description
static SatParameters.MaxSatStratificationAlgorithm	SatParameters.MaxSatStratificationAlgorithm.forNumber(int value)
SatParameters.MaxSatStratificationAlgorithm	SatParametersOrBuilder.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	SatParameters.Builder.getMaxSatStratification() optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification = 53 [default = STRATIFICATION_DESCENT];
static SatParameters.MaxSatStratificationAlgorithm	SatParameters.MaxSatStratificationAlgorithm.valueOf(com.google.protobuf.Descriptors.EnumValueDescriptor desc)
static SatParameters.MaxSatStratificationAlgorithm	SatParameters.MaxSatStratificationAlgorithm.valueOf(int value) Deprecated. Use forNumber(int) instead.
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 and 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 and Description
SatParameters.Builder	SatParameters.Builder.setMaxSatStratification(SatParameters.MaxSatStratificationAlgorithm value) optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification = 53 [default = STRATIFICATION_DESCENT];