enum

OperationsResearch::Sat::SatParameters::ClauseOrdering

Inherits Enum < Comparable < Value < Object

Constants

CLAUSEACTIVITY = 0
CLAUSELBD = 1

Instance methods

clauseactivity?

Returns true if this enum value equals CLAUSEACTIVITY

Source
clauselbd?

Returns true if this enum value equals CLAUSELBD

Source