enum
OperationsResearch::Sat::SatParameters::ClauseProtection
Defined in:
ortools-sat/connector/sat_parameters.pb.crEnum Members
-
PROTECTIONNONE =
0
-
PROTECTIONALWAYS =
1
-
PROTECTIONLBD =
2
Instance Method Summary
-
#protectionalways?
Returns
true
if this enum value equalsPROTECTIONALWAYS
-
#protectionlbd?
Returns
true
if this enum value equalsPROTECTIONLBD
-
#protectionnone?
Returns
true
if this enum value equalsPROTECTIONNONE