abcBridge-0.12: Bindings for ABC, A System for Sequential Synthesis and Verification

CopyrightGalois, Inc. 2010
LicenseBSD3
Maintainerjhendrix@galois.com
Stabilityexperimental
Portabilitynon-portable (c2hs, language extensions)
Safe HaskellNone
LanguageHaskell98

Data.ABC.Internal.VecPtr

Description

Incomplete. Binding of misc/vec/vecPtr.h for manipulating vectors of pointers.

Documentation

data Vec_Ptr_t_ Source

type Vec_Ptr_t = Ptr Vec_Ptr_t_ Source

clearVec :: Vec_Ptr_t -> IO () Source

vecPtrSize :: Vec_Ptr_t -> IO Int Source

vecPtrArray :: Vec_Ptr_t -> IO (Ptr (Ptr a)) Source

vecPtrEntry :: Vec_Ptr_t -> Int -> IO (Ptr a) Source

clearVecPtr :: Vec_Ptr_t -> IO () Source