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/proof/pdr/pdrCnf.c | |
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/proof/pdr/pdrCnf.c')
-rw-r--r-- | src/proof/pdr/pdrCnf.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/pdr/pdrCnf.c b/src/proof/pdr/pdrCnf.c index fcad15e0..2b039c01 100644 --- a/src/proof/pdr/pdrCnf.c +++ b/src/proof/pdr/pdrCnf.c @@ -202,7 +202,7 @@ static inline int Pdr_ObjRegNum2( Pdr_Man_t * p, int k, int iSatVar ) return -1; pObj = Aig_ManObj( p->pAig, ObjId ); if ( Saig_ObjIsLi( p->pAig, pObj ) ) - return Aig_ObjPioNum(pObj)-Saig_ManPoNum(p->pAig); + return Aig_ObjCioId(pObj)-Saig_ManPoNum(p->pAig); assert( 0 ); // should be called for register inputs only return -1; } |