qlogic-0.9: A Haskell Library for Propositional Logic.

Safe HaskellSafe-Infered

Qlogic.Formula.NoLaw

Contents

Synopsis

Types

newtype Formula l a

Constructors

Form (Formula l a) 

Instances

(Eq a, Eq l) => Boolean (Formula l a) 
(Eq a, Eq l) => NGBoolean (Formula l a) a 

operations

literal :: l -> Formula l a

size :: Formula l a -> Int

simplify :: (Eq l, Eq a) => Formula l a -> Formula l a

atoms :: (Ord l, Ord a) => Formula l a -> Set (Either l a)

utility functions

pprintFormula :: (Show l, Show a) => Formula l a -> Doc