Safe Haskell | None |
---|---|
Language | Haskell2010 |
Bindings to the CUDD BDD library
This is a straightforward wrapper around the C library. See http://vlsi.colorado.edu/~fabio/CUDD/ for documentation.
Exampe usage:
import Cudd.Cudd main = do let manager = cuddInit v1 = ithVar manager 0 v2 = ithVar manager 1 conj = bAnd manager v1 v2 implies = lEq manager conj v1 print implies
Documentation
cuddInitOrder :: [Int] -> DDManager Source
readLogicZero :: DDManager -> DDNode Source
printMinterm :: DDManager -> DDNode -> IO () Source
supportIndex :: DDManager -> DDNode -> [Bool] Source
nodeReadIndex :: DDNode -> Int Source
indicesToCube :: DDManager -> [Int] -> DDNode Source
ddNodeToInt :: Integral i => DDNode -> i Source
readInvPerm :: DDManager -> Int -> Int Source
readInvPerms :: DDManager -> [Int] Source
countLeaves :: DDNode -> Int Source