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

Safe HaskellNone
LanguageHaskell2010

Cudd.Hook

Documentation

cuddAddHook :: DDManager s u -> HookFP -> CuddHookType -> ST s Int Source

cuddRemoveHook :: DDManager s u -> HookFP -> CuddHookType -> ST s Int Source

type HookTyp = Ptr CDDManager -> CString -> Ptr () -> IO CInt Source

type HookFP = FunPtr HookTyp Source

data CuddHookType Source

Constructors

CuddPreGcHook 
CuddPostGcHook 
CuddPreReorderingHook 
CuddPostReorderingHook 

Instances