Proper.Clause

Documentation

data Atom a

Instances

Eq a => Eq (Atom a)

Ord a => Ord (Atom a)

Show a => Show (Atom a)

atom :: Atom t -> t

negation :: Atom a -> Atom a

lit :: a -> Atom a

nLit :: a -> Atom a

literal :: Atom a -> Atom a

type Clause c = Set (Atom c)

clause :: Ord a => [Atom a] -> Clause a

concatClause :: Ord c => Clause c -> Clause c -> Clause c

assignTruthVal :: Atom l -> Bool