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()
|