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

Safe Haskell	None
Language	Haskell2010

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

Enum CuddHookType Source #
Methods succ :: CuddHookType -> CuddHookType # pred :: CuddHookType -> CuddHookType # toEnum :: Int -> CuddHookType # fromEnum :: CuddHookType -> Int # enumFrom :: CuddHookType -> [CuddHookType] # enumFromThen :: CuddHookType -> CuddHookType -> [CuddHookType] # enumFromTo :: CuddHookType -> CuddHookType -> [CuddHookType] # enumFromThenTo :: CuddHookType -> CuddHookType -> CuddHookType -> [CuddHookType] #
Eq CuddHookType Source #
Methods (==) :: CuddHookType -> CuddHookType -> Bool # (/=) :: CuddHookType -> CuddHookType -> Bool #
Show CuddHookType Source #
Methods showsPrec :: Int -> CuddHookType -> ShowS # show :: CuddHookType -> String # showList :: [CuddHookType] -> ShowS #