enum

OperationsResearch::Sat::SatParameters::ConflictMinimizationAlgorithm

Inherits Enum < Comparable < Value < Object

Constants

NONE = 0
SIMPLE = 1
RECURSIVE = 2
EXPERIMENTAL = 3

Instance methods

experimental?

Returns true if this enum value equals EXPERIMENTAL

Source
none?

Returns true if this enum value equals NONE

Source
recursive?

Returns true if this enum value equals RECURSIVE

Source
simple?

Returns true if this enum value equals SIMPLE

Source