Uses of Enum
com.google.ortools.sat.SatParameters.MaxSatStratificationAlgorithm
Packages that use SatParameters.MaxSatStratificationAlgorithm
-
Uses of SatParameters.MaxSatStratificationAlgorithm in com.google.ortools.sat
Subclasses with type arguments of type SatParameters.MaxSatStratificationAlgorithm in com.google.ortools.satModifier and TypeClassDescriptionstatic enum
What stratification algorithm we use in the presence of weight.Methods in com.google.ortools.sat that return SatParameters.MaxSatStratificationAlgorithmModifier and TypeMethodDescriptionSatParameters.MaxSatStratificationAlgorithm.forNumber
(int value) SatParameters.Builder.getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification = 53 [default = STRATIFICATION_DESCENT];
SatParameters.getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification = 53 [default = STRATIFICATION_DESCENT];
SatParametersOrBuilder.getMaxSatStratification()
optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification = 53 [default = STRATIFICATION_DESCENT];
SatParameters.MaxSatStratificationAlgorithm.valueOf
(int value) Deprecated.SatParameters.MaxSatStratificationAlgorithm.valueOf
(com.google.protobuf.Descriptors.EnumValueDescriptor desc) Returns the enum constant of this type with the specified name.Returns the enum constant of this type with the specified name.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.MaxSatStratificationAlgorithmModifier and TypeMethodDescriptionstatic com.google.protobuf.Internal.EnumLiteMap
<SatParameters.MaxSatStratificationAlgorithm> SatParameters.MaxSatStratificationAlgorithm.internalGetValueMap()
Methods in com.google.ortools.sat with parameters of type SatParameters.MaxSatStratificationAlgorithmModifier and TypeMethodDescriptionSatParameters.Builder.setMaxSatStratification
(SatParameters.MaxSatStratificationAlgorithm value) optional .operations_research.sat.SatParameters.MaxSatStratificationAlgorithm max_sat_stratification = 53 [default = STRATIFICATION_DESCENT];