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

Safe Haskell	Safe
Language	Haskell2010

Cudd.Common

Documentation

data SatBit Source

Constructors

Zero
One
DontCare

Instances

Eq SatBit Source

toSatBit :: Int -> SatBit Source

expand :: SatBit -> [Bool] Source

cudd_unique_slots :: Int Source

cudd_cache_slots :: Int Source