enum OperationsResearch::Sat::SatParameters::ClauseOrdering

Defined in:

ortools-sat/connector/sat_parameters.pb.cr

Enum Members

CLAUSEACTIVITY = 0
CLAUSELBD = 1

Instance Method Summary

Instance Method Detail

def clauseactivity? #

Returns true if this enum value equals CLAUSEACTIVITY


[View source]
def clauselbd? #

Returns true if this enum value equals CLAUSELBD


[View source]