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

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

Data.ABC.Internal.Orphan

Contents

Description

Incomplete. Binding of various orphan functions in ABC: functions that are frequently extern'ed into scope but are not defined in any header; we've created a new header file orphan.h to accomodate these.

Synopsis

Documentation

base/abci/abcDar.c