diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-09 19:32:44 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-09 19:32:44 -0800 |
| commit | 2c8f1a67ec9295450a72fc27cbb3ed1177945734 (patch) | |
| tree | 5386dd978ded397a75b6a9c06fe46b3789468beb /src/aig/saig/saigHaig.c | |
| parent | 34078de8d6414bb832d26c33578a1fcdfa21b750 (diff) | |
| download | abc-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/aig/saig/saigHaig.c')
| -rw-r--r-- | src/aig/saig/saigHaig.c | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/aig/saig/saigHaig.c b/src/aig/saig/saigHaig.c index ee058a3c..ef90734a 100644 --- a/src/aig/saig/saigHaig.c +++ b/src/aig/saig/saigHaig.c @@ -71,11 +71,11 @@ void Aig_ManHaigSpeculate( Aig_Man_t * pFrames, Aig_Obj_t * pObj ) // pMiter = Aig_Exor( pFrames, pObjNew, pObjReprNew ); // pMiter = Aig_NotCond( pMiter, !Aig_ObjPhaseReal(pMiter) ); // assert( Aig_ObjPhaseReal(pMiter) == 1 ); -// Aig_ObjCreatePo( pFrames, pMiter ); +// Aig_ObjCreateCo( pFrames, pMiter ); if ( Aig_ObjPhaseReal(pObjNew) != Aig_ObjPhaseReal(pObjReprNew) ) pObjReprNew = Aig_Not(pObjReprNew); - pPo = Aig_ObjCreatePo( pFrames, pObjNew ); - Aig_ObjCreatePo( pFrames, pObjReprNew ); + pPo = Aig_ObjCreateCo( pFrames, pObjNew ); + Aig_ObjCreateCo( pFrames, pObjReprNew ); // remember the node corresponding to this PO pPo->pData = pObj; @@ -107,14 +107,14 @@ Aig_Man_t * Aig_ManHaigFrames( Aig_Man_t * pHaig, int nFrames ) Aig_ManConst1(pHaig)->pData = Aig_ManConst1( pFrames ); // create variables for register outputs Saig_ManForEachLo( pHaig, pObj, i ) - pObj->pData = Aig_ObjCreatePi( pFrames ); + pObj->pData = Aig_ObjCreateCi( pFrames ); // add timeframes Aig_ManSetPioNumbers( pHaig ); for ( f = 0; f < nFrames; f++ ) { // create primary inputs Saig_ManForEachPi( pHaig, pObj, i ) - pObj->pData = Aig_ObjCreatePi( pFrames ); + pObj->pData = Aig_ObjCreateCi( pFrames ); // create internal nodes Aig_ManForEachNode( pHaig, pObj, i ) { @@ -246,7 +246,7 @@ clk = clock(); if ( nFrames == 2 ) { // add clauses for the first frame - Aig_ManForEachPo( pFrames, pObj1, i ) + Aig_ManForEachCo( pFrames, pObj1, i ) { if ( i >= Aig_ManPoNum(pFrames) - pFrames->nAsserts ) break; @@ -283,7 +283,7 @@ ABC_PRT( "Preparation", clock() - clk ); clk = clock(); Counter = 0; printf( "Started solving ...\r" ); - Aig_ManForEachPo( pFrames, pObj1, i ) + Aig_ManForEachCo( pFrames, pObj1, i ) { if ( i < Aig_ManPoNum(pFrames) - pFrames->nAsserts ) continue; @@ -560,7 +560,7 @@ Aig_Man_t * Saig_ManHaigDump( Aig_Man_t * pHaig ) // remove regular POs Aig_ManSetPioNumbers( pHaig ); vTemp = Vec_PtrAlloc( Saig_ManRegNum(pHaig) ); - Aig_ManForEachPo( pHaig, pObj, i ) + Aig_ManForEachCo( pHaig, pObj, i ) { if ( Saig_ObjIsPo(pHaig, pObj) ) { @@ -585,7 +585,7 @@ Aig_Man_t * Saig_ManHaigDump( Aig_Man_t * pHaig ) pMiter = Aig_Exor( pHaig, pObj1, pObj2 ); pMiter = Aig_NotCond( pMiter, Aig_ObjPhaseReal(pMiter) ); assert( Aig_ObjPhaseReal(pMiter) == 0 ); - Aig_ObjCreatePo( pHaig, pMiter ); + Aig_ObjCreateCo( pHaig, pMiter ); } printf( "Added %d property outputs.\n", Vec_IntSize(pHaig->vEquPairs)/2 ); // add the registers |