| Copyright | Galois, Inc. 2010 |
|---|---|
| License | BSD3 |
| Maintainer | jhendrix@galois.com |
| Stability | experimental |
| Portability | non-portable (language extensions) |
| Safe Haskell | Safe |
| Language | Haskell98 |
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.
- abcNtkFromAigPhase :: Aig_Man_t -> IO Abc_Ntk_t
- abcNtkToDar :: Abc_Ntk_t -> Bool -> Bool -> IO Aig_Man_t