ToySolver.Text.QDimacs

References:

• QDIMACS standard Ver. 1.1 http://www.qbflib.org/qdimacs.html

Documentation

data QDimacs

Constructors

QDimacs

Fields

• numVars :: !Int
• numClauses :: !Int
• prefix :: [QuantSet]
• matrix :: [Clause]

Instances

Eq QDimacs

Methods

(==) :: QDimacs -> QDimacs -> Bool

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

Ord QDimacs

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

Methods

readsPrec :: Int -> ReadS QDimacs

readList :: ReadS [QDimacs]

readPrec :: ReadPrec QDimacs

readListPrec :: ReadPrec [QDimacs]

Show QDimacs

Methods

showsPrec :: Int -> QDimacs -> ShowS

show :: QDimacs -> String

showList :: [QDimacs] -> ShowS

data Quantifier

Constructors

E

existential quantifier

A

universal quantifier

Instances

Bounded Quantifier

Methods

minBound :: Quantifier

maxBound :: Quantifier

Enum Quantifier

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

Methods

(==) :: Quantifier -> Quantifier -> Bool

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

Ord Quantifier

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

Methods

readsPrec :: Int -> ReadS Quantifier

readList :: ReadS [Quantifier]

readPrec :: ReadPrec Quantifier

readListPrec :: ReadPrec [Quantifier]

Show Quantifier

Methods

showsPrec :: Int -> Quantifier -> ShowS

show :: Quantifier -> String

showList :: [Quantifier] -> ShowS

type QuantSet = (Quantifier, [Atom])

type Atom = Int

type Lit = Int

type Clause = [Lit]

parseFile :: FilePath -> IO (Either String QDimacs)

parseByteString :: ByteString -> Either String QDimacs