enum

OperationsResearch::Sat::SatParameters::BinaryMinizationAlgorithm

Inherits Enum < Comparable < Value < Object

Constants

NOBINARYMINIMIZATION = 0
BINARYMINIMIZATIONFIRST = 1
BINARYMINIMIZATIONFIRSTWITHTRANSITIVEREDUCTION = 4
BINARYMINIMIZATIONWITHREACHABILITY = 2
EXPERIMENTALBINARYMINIMIZATION = 3

Instance methods

binaryminimizationfirst?

Returns true if this enum value equals BINARYMINIMIZATIONFIRST

Source
binaryminimizationfirstwithtransitivereduction?

Returns true if this enum value equals BINARYMINIMIZATIONFIRSTWITHTRANSITIVEREDUCTION

Source
binaryminimizationwithreachability?

Returns true if this enum value equals BINARYMINIMIZATIONWITHREACHABILITY

Source
experimentalbinaryminimization?

Returns true if this enum value equals EXPERIMENTALBINARYMINIMIZATION

Source
nobinaryminimization?

Returns true if this enum value equals NOBINARYMINIMIZATION

Source