BDCS.Depsolve

Manage Builds records in the database.

Documentation

data Formula a

Constructors

Atom a

Not a

Or [Formula a]

And [Formula a]

Instances

Eq a => Eq (Formula a)

Methods

(==) :: Formula a -> Formula a -> Bool

(/=) :: Formula a -> Formula a -> Bool

Show a => Show (Formula a)

Methods

showsPrec :: Int -> Formula a -> ShowS

show :: Formula a -> String

showList :: [Formula a] -> ShowS

data CNFLiteral a

Constructors

CNFOriginal a

CNFSubstitute Int

Instances

Eq a => Eq (CNFLiteral a)

Methods

(==) :: CNFLiteral a -> CNFLiteral a -> Bool

(/=) :: CNFLiteral a -> CNFLiteral a -> Bool

Ord a => Ord (CNFLiteral a)

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)

Methods

showsPrec :: Int -> CNFLiteral a -> ShowS

show :: CNFLiteral a -> String

showList :: [CNFLiteral a] -> ShowS

data CNFAtom a

Constructors

CNFAtom (CNFLiteral a)

CNFNot (CNFLiteral a)

Instances

Eq a => Eq (CNFAtom a)

Methods

(==) :: CNFAtom a -> CNFAtom a -> Bool

(/=) :: CNFAtom a -> CNFAtom a -> Bool

Ord a => Ord (CNFAtom a)

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)

Methods

showsPrec :: Int -> CNFAtom a -> ShowS

show :: CNFAtom a -> String

showList :: [CNFAtom a] -> ShowS

type CNFFormula a = [[CNFAtom a]]

type DepAssignment a = (a, Bool)

formulaToCNF :: Formula a -> CNFFormula a

solveCNF :: (MonadError String m, Ord a) => CNFFormula a -> m [DepAssignment a]