Uses of Enum
com.google.ortools.sat.SatParameters.ClauseProtection
Packages that use SatParameters.ClauseProtection
-
Uses of SatParameters.ClauseProtection in com.google.ortools.sat
Subclasses with type arguments of type SatParameters.ClauseProtection in com.google.ortools.satModifier and TypeClassDescriptionstatic enum
Each time a clause activity is bumped, the clause has a chance to be protected during the next cleanup phase.Methods in com.google.ortools.sat that return SatParameters.ClauseProtectionModifier and TypeMethodDescriptionSatParameters.ClauseProtection.forNumber
(int value) SatParameters.Builder.getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [default = PROTECTION_NONE];
SatParameters.getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [default = PROTECTION_NONE];
SatParametersOrBuilder.getClauseCleanupProtection()
optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [default = PROTECTION_NONE];
SatParameters.ClauseProtection.valueOf
(int value) Deprecated.SatParameters.ClauseProtection.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.static SatParameters.ClauseProtection[]
SatParameters.ClauseProtection.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.ClauseProtectionModifier and TypeMethodDescriptionstatic com.google.protobuf.Internal.EnumLiteMap
<SatParameters.ClauseProtection> SatParameters.ClauseProtection.internalGetValueMap()
Methods in com.google.ortools.sat with parameters of type SatParameters.ClauseProtectionModifier and TypeMethodDescriptionSatParameters.Builder.setClauseCleanupProtection
(SatParameters.ClauseProtection value) optional .operations_research.sat.SatParameters.ClauseProtection clause_cleanup_protection = 58 [default = PROTECTION_NONE];