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

Contents

Types
Memory management
aigMan.c
aigObj.c
Re-exports

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

data Aig_Type_t Source #

Constructors

AigObjNone
AigObjConst1
AigObjCi
AigObjCo
AigObjBuf
AigObjAnd
AigObjExor
AigObjVoid

Instances

Enum Aig_Type_t Source #
Methods succ :: Aig_Type_t -> Aig_Type_t # pred :: Aig_Type_t -> Aig_Type_t # toEnum :: Int -> Aig_Type_t # fromEnum :: Aig_Type_t -> Int # enumFrom :: Aig_Type_t -> [Aig_Type_t] # enumFromThen :: Aig_Type_t -> Aig_Type_t -> [Aig_Type_t] # enumFromTo :: Aig_Type_t -> Aig_Type_t -> [Aig_Type_t] # enumFromThenTo :: Aig_Type_t -> Aig_Type_t -> Aig_Type_t -> [Aig_Type_t] #
Eq Aig_Type_t Source #
Methods (==) :: Aig_Type_t -> Aig_Type_t -> Bool # (/=) :: Aig_Type_t -> Aig_Type_t -> Bool #
Show Aig_Type_t Source #
Methods showsPrec :: Int -> Aig_Type_t -> ShowS # show :: Aig_Type_t -> String # showList :: [Aig_Type_t] -> ShowS #

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 #

aigNot :: 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 #

aigManCi :: Aig_Man_t -> CInt -> IO Aig_Obj_t Source #

aigManCo :: Aig_Man_t -> CInt -> IO Aig_Obj_t Source #

aigObjId :: Aig_Obj_t -> IO CInt 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 #

aigObjCreateCo :: Aig_Man_t -> Aig_Obj_t -> IO Aig_Obj_t Source #

Re-exports

data CInt :: * #

Haskell type representing the C int type.

Instances

Bounded CInt
Methods minBound :: CInt # maxBound :: CInt #
Enum CInt
Methods succ :: CInt -> CInt # pred :: CInt -> CInt # toEnum :: Int -> CInt # fromEnum :: CInt -> Int # enumFrom :: CInt -> [CInt] # enumFromThen :: CInt -> CInt -> [CInt] # enumFromTo :: CInt -> CInt -> [CInt] # enumFromThenTo :: CInt -> CInt -> CInt -> [CInt] #
Eq CInt
Methods (==) :: CInt -> CInt -> Bool # (/=) :: CInt -> CInt -> Bool #
Integral CInt
Methods quot :: CInt -> CInt -> CInt # rem :: CInt -> CInt -> CInt # div :: CInt -> CInt -> CInt # mod :: CInt -> CInt -> CInt # quotRem :: CInt -> CInt -> (CInt, CInt) # divMod :: CInt -> CInt -> (CInt, CInt) # toInteger :: CInt -> Integer #
Num CInt
Methods (+) :: CInt -> CInt -> CInt # (-) :: CInt -> CInt -> CInt # (*) :: CInt -> CInt -> CInt # negate :: CInt -> CInt # abs :: CInt -> CInt # signum :: CInt -> CInt # fromInteger :: Integer -> CInt #
Ord CInt
Methods compare :: CInt -> CInt -> Ordering # (<) :: CInt -> CInt -> Bool # (<=) :: CInt -> CInt -> Bool # (>) :: CInt -> CInt -> Bool # (>=) :: CInt -> CInt -> Bool # max :: CInt -> CInt -> CInt # min :: CInt -> CInt -> CInt #
Read CInt
Methods readsPrec :: Int -> ReadS CInt # readList :: ReadS [CInt] # readPrec :: ReadPrec CInt # readListPrec :: ReadPrec [CInt] #
Real CInt
Methods toRational :: CInt -> Rational #
Show CInt
Methods showsPrec :: Int -> CInt -> ShowS # show :: CInt -> String # showList :: [CInt] -> ShowS #
Storable CInt
Methods sizeOf :: CInt -> Int # alignment :: CInt -> Int # peekElemOff :: Ptr CInt -> Int -> IO CInt # pokeElemOff :: Ptr CInt -> Int -> CInt -> IO () # peekByteOff :: Ptr b -> Int -> IO CInt # pokeByteOff :: Ptr b -> Int -> CInt -> IO () # peek :: Ptr CInt -> IO CInt # poke :: Ptr CInt -> CInt -> IO () #
Bits CInt
Methods (.&.) :: CInt -> CInt -> CInt # (.\|.) :: CInt -> CInt -> CInt # xor :: CInt -> CInt -> CInt # complement :: CInt -> CInt # shift :: CInt -> Int -> CInt # rotate :: CInt -> Int -> CInt # zeroBits :: CInt # bit :: Int -> CInt # setBit :: CInt -> Int -> CInt # clearBit :: CInt -> Int -> CInt # complementBit :: CInt -> Int -> CInt # testBit :: CInt -> Int -> Bool # bitSizeMaybe :: CInt -> Maybe Int # bitSize :: CInt -> Int # isSigned :: CInt -> Bool # shiftL :: CInt -> Int -> CInt # unsafeShiftL :: CInt -> Int -> CInt # shiftR :: CInt -> Int -> CInt # unsafeShiftR :: CInt -> Int -> CInt # rotateL :: CInt -> Int -> CInt # rotateR :: CInt -> Int -> CInt # popCount :: CInt -> Int #
FiniteBits CInt
Methods finiteBitSize :: CInt -> Int # countLeadingZeros :: CInt -> Int # countTrailingZeros :: CInt -> Int #