Cudd.Hook

Documentation

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

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

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

type HookFP = FunPtr HookTyp

data CuddHookType

Constructors

CuddPreGcHook

CuddPostGcHook

CuddPreReorderingHook

CuddPostReorderingHook

Instances

Enum CuddHookType

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

Methods

(==) :: CuddHookType -> CuddHookType -> Bool

(/=) :: CuddHookType -> CuddHookType -> Bool

Show CuddHookType

Methods

showsPrec :: Int -> CuddHookType -> ShowS

show :: CuddHookType -> String

showList :: [CuddHookType] -> ShowS