BDCS.Depsolve

Description

Manage Builds records in the database.

Documentation

Constructors

Instances

Eq a => Eq (Formula a) Source #
Methods (==) :: Formula a -> Formula a -> Bool # (/=) :: Formula a -> Formula a -> Bool #
Show a => Show (Formula a) Source #
Methods showsPrec :: Int -> Formula a -> ShowS # show :: Formula a -> String # showList :: [Formula a] -> ShowS #

Constructors

CNFOriginal a
CNFSubstitute Int

Instances

Eq a => Eq (CNFLiteral a) Source #
Methods (==) :: CNFLiteral a -> CNFLiteral a -> Bool # (/=) :: CNFLiteral a -> CNFLiteral a -> Bool #
Ord a => Ord (CNFLiteral a) Source #
Methods compare :: CNFLiteral a -> CNFLiteral a -> Ordering # (<) :: CNFLiteral a -> CNFLiteral a -> Bool # (<=) :: CNFLiteral a -> CNFLiteral a -> Bool # (>) :: CNFLiteral a -> CNFLiteral a -> Bool # (>=) :: CNFLiteral a -> CNFLiteral a -> Bool # max :: CNFLiteral a -> CNFLiteral a -> CNFLiteral a # min :: CNFLiteral a -> CNFLiteral a -> CNFLiteral a #
Show a => Show (CNFLiteral a) Source #
Methods showsPrec :: Int -> CNFLiteral a -> ShowS # show :: CNFLiteral a -> String # showList :: [CNFLiteral a] -> ShowS #

Constructors

CNFAtom (CNFLiteral a)
CNFNot (CNFLiteral a)

Instances

Eq a => Eq (CNFAtom a) Source #
Methods (==) :: CNFAtom a -> CNFAtom a -> Bool # (/=) :: CNFAtom a -> CNFAtom a -> Bool #
Ord a => Ord (CNFAtom a) Source #
Methods compare :: CNFAtom a -> CNFAtom a -> Ordering # (<) :: CNFAtom a -> CNFAtom a -> Bool # (<=) :: CNFAtom a -> CNFAtom a -> Bool # (>) :: CNFAtom a -> CNFAtom a -> Bool # (>=) :: CNFAtom a -> CNFAtom a -> Bool # max :: CNFAtom a -> CNFAtom a -> CNFAtom a # min :: CNFAtom a -> CNFAtom a -> CNFAtom a #
Show a => Show (CNFAtom a) Source #
Methods showsPrec :: Int -> CNFAtom a -> ShowS # show :: CNFAtom a -> String # showList :: [CNFAtom a] -> ShowS #