Searched refs:Bac_NtkPiNum (Results 1 – 4 of 4) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/ |
H A D | bac.h | 220 static inline int Bac_NtkPiNum( Bac_Ntk_t * p ) { return Vec_IntSize(&… in Bac_NtkPiNum() function 222 static inline int Bac_NtkPioNum( Bac_Ntk_t * p ) { return Bac_NtkPiNum(… in Bac_NtkPioNum() 227 static inline int Bac_NtkCiNum( Bac_Ntk_t * p ) { return Bac_NtkPiNum(… in Bac_NtkCiNum() 338 for ( i = 0; (i < Bac_NtkPiNum(p)) && (((iObj) = Bac_NtkPi(p, i)), 1); i++ ) 345 …for ( i = 0; (i < Bac_NtkPiNum(p)) && (((iObj) = Bac_NtkPi(p, i)), 1); i++ ) if ( Bac_ObjBit(p, … 537 assert( Bac_NtkPiNum(pNew) == 0 ); in Bac_NtkAlloc() 558 Bac_NtkAlloc( pNew, Bac_NtkNameId(p), Bac_NtkPiNum(p), Bac_NtkPoNum(p), Bac_NtkObjNum(p) ); in Bac_NtkDup() 579 …Bac_NtkAlloc( pNew, Bac_NtkNameId(p), Bac_NtkPiNum(p), Bac_NtkPoNum(p), Bac_NtkObjNum(p) + 3*Bac_N… in Bac_NtkDupUserBoxes() 647 printf( "pi =%5d ", Bac_NtkPiNum(p) ); in Bac_NtkPrintStats() 850 printf( "pi =%5d ", Bac_NtkPiNum(pRoot) ); in Bac_ManPrintStats()
|
H A D | bacBac.c | 116 assert( Bac_NtkPiNum(pNtk) == Bac_NtkPiNumAlloc(pNtk) ); in Bac_ManReadBacNtk() 266 Bac_NtkPiNum(pNtk), Bac_NtkPoNum(pNtk), Bac_NtkObjNum(pNtk), Bac_NtkInfoNum(pNtk) ); in Bac_ManWriteBacInt()
|
H A D | bacNtk.c | 368 assert( nPis == Bac_NtkPiNum(p) ); in Bac_ManAssignInternWordNamesNtk() 528 assert( Vec_IntSize(vSigs) == Bac_NtkPiNum(p) ); in Bac_NtkCollapse_rec() 574 …Bac_NtkAlloc( pRootNew, Bac_NtkNameId(pRoot), Bac_NtkPiNum(pRoot), Bac_NtkPoNum(pRoot), Bac_ManClp… in Bac_ManCollapse()
|
H A D | bacPtrAbc.c | 433 Vec_Ptr_t * vSigs = Vec_PtrAllocExact( Bac_NtkPiNum(p) ); in Bac_NtkTransformToPtrInputs()
|