abcBridge-0.11: 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.AIG

Contents

Description

Incomplete. Binding of aig/aig/aig.h. This defines the next-generation heavy-weight AIG representation (similar to the original Data.ABC.Internal.ABC) which is used in internal versions (base/abci/abc.c) 8D, 8 and occasionally for 9 (during which the GIA is temporarily converted into an AIG for some processing.)

Synopsis

Types

Enums

Empty types

Pointer types

Memory management

aigMan.c

aigObj.c

Re-exports

data CInt :: *

Haskell type representing the C int type.