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

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

Data.ABC.Internal.VecInt

Description

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

Synopsis

Documentation

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