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.VecInt

Description

Incomplete. Binding of misc/vec/vecInt.h for manipulating vectors of integers.

Synopsis

Documentation

data Vec_Int_t_ Source

type Vec_Int_t = Ptr Vec_Int_t_ Source

clearVecInt :: Vec_Int_t -> IO () Source

vecIntSize :: Vec_Int_t -> IO CInt Source

setVecIntSize :: Vec_Int_t -> CInt -> IO () Source

vecIntCap :: Vec_Int_t -> IO CInt Source

setVecIntCap :: Vec_Int_t -> CInt -> IO () Source

vecIntArray :: Vec_Int_t -> IO (Ptr CInt) Source

setVecIntArray :: Vec_Int_t -> Ptr CInt -> IO () Source

vecIntEntry :: Vec_Int_t -> CInt -> IO CInt Source

Get entry in vector at given index.

vecIntWriteEntry :: Vec_Int_t -> CInt -> CInt -> IO () Source

Write entry in vector at given index.

withVecInt :: CInt -> Ptr CInt -> (Vec_Int_t -> IO a) -> IO a Source