enum

OperationsResearch::Sat::SatParameters::MaxSatAssumptionOrder

Inherits Enum < Comparable < Value < Object

Constants

DEFAULTASSUMPTIONORDER = 0
ORDERASSUMPTIONBYDEPTH = 1
ORDERASSUMPTIONBYWEIGHT = 2

Instance methods

defaultassumptionorder?

Returns true if this enum value equals DEFAULTASSUMPTIONORDER

Source
orderassumptionbydepth?

Returns true if this enum value equals ORDERASSUMPTIONBYDEPTH

Source
orderassumptionbyweight?

Returns true if this enum value equals ORDERASSUMPTIONBYWEIGHT

Source