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

Safe HaskellSafe
LanguageHaskell2010

Cudd.Common

Documentation

data SatBit Source #

Constructors

Zero 
One 
DontCare 

Instances

Eq SatBit Source # 

Methods

(==) :: SatBit -> SatBit -> Bool #

(/=) :: SatBit -> SatBit -> Bool #

toSatBit :: Int -> SatBit Source #

expand :: SatBit -> [Bool] Source #

cudd_unique_slots :: Int Source #

cudd_cache_slots :: Int Source #