summaryrefslogtreecommitdiffstats
path: root/src/proof/llb/llb4Sweep.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/llb/llb4Sweep.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/llb/llb4Sweep.c')
-rw-r--r--src/proof/llb/llb4Sweep.c6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/proof/llb/llb4Sweep.c b/src/proof/llb/llb4Sweep.c
index d13c366f..292fb176 100644
--- a/src/proof/llb/llb4Sweep.c
+++ b/src/proof/llb/llb4Sweep.c
@@ -92,12 +92,12 @@ Vec_Int_t * Llb_Nonlin4SweepOrder( Aig_Man_t * pAig, int * pCounter, int fSaveAl
vOrder = Vec_IntStartFull( Aig_ManObjNumMax(pAig) );
Aig_ManIncrementTravId( pAig );
Aig_ObjSetTravIdCurrent( pAig, Aig_ManConst1(pAig) );
- Aig_ManForEachPo( pAig, pObj, i )
+ Aig_ManForEachCo( pAig, pObj, i )
{
Vec_IntWriteEntry( vOrder, Aig_ObjId(pObj), Counter++ );
Llb_Nonlin4SweepOrder_rec( pAig, Aig_ObjFanin0(pObj), vOrder, &Counter, fSaveAll );
}
- Aig_ManForEachPi( pAig, pObj, i )
+ Aig_ManForEachCi( pAig, pObj, i )
if ( Llb_ObjBddVar(vOrder, pObj) < 0 )
Vec_IntWriteEntry( vOrder, Aig_ObjId(pObj), Counter++ );
// assert( Counter == Aig_ManObjNum(pAig) - 1 ); // no dangling nodes
@@ -127,7 +127,7 @@ int Llb4_Nonlin4SweepCutpoints( Aig_Man_t * pAig, Vec_Int_t * vOrder, int nBddLi
dd = Cudd_Init( Aig_ManObjNumMax(pAig), 0, CUDD_UNIQUE_SLOTS, CUDD_CACHE_SLOTS, 0 );
// assign elementary variables
Aig_ManCleanData( pAig );
- Aig_ManForEachPi( pAig, pObj, i )
+ Aig_ManForEachCi( pAig, pObj, i )
pObj->pData = Cudd_bddIthVar( dd, Llb_ObjBddVar(vOrder, pObj) );
// sweep internal nodes
Aig_ManForEachNode( pAig, pObj, i )