proposition-0.1: Library for manipulating propositions.ContentsIndex
Data.Proposition.BDD
Description

Propositions based on Binary Decision Diagrams http://en.wikipedia.org/wiki/Binary_decision_diagram with no sharing. Equality is fast and accurate. Primarily uses the ?=> simplification method from PropLit.

Reading the Show output is not particularly easy. A better idea is to convert to a normal formula first.

Documentation
data BDD a
show/hide Instances
Prop BDD
Eq a => Eq (BDD a)
Ord a => Ord (BDD a)
Show a => Show (BDD a)
propRebuildBDD :: (Prop p, PropLit a) => p a -> BDD a
Produced by Haddock version 0.8