ToySolver.Converter.PBSetObj

Description

Documentation

Constructors

Instances details

Bounded ObjType Source #
Instance details Defined in ToySolver.Converter.ObjType Methods minBound :: ObjType # maxBound :: ObjType #
Enum ObjType Source #
Instance details 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] #
Show ObjType Source #
Instance details Defined in ToySolver.Converter.ObjType Methods showsPrec :: Int -> ObjType -> ShowS # show :: ObjType -> String # showList :: [ObjType] -> ShowS #
Eq ObjType Source #
Instance details Defined in ToySolver.Converter.ObjType Methods (==) :: ObjType -> ObjType -> Bool # (/=) :: ObjType -> ObjType -> Bool #
Ord ObjType Source #
Instance details 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 #