Data.ABC.Internal.ABC

Incomplete. Binding of base/base/abc.h for manipulating and running algorithms on the original ABC datatypes.

This current incomplete binding focuses on functions for manipulating and-inverter graphs (AIGs).

Types

Enums

data Abc_NtkType_t

Constructors

AbcNtkNone

AbcNtkNetlist

AbcNtkLogic

AbcNtkStrash

AbcNtkOther

Instances

Enum Abc_NtkType_t

Methods

succ :: Abc_NtkType_t -> Abc_NtkType_t

pred :: Abc_NtkType_t -> Abc_NtkType_t

toEnum :: Int -> Abc_NtkType_t

fromEnum :: Abc_NtkType_t -> Int

enumFrom :: Abc_NtkType_t -> [Abc_NtkType_t]

enumFromThen :: Abc_NtkType_t -> Abc_NtkType_t -> [Abc_NtkType_t]

enumFromTo :: Abc_NtkType_t -> Abc_NtkType_t -> [Abc_NtkType_t]

enumFromThenTo :: Abc_NtkType_t -> Abc_NtkType_t -> Abc_NtkType_t -> [Abc_NtkType_t]

Eq Abc_NtkType_t

Methods

(==) :: Abc_NtkType_t -> Abc_NtkType_t -> Bool

(/=) :: Abc_NtkType_t -> Abc_NtkType_t -> Bool

Show Abc_NtkType_t

Methods

showsPrec :: Int -> Abc_NtkType_t -> ShowS

show :: Abc_NtkType_t -> String

showList :: [Abc_NtkType_t] -> ShowS

data Abc_NtkFunc_t

Constructors

AbcFuncNone

AbcFuncSop

AbcFuncBdd

AbcFuncAig

AbcFuncMap

AbcFuncBlifmv

AbcFuncBlackbox

AbcFuncOther

Instances

Enum Abc_NtkFunc_t

Methods

succ :: Abc_NtkFunc_t -> Abc_NtkFunc_t

pred :: Abc_NtkFunc_t -> Abc_NtkFunc_t

toEnum :: Int -> Abc_NtkFunc_t

fromEnum :: Abc_NtkFunc_t -> Int

enumFrom :: Abc_NtkFunc_t -> [Abc_NtkFunc_t]

enumFromThen :: Abc_NtkFunc_t -> Abc_NtkFunc_t -> [Abc_NtkFunc_t]

enumFromTo :: Abc_NtkFunc_t -> Abc_NtkFunc_t -> [Abc_NtkFunc_t]

enumFromThenTo :: Abc_NtkFunc_t -> Abc_NtkFunc_t -> Abc_NtkFunc_t -> [Abc_NtkFunc_t]

Eq Abc_NtkFunc_t

Methods

(==) :: Abc_NtkFunc_t -> Abc_NtkFunc_t -> Bool

(/=) :: Abc_NtkFunc_t -> Abc_NtkFunc_t -> Bool

Show Abc_NtkFunc_t

Methods

showsPrec :: Int -> Abc_NtkFunc_t -> ShowS

show :: Abc_NtkFunc_t -> String

showList :: [Abc_NtkFunc_t] -> ShowS

data Abc_ObjType_t

Constructors

AbcObjNone

AbcObjConst1

AbcObjPi

AbcObjPo

AbcObjBi

AbcObjBo

AbcObjNet

AbcObjNode

AbcObjLatch

AbcObjWhitebox

AbcObjBlackbox

AbcObjNumber

Instances

Enum Abc_ObjType_t

Methods

succ :: Abc_ObjType_t -> Abc_ObjType_t

pred :: Abc_ObjType_t -> Abc_ObjType_t

toEnum :: Int -> Abc_ObjType_t

fromEnum :: Abc_ObjType_t -> Int

enumFrom :: Abc_ObjType_t -> [Abc_ObjType_t]

enumFromThen :: Abc_ObjType_t -> Abc_ObjType_t -> [Abc_ObjType_t]

enumFromTo :: Abc_ObjType_t -> Abc_ObjType_t -> [Abc_ObjType_t]

enumFromThenTo :: Abc_ObjType_t -> Abc_ObjType_t -> Abc_ObjType_t -> [Abc_ObjType_t]

Eq Abc_ObjType_t

Methods

(==) :: Abc_ObjType_t -> Abc_ObjType_t -> Bool

(/=) :: Abc_ObjType_t -> Abc_ObjType_t -> Bool

Show Abc_ObjType_t

Methods

showsPrec :: Int -> Abc_ObjType_t -> ShowS

show :: Abc_ObjType_t -> String

showList :: [Abc_ObjType_t] -> ShowS

Opague types

data Abc_Ntk_t_

data Abc_Obj_t_

Pointer types

type Abc_Ntk_t = Ptr Abc_Ntk_t_

type Abc_Obj_t = Ptr Abc_Obj_t_

Base

Network getters

abcNtkFunc :: Abc_Ntk_t -> IO Abc_NtkFunc_t

abcNtkManName :: Field Abc_Ntk_t Nm_Man_t

Network name manager.

abcNtkObjs :: Abc_Ntk_t -> IO Vec_Ptr_t

Return array of all objects.

