Searched refs:vTfos (Results 1 – 2 of 2) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaEra2.c | 1544 Vec_Int_t * vLits, * vTfos; in Gia_ManAreDeriveNexts_rec() local 1568 vTfos = Vec_VecEntryInt( p->vCiTfos, Gia_ObjCioId(pPivot) ); in Gia_ManAreDeriveNexts_rec() 1570 assert( Vec_IntSize(vTfos) == Vec_IntSize(vLits) ); in Gia_ManAreDeriveNexts_rec() 1571 Gia_ManForEachObjVec( vTfos, p->pAig, pObj, i ) in Gia_ManAreDeriveNexts_rec() 1587 Gia_ManForEachObjVec( vTfos, p->pAig, pObj, i ) in Gia_ManAreDeriveNexts_rec() 1602 Gia_ManForEachObjVec( vTfos, p->pAig, pObj, i ) in Gia_ManAreDeriveNexts_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/ |
H A D | sbdCore.c | 38 Vec_Wec_t * vTfos; // TFO for each node (roots are marked) (windowing) member 137 Vec_Wec_t * vTfos = Vec_WecStart( Gia_ManObjNum(p) ); // TFO nodes with roots marked in Sbd_ManWindowRoots() local 164 Vec_WecPush( vTfos, Fan, Abc_Var2Lit(Id, fRoot) ); in Sbd_ManWindowRoots() 176 Vec_WecForEachLevel( vTfos, vNodes, i ) in Sbd_ManWindowRoots() 186 return vTfos; in Sbd_ManWindowRoots() 207 p->vTfos = Sbd_ManWindowRoots( pGia, pPars->nTfoLevels, pPars->nTfoFanMax ); in Sbd_ManStart() 252 Vec_WecFree( p->vTfos ); in Sbd_ManStop() 450 p->vTfo = Vec_WecEntry( p->vTfos, Pivot ); in Sbd_ManWindow()
|