diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-09 19:59:35 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-09 19:59:35 -0800 |
commit | fec988f6194fbab17cc18b72e6f907d5f990bbe8 (patch) | |
tree | 0adf99e304f984f32201e3853fa2109ed5405e86 /src/base/abci | |
parent | c46c957a0721004eb21c5f3d3f316ba1c8ab8df1 (diff) | |
download | abc-fec988f6194fbab17cc18b72e6f907d5f990bbe8.tar.gz abc-fec988f6194fbab17cc18b72e6f907d5f990bbe8.tar.bz2 abc-fec988f6194fbab17cc18b72e6f907d5f990bbe8.zip |
Renamed Aig_ObjPioNum to be Aig_ObjCioId.
Diffstat (limited to 'src/base/abci')
-rw-r--r-- | src/base/abci/abcDar.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index 1d96edf1..e11dc283 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -1630,7 +1630,7 @@ void Abc_NtkPrintLatchEquivClasses( Abc_Ntk_t * pNtk, Aig_Man_t * pAig ) } i = 0; - Aig_ManSetPioNumbers( pAig ); + Aig_ManSetCioIds( pAig ); Saig_ManForEachLo( pAig, pFlop, i ) { p_irrelevant[i] = false; @@ -1661,7 +1661,7 @@ void Abc_NtkPrintLatchEquivClasses( Abc_Ntk_t * pNtk, Aig_Man_t * pAig ) } assert( Saig_ObjIsLo( pAig, pRepr ) ); - repr_idx = Aig_ObjPioNum(pRepr) - Saig_ManPiNum(pAig); + repr_idx = Aig_ObjCioId(pRepr) - Saig_ManPiNum(pAig); pReprName = pNames[repr_idx]; Abc_Print( 1, "Original flop %s is proved equivalent to flop %s.\n", pFlopName, pReprName ); // Abc_Print( 1, "Original flop # %d is proved equivalent to flop # %d.\n", i, repr_idx ); |