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

Safe HaskellNone
LanguageHaskell2010

Cudd.GC

Documentation

cuddEnableGarbageCollection :: DDManager s u -> ST s () Source #

cuddDisableGarbageCollection :: DDManager s u -> ST s () Source #

cuddGarbageCollectionEnabled :: DDManager s u -> ST s Int Source #

c_preGCHook_sample :: HookFP Source #

c_postGCHook_sample :: HookFP Source #

regPreGCHook :: DDManager s u -> HookFP -> ST s Int Source #

regPostGCHook :: DDManager s u -> HookFP -> ST s Int Source #