ABC Project

This is the content of base/abc/abcFanio.c

Functions

ABC_NAMESPACE_IMPL_START void Vec_IntPushMem (Mem_Step_t *pMemMan, Vec_Int_t *p, int Entry)

DECLARATIONS ///.

CFile****************************************************************

FileName [abcFanio.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Network and node package.]

Synopsis [Various procedures to connect fanins/fanouts.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

]FUNCTION DEFINITIONS /// Function*************************************************************

Rcs

abcFanio.c,v 1.00 2005/06/20 00:00:00 alanmi Exp

Synopsis []

Description []

SideEffects []

SeeAlso []

void Abc_ObjAddFanin(Abc_Obj_t *pObj, Abc_Obj_t *pFanin)

Function*************************************************************

Synopsis [Creates fanout/fanin relationship between the nodes.]

Description []

SideEffects []

SeeAlso []

void Abc_ObjDeleteFanin(Abc_Obj_t *pObj, Abc_Obj_t *pFanin)

Function*************************************************************

Synopsis [Destroys fanout/fanin relationship between the nodes.]

Description []

SideEffects []

SeeAlso []

void Abc_ObjRemoveFanins(Abc_Obj_t *pObj)

Function*************************************************************

Synopsis [Destroys fanout/fanin relationship between the nodes.]

Description []

SideEffects []

SeeAlso []

void Abc_ObjPatchFanin(Abc_Obj_t *pObj, Abc_Obj_t *pFaninOld, Abc_Obj_t *pFaninNew)

Function*************************************************************

Synopsis [Replaces a fanin of the node.]

Description [The node is pObj. An old fanin of this node (pFaninOld) has to be replaced by a new fanin (pFaninNew). Assumes that the node and the old fanin are not complemented. The new fanin can be complemented. In this case, the polarity of the new fanin will change, compared to the polarity of the old fanin.]

SideEffects []

SeeAlso []

void Abc_ObjPatchFanoutFanin(Abc_Obj_t *pObj, int iObjNew)

Function*************************************************************

Synopsis [Replaces pObj by iObjNew in the fanin arrays of the fanouts.]

Description []

SideEffects []

SeeAlso []

Abc_Obj_t *Abc_ObjInsertBetween(Abc_Obj_t *pNodeIn, Abc_Obj_t *pNodeOut, Abc_ObjType_t Type)

Function*************************************************************

Synopsis [Inserts one-input node of the type specified between the nodes.]

Description []

SideEffects []

SeeAlso []

void Abc_ObjTransferFanout(Abc_Obj_t *pNodeFrom, Abc_Obj_t *pNodeTo)

Function*************************************************************

Synopsis [Transfers fanout from the old node to the new node.]

Description []

SideEffects []

SeeAlso []

void Abc_ObjReplace(Abc_Obj_t *pNodeOld, Abc_Obj_t *pNodeNew)

Function*************************************************************

Synopsis [Replaces the node by a new node.]

Description []

SideEffects []

SeeAlso []

int Abc_ObjFanoutFaninNum(Abc_Obj_t *pFanout, Abc_Obj_t *pFanin)

Function*************************************************************

Synopsis [Returns the index of the fanin in the fanin list of the fanout.]

Description []

SideEffects []

SeeAlso []