| Copyright | Galois, Inc. 2010 |
|---|---|
| License | BSD3 |
| Maintainer | jhendrix@galois.com |
| Stability | experimental |
| Portability | non-portable (c2hs, language extensions) |
| Safe Haskell | Safe |
| Language | Haskell98 |
Data.ABC.Internal.AIG
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.)
- data Aig_Type_t
- data Aig_Man_t_
- data Aig_Obj_t_
- type Aig_Man_t = Ptr Aig_Man_t_
- type Aig_Obj_t = Ptr Aig_Obj_t_
- aigRegular :: Aig_Obj_t -> Aig_Obj_t
- aigNot :: Aig_Obj_t -> Aig_Obj_t
- aigNotCond :: Aig_Obj_t -> Bool -> Aig_Obj_t
- aigIsComplement :: Aig_Obj_t -> Bool
- aigManCiNum :: Aig_Man_t -> IO CInt
- aigManCoNum :: Aig_Man_t -> IO CInt
- aigManObjNumMax :: Aig_Man_t -> IO Int
- aigManConst0 :: Aig_Man_t -> IO Aig_Obj_t
- aigManConst1 :: Aig_Man_t -> IO Aig_Obj_t
- aigManCi :: Aig_Man_t -> CInt -> IO Aig_Obj_t
- aigManCo :: Aig_Man_t -> CInt -> IO Aig_Obj_t
- aigObjId :: Aig_Obj_t -> IO CInt
- aigManStart :: CInt -> IO Aig_Man_t
- aigManStop :: Aig_Man_t -> IO ()
- p_aigManStop :: FunPtr (Aig_Man_t -> IO ())
- aigObjCreateCi :: Aig_Man_t -> IO Aig_Obj_t
- aigObjCreateCo :: Aig_Man_t -> Aig_Obj_t -> IO Aig_Obj_t
- data CInt :: *
Types
Enums
data Aig_Type_t Source
Constructors
| AigObjNone | |
| AigObjConst1 | |
| AigObjCi | |
| AigObjCo | |
| AigObjBuf | |
| AigObjAnd | |
| AigObjExor | |
| AigObjVoid |
Instances
Empty types
data Aig_Man_t_ Source
data Aig_Obj_t_ Source
Pointer types
type Aig_Man_t = Ptr Aig_Man_t_ Source
type Aig_Obj_t = Ptr Aig_Obj_t_ Source
Memory management
aigRegular :: Aig_Obj_t -> Aig_Obj_t Source
aigNotCond :: Aig_Obj_t -> Bool -> Aig_Obj_t Source
aigIsComplement :: Aig_Obj_t -> Bool Source
aigManCiNum :: Aig_Man_t -> IO CInt Source
aigManCoNum :: Aig_Man_t -> IO CInt Source
aigManObjNumMax :: Aig_Man_t -> IO Int Source
aigManConst0 :: Aig_Man_t -> IO Aig_Obj_t Source
aigManConst1 :: Aig_Man_t -> IO Aig_Obj_t Source
aigMan.c
aigManStart :: CInt -> IO Aig_Man_t Source
aigManStop :: Aig_Man_t -> IO () Source
p_aigManStop :: FunPtr (Aig_Man_t -> IO ()) Source
aigObj.c
aigObjCreateCi :: Aig_Man_t -> IO Aig_Obj_t Source