Searched refs:Bac_NtkObjNumAlloc (Results 1 – 3 of 3) sorted by relevance
106 Bac_ManReadBacVecStr( vOut, pPos, &pNtk->vType, Bac_NtkObjNumAlloc(pNtk) ); in Bac_ManReadBacNtk()107 Bac_ManReadBacVecInt( vOut, pPos, &pNtk->vFanin, 4 * Bac_NtkObjNumAlloc(pNtk) ); in Bac_ManReadBacNtk()118 assert( Bac_NtkObjNum(pNtk) == Bac_NtkObjNumAlloc(pNtk) ); in Bac_ManReadBacNtk()
219 static inline int Bac_NtkObjNumAlloc( Bac_Ntk_t * p ) { return Vec_StrCap(&p… in Bac_NtkObjNumAlloc() function252 …mes( Bac_Ntk_t * p ) { assert(Bac_NtkObjNumAlloc(p)); Vec_IntFill(&p->vName, Bac_Nt… in Bac_NtkStartNames()253 …nouts( Bac_Ntk_t * p ) { assert(Bac_NtkObjNumAlloc(p)); Vec_IntFill(&p->vFanout, Bac_Nt… in Bac_NtkStartFanouts()254 …pies( Bac_Ntk_t * p ) { assert(Bac_NtkObjNumAlloc(p)); Vec_IntFill(&p->vCopy, Bac_Nt… in Bac_NtkStartCopies()573 assert( Bac_NtkObjNum(pNew) == Bac_NtkObjNumAlloc(pNew) ); in Bac_NtkDup()
583 assert( Bac_NtkObjNum(pRootNew) == Bac_NtkObjNumAlloc(pRootNew) ); in Bac_ManCollapse()