| Copyright | Galois, Inc. 2010 |
|---|---|
| License | BSD3 |
| Maintainer | jhendrix@galois.com |
| Stability | experimental |
| Portability | non-portable (c2hs, language extensions) |
| Safe Haskell | None |
| Language | Haskell98 |
Data.ABC.Internal.GiaAig
Description
Comprehensive binding of aig/gia/giaAig.h for
converting between AIGs (new-style, not ABC) and GIAs.
Documentation
type Gia_AigMap_t = Ptr Aig_Obj_t Source
withGiaAigMap :: Gia_Man_t -> (Gia_AigMap_t -> IO a) -> IO a Source
aigDupGiaLit :: Aig_Man_t -> Gia_AigMap_t -> Gia_Man_t -> GiaLit -> IO Aig_Obj_t Source