Searched refs:vDegDiff (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaFrames.c | 52 Vec_Int_t * vDegDiff; // degree of each node member
252 p->vDegDiff= Vec_IntStart( 2* Gia_ManObjNum(p->pOrder) ); in Gia_ManUnrStart()
259 Vec_IntWriteEntry( p->vDegDiff, 2*i + k, Degree ); in Gia_ManUnrStart()
269 Vec_IntWriteEntry( p->vDegDiff, 2*i, Degree ); in Gia_ManUnrStart()
317 Vec_IntFreeP( &p->vDegDiff ); in Gia_ManUnrollStop()
354 int Lit = Gia_ObjUnrRead(p, Gia_ObjFaninId0(pObj, Id), Vec_IntEntry(p->vDegDiff, 2*Id)); in Gia_ObjUnrReadCopy0()
359 int Lit = Gia_ObjUnrRead(p, Gia_ObjFaninId1(pObj, Id), Vec_IntEntry(p->vDegDiff, 2*Id+1)); in Gia_ObjUnrReadCopy1()
|