enum OperationsResearch::Sat::SatParameters::ConflictMinimizationAlgorithm

Defined in:

Enum Members

NONE = 0

SIMPLE = 1

RECURSIVE = 2

EXPERIMENTAL = 3

Instance Method Summary

• #experimental?

  Returns true if this enum value equals EXPERIMENTAL

• #none?

  Returns true if this enum value equals NONE

• #recursive?

  Returns true if this enum value equals RECURSIVE

• #simple?

  Returns true if this enum value equals SIMPLE

Instance Method Detail