ToySolver.Converter.ObjType

Documentation

data ObjType

Constructors

ObjNone

ObjMaxOne

ObjMaxZero

Instances

Bounded ObjType

Defined in ToySolver.Converter.ObjType

Methods

minBound :: ObjType

maxBound :: ObjType

Enum ObjType

Defined in ToySolver.Converter.ObjType

Methods

succ :: ObjType -> ObjType

pred :: ObjType -> ObjType

toEnum :: Int -> ObjType

fromEnum :: ObjType -> Int

enumFrom :: ObjType -> [ObjType]

enumFromThen :: ObjType -> ObjType -> [ObjType]

enumFromTo :: ObjType -> ObjType -> [ObjType]

enumFromThenTo :: ObjType -> ObjType -> ObjType -> [ObjType]

Eq ObjType

Defined in ToySolver.Converter.ObjType

Methods

(==) :: ObjType -> ObjType -> Bool

(/=) :: ObjType -> ObjType -> Bool

Ord ObjType

Defined in ToySolver.Converter.ObjType

Methods

compare :: ObjType -> ObjType -> Ordering

(<) :: ObjType -> ObjType -> Bool

(<=) :: ObjType -> ObjType -> Bool

(>) :: ObjType -> ObjType -> Bool

(>=) :: ObjType -> ObjType -> Bool

max :: ObjType -> ObjType -> ObjType

min :: ObjType -> ObjType -> ObjType

Show ObjType

Defined in ToySolver.Converter.ObjType

Methods

showsPrec :: Int -> ObjType -> ShowS

show :: ObjType -> String

showList :: [ObjType] -> ShowS