Safe Haskell	None

Qlogic.PropositionalFormula

Documentation

class (Eq a, Ord a, Show a, Typeable a) => PropAtom a

Instances

PropAtom DioVar
(Eq a, Ord a, Show a, Typeable a) => PropAtom (PLVec a)
(Eq a, Ord a, Show a, Typeable a) => PropAtom (ArcBZVec a)

data PA

Constructors

forall a . PropAtom a => PA a

Instances

Eq PA
Ord PA
Show PA
Typeable PA
(Eq l, PropAtom a) => NGBoolean (PropFormula l) a
Monad s => MonadState [PropFormula l] (NatMonad s l)
(Monad s, Eq l) => Boolean (MemoFormula arg s l)
(Monad s, Eq l, PropAtom a) => NGBoolean (MemoFormula arg s l) a