diff options
Diffstat (limited to 'src/base/abci/abcPrint.c')
| -rw-r--r-- | src/base/abci/abcPrint.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c index b869f067..e65ce11a 100644 --- a/src/base/abci/abcPrint.c +++ b/src/base/abci/abcPrint.c @@ -135,8 +135,10 @@ float Abc_NtkMfsTotalSwitching( Abc_Ntk_t * pNtk ) Abc_NtkForEachObj( pNtk, pObjAbc, i ) { if ( (pObjAbc2 = Abc_ObjRegular(pObjAbc->pTemp)) && (pObjAig = Aig_Regular(pObjAbc2->pTemp)) ) + { Result += Abc_ObjFanoutNum(pObjAbc) * pSwitching[pObjAig->Id]; -// Result += pSwitching[pObjAig->Id]; +// printf( "%d = %.2f\n", i, Abc_ObjFanoutNum(pObjAbc) * pSwitching[pObjAig->Id] ); + } } Vec_IntFree( vSwitching ); Aig_ManStop( pAig ); |