ToySolver.Text.QDimacs

Description

References:

Documentation

Constructors

QDimacs
Fields numVars :: !Int numClauses :: !Int prefix :: [QuantSet] matrix :: [Clause]

Instances

Eq QDimacs Source #
Methods (==) :: QDimacs -> QDimacs -> Bool # (/=) :: QDimacs -> QDimacs -> Bool #
Ord QDimacs Source #
Methods compare :: QDimacs -> QDimacs -> Ordering # (<) :: QDimacs -> QDimacs -> Bool # (<=) :: QDimacs -> QDimacs -> Bool # (>) :: QDimacs -> QDimacs -> Bool # (>=) :: QDimacs -> QDimacs -> Bool # max :: QDimacs -> QDimacs -> QDimacs # min :: QDimacs -> QDimacs -> QDimacs #
Read QDimacs Source #
Methods readsPrec :: Int -> ReadS QDimacs # readList :: ReadS [QDimacs] # readPrec :: ReadPrec QDimacs # readListPrec :: ReadPrec [QDimacs] #
Show QDimacs Source #
Methods showsPrec :: Int -> QDimacs -> ShowS # show :: QDimacs -> String # showList :: [QDimacs] -> ShowS #

Constructors

E	existential quantifier
A	universal quantifier

Instances

Bounded Quantifier Source #
Methods minBound :: Quantifier # maxBound :: Quantifier #
Enum Quantifier Source #
Methods succ :: Quantifier -> Quantifier # pred :: Quantifier -> Quantifier # toEnum :: Int -> Quantifier # fromEnum :: Quantifier -> Int # enumFrom :: Quantifier -> [Quantifier] # enumFromThen :: Quantifier -> Quantifier -> [Quantifier] # enumFromTo :: Quantifier -> Quantifier -> [Quantifier] # enumFromThenTo :: Quantifier -> Quantifier -> Quantifier -> [Quantifier] #
Eq Quantifier Source #
Methods (==) :: Quantifier -> Quantifier -> Bool # (/=) :: Quantifier -> Quantifier -> Bool #
Ord Quantifier Source #
Methods compare :: Quantifier -> Quantifier -> Ordering # (<) :: Quantifier -> Quantifier -> Bool # (<=) :: Quantifier -> Quantifier -> Bool # (>) :: Quantifier -> Quantifier -> Bool # (>=) :: Quantifier -> Quantifier -> Bool # max :: Quantifier -> Quantifier -> Quantifier # min :: Quantifier -> Quantifier -> Quantifier #
Read Quantifier Source #
Methods readsPrec :: Int -> ReadS Quantifier # readList :: ReadS [Quantifier] # readPrec :: ReadPrec Quantifier # readListPrec :: ReadPrec [Quantifier] #
Show Quantifier Source #
Methods showsPrec :: Int -> Quantifier -> ShowS # show :: Quantifier -> String # showList :: [Quantifier] -> ShowS #