diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-02 20:20:46 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-02 20:20:46 -0700 |
commit | aa705a9af63b3c3859345311693eb50fbf751cb7 (patch) | |
tree | 5705dc042ad799a324719f0b3786b5038b1a2b0c /src/aig/gia/giaSwitch.c | |
parent | 49267fd379e35de2884a9b369017d420b7b22270 (diff) | |
download | abc-aa705a9af63b3c3859345311693eb50fbf751cb7.tar.gz abc-aa705a9af63b3c3859345311693eb50fbf751cb7.tar.bz2 abc-aa705a9af63b3c3859345311693eb50fbf751cb7.zip |
Renamed reference counting APIs in GIA package.
Diffstat (limited to 'src/aig/gia/giaSwitch.c')
-rw-r--r-- | src/aig/gia/giaSwitch.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/aig/gia/giaSwitch.c b/src/aig/gia/giaSwitch.c index 63c1ff9f..8bf027a4 100644 --- a/src/aig/gia/giaSwitch.c +++ b/src/aig/gia/giaSwitch.c @@ -720,7 +720,7 @@ float Gia_ManEvaluateSwitching( Gia_Man_t * p ) ABC_FREE( p->pRefs ); Gia_ManCreateRefs( p ); Gia_ManForEachObj( p, pObj, i ) - SwitchTotal += (float)Gia_ObjRefs(p, pObj) * p->pSwitching[i] / 255; + SwitchTotal += (float)Gia_ObjRefNum(p, pObj) * p->pSwitching[i] / 255; return SwitchTotal; } @@ -777,9 +777,9 @@ float Gia_ManComputeSwitching( Gia_Man_t * p, int nFrames, int nPref, int fProbO pObjDfs = Gia_ObjFromLit( pDfs, pObj->Value ); Switch = pSwitching[ Gia_ObjId(pDfs, pObjDfs) ]; p->pSwitching[i] = (char)((Switch >= 1.0) ? 255 : (int)((0.002 + Switch) * 255)); // 0.00196 = (1/255)/2 - SwitchTotal += (float)Gia_ObjRefs(p, pObj) * p->pSwitching[i] / 255; -// SwitchTotal2 += Gia_ObjRefs(p, pObj) * Switch; -// printf( "%d = %.2f\n", i, Gia_ObjRefs(p, pObj) * Switch ); + SwitchTotal += (float)Gia_ObjRefNum(p, pObj) * p->pSwitching[i] / 255; +// SwitchTotal2 += Gia_ObjRefNum(p, pObj) * Switch; +// printf( "%d = %.2f\n", i, Gia_ObjRefNum(p, pObj) * Switch ); } // printf( "\nSwitch float = %f. Switch char = %f.\n", SwitchTotal2, SwitchTotal ); Vec_IntFree( vSwitching ); |