summaryrefslogtreecommitdiffstats
path: root/src/proof/int/intM114.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-03-09 19:32:44 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2012-03-09 19:32:44 -0800
commit2c8f1a67ec9295450a72fc27cbb3ed1177945734 (patch)
tree5386dd978ded397a75b6a9c06fe46b3789468beb /src/proof/int/intM114.c
parent34078de8d6414bb832d26c33578a1fcdfa21b750 (diff)
downloadabc-2c8f1a67ec9295450a72fc27cbb3ed1177945734.tar.gz
abc-2c8f1a67ec9295450a72fc27cbb3ed1177945734.tar.bz2
abc-2c8f1a67ec9295450a72fc27cbb3ed1177945734.zip
Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci/Co.
Diffstat (limited to 'src/proof/int/intM114.c')
-rw-r--r--src/proof/int/intM114.c6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/proof/int/intM114.c b/src/proof/int/intM114.c
index 139c9bbd..c37cb2c6 100644
--- a/src/proof/int/intM114.c
+++ b/src/proof/int/intM114.c
@@ -113,7 +113,7 @@ sat_solver * Inter_ManDeriveSatSolver(
}
else
{
- Aig_ManForEachPi( pInter, pObj, i )
+ Aig_ManForEachCi( pInter, pObj, i )
{
pObj2 = Saig_ManLo( pAig, i );
@@ -137,7 +137,7 @@ sat_solver * Inter_ManDeriveSatSolver(
Vec_IntClear( vVarsAB );
if ( fUseBackward )
{
- Aig_ManForEachPo( pFrames, pObj, i )
+ Aig_ManForEachCo( pFrames, pObj, i )
{
assert( pCnfFrames->pVarNums[pObj->Id] >= 0 );
Vec_IntPush( vVarsAB, pCnfFrames->pVarNums[pObj->Id] );
@@ -155,7 +155,7 @@ sat_solver * Inter_ManDeriveSatSolver(
}
else
{
- Aig_ManForEachPi( pFrames, pObj, i )
+ Aig_ManForEachCi( pFrames, pObj, i )
{
if ( i == Aig_ManRegNum(pAig) )
break;