diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-12-04 00:18:07 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-12-04 00:18:07 -0800 |
| commit | 539f05c09f48b5d024b385b4a735f55da1c2c3fc (patch) | |
| tree | 36109d6a126442eea241decfc1209bdb46fb4566 | |
| parent | ecdcfbba5c683056340f444b856b5a3bae24f832 (diff) | |
| download | abc-539f05c09f48b5d024b385b4a735f55da1c2c3fc.tar.gz abc-539f05c09f48b5d024b385b4a735f55da1c2c3fc.tar.bz2 abc-539f05c09f48b5d024b385b4a735f55da1c2c3fc.zip | |
Upgrading command 'print_supp'.
| -rw-r--r-- | src/base/abci/abcPrint.c | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c index 66cb5af0..4be6dcde 100644 --- a/src/base/abci/abcPrint.c +++ b/src/base/abci/abcPrint.c @@ -1174,18 +1174,27 @@ void Abc_NtkPrintSharing( Abc_Ntk_t * pNtk ) SeeAlso [] ***********************************************************************/ +int Abc_NtkCountPis( Vec_Ptr_t * vSupp ) +{ + Abc_Obj_t * pObj; + int i, Counter = 0; + Vec_PtrForEachEntry( Abc_Obj_t *, vSupp, pObj, i ) + Counter += Abc_ObjIsPi(pObj); + return Counter; +} void Abc_NtkPrintStrSupports( Abc_Ntk_t * pNtk, int fMatrix ) { Vec_Ptr_t * vSupp, * vNodes; Abc_Obj_t * pObj; - int i, k; + int i, k, nPis; printf( "Structural support info:\n" ); Abc_NtkForEachCo( pNtk, pObj, i ) { vSupp = Abc_NtkNodeSupport( pNtk, &pObj, 1 ); vNodes = Abc_NtkDfsNodes( pNtk, &pObj, 1 ); - printf( "%5d %20s : Cone = %5d. Supp = %5d.\n", - i, Abc_ObjName(pObj), vNodes->nSize, vSupp->nSize ); + nPis = Abc_NtkCountPis( vSupp ); + printf( "%5d %20s : Cone = %5d. Supp = %5d. (PIs = %5d. FFs = %5d.)\n", + i, Abc_ObjName(pObj), vNodes->nSize, vSupp->nSize, nPis, vSupp->nSize - nPis ); Vec_PtrFree( vNodes ); Vec_PtrFree( vSupp ); } |