cudd-0.1.0.0: Bindings to the CUDD binary decision diagrams library

Safe HaskellSafe-Inferred
LanguageHaskell2010

Cudd.Common

Documentation

data SatBit Source

Constructors

Zero 
One 
DontCare 

Instances

toSatBit :: Int -> SatBit Source

expand :: SatBit -> [Bool] Source

cudd_unique_slots :: Int Source

cudd_cache_slots :: Int Source