enum OperationsResearch::Sat::SatParameters::ClauseProtection

Defined in:

ortools-sat/connector/sat_parameters.pb.cr

Enum Members

PROTECTIONNONE = 0
PROTECTIONALWAYS = 1
PROTECTIONLBD = 2

Instance Method Summary

Instance Method Detail

def protectionalways? #

[View source]
def protectionlbd? #

[View source]
def protectionnone? #

[View source]