Proper.BDD

Documentation

data BDD p

Instances

Eq p => Eq (BDD p)

Show p => Show (BDD p)

trueBDD :: BDD p

falseBDD :: BDD p

singletonBDD :: p -> BDD p

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

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

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

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

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

isTaut :: BDD t -> Bool