cudd-0.1.0.0: 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