Proper-0.4.3.0: An implementation of propositional logic in Haskell

Safe HaskellSafe-Infered

Proper.BDD

Documentation

data BDD p Source

Instances

Eq p => Eq (BDD p) 
Show p => Show (BDD p) 

trueBDD :: BDD pSource

falseBDD :: BDD pSource

singletonBDD :: p -> BDD pSource

negBDD :: Eq p => BDD p -> BDD pSource

disBDD :: Ord p => BDD p -> BDD p -> BDD pSource

conBDD :: Ord p => BDD p -> BDD p -> BDD pSource

impBDD :: Ord p => BDD p -> BDD p -> BDD pSource

bicBDD :: Ord p => BDD p -> BDD p -> BDD pSource

isTaut :: BDD t -> BoolSource