abcNtkPis :: Abc_Ntk_t -> IO Vec_Ptr_t

Return primary inputs.

abcNtkPos :: Abc_Ntk_t -> IO Vec_Ptr_t

Return primary outputs.

abcNtkCos :: Abc_Ntk_t -> IO Vec_Ptr_t

Return combinational outputs (POs, asserts, latches).

abcNtkCis :: Abc_Ntk_t -> IO Vec_Ptr_t

Return combinational inputs (PIs, latches)

abcNtkObj :: Abc_Ntk_t -> Int -> IO Abc_Obj_t

abcNtkManFunc :: Abc_Ntk_t -> IO (Ptr ())

The functionality manager varies between AbcNtkFunc. In the case of AbcFuncAig, this pointer is guaranteed to be an Abc_Aig_t.

abcNtkModel :: Abc_Ntk_t -> IO (Ptr CInt)

Return pointer to model associated with network.

abcNtkExdc :: Field Abc_Ntk_t Abc_Ntk_t

The EXDC network.

Counting objects

abcNtkPiNum :: Abc_Ntk_t -> IO Int

abcNtkPoNum :: Abc_Ntk_t -> IO Int

abcNtkCiNum :: Abc_Ntk_t -> IO Int

abcNtkCoNum :: Abc_Ntk_t -> IO Int

abcNtkLatchNum :: Abc_Ntk_t -> IO CInt

Creating simple objects

abcNtkCreateObj :: Abc_Ntk_t -> Abc_ObjType_t -> IO Abc_Obj_t

abcObjNot :: Abc_Obj_t -> Abc_Obj_t

Negate object.

Name manager

data Nm_Man_t_

type Nm_Man_t = Ptr Nm_Man_t_

nmManCreate :: CInt -> IO Nm_Man_t

nmManFree :: Nm_Man_t -> IO ()

Object getters

abcObjIsComplement :: Abc_Obj_t -> Bool

Return true if object is complemented.

abcObjRegular :: Abc_Obj_t -> Abc_Obj_t

Return normalized object.

abcObjId :: Abc_Obj_t -> IO CInt

Object identifier.

abcObjType :: Abc_Obj_t -> IO Abc_ObjType_t

Object type.

abcObjFanins :: Abc_Obj_t -> Vec_Int_t

Get object fanins.

abcObjIsAnd :: Abc_Obj_t -> IO Bool

Return true if this an and gate.

abcObjLit0 :: Abc_Obj_t -> IO Abc_Obj_t

abcObjLit1 :: Abc_Obj_t -> IO Abc_Obj_t

abcAigAnd :: Abc_Aig_t -> Abc_Obj_t -> Abc_Obj_t -> IO Abc_Obj_t

abcAigXor :: Abc_Aig_t -> Abc_Obj_t -> Abc_Obj_t -> IO Abc_Obj_t

abcAigMux :: Abc_Aig_t -> Abc_Obj_t -> Abc_Obj_t -> Abc_Obj_t -> IO Abc_Obj_t

abcAigConst1 :: Abc_Ntk_t -> IO Abc_Obj_t

abcAigCleanup :: Abc_Aig_t -> IO CInt

abcFanio.c

Functions for manipulating fanins and fanouts of a node.

abcObjAddFanin :: Abc_Obj_t -> Abc_Obj_t -> IO ()

abcMiter.c

Functions for manipulating miters, a combination of two circuits that outputs 1 if the outputs of the two original circuits would have been different.

abcNtkMiter :: Abc_Ntk_t -> Abc_Ntk_t -> Bool -> Int -> Bool -> Bool -> IO Abc_Ntk_t

abcNtkMiterIsConstant :: Abc_Ntk_t -> IO Int

abcNames.c

Functions for manipulating the names attached to distinguished nodes. Many functions in ABC require that networks being combined be named equivalently, so adopting the canonical form by abcNtkShortNames helps avoid name mismatch errors.

abcNtkShortNames :: Abc_Ntk_t -> IO ()

abcNtk.c

Functions for allocating and deleting networks, each of which manages the memory of all nodes and other locations attached to it.

abcNtkAlloc :: Abc_NtkType_t -> Abc_NtkFunc_t -> Bool -> IO Abc_Ntk_t

abcNtkDup :: Abc_Ntk_t -> IO Abc_Ntk_t

Duplicate a network, allocating memory for the new network. This procedure does not preserve the Id of objects.

abcNtkDelete :: Abc_Ntk_t -> IO ()

p_abcNtkDelete :: FunPtr (Abc_Ntk_t -> IO ())

abcObj.c

Functions for manipulating objects in networks.

abcNtkDeleteObj :: Abc_Obj_t -> IO ()

abcNtkDeleteObjPo :: Abc_Obj_t -> IO ()

abcProve.c

Functions for performing SAT solving.

abcNtkIvyProve :: Ptr Abc_Ntk_t -> Ptr () -> IO Int

abcVerify.c

Functions for creating and testing counterexample models.

abcNtkVerifySimulatePattern :: Abc_Ntk_t -> Ptr CInt -> IO (ForeignPtr CInt)

abcBrdige_qbf

abcNtkQbf :: Abc_Ntk_t -> Int -> CInt -> Vec_Int_t -> IO Int