summaryrefslogtreecommitdiffstats
path: root/src/aig/saig/saigHaig.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-03-09 19:59:35 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2012-03-09 19:59:35 -0800
commitfec988f6194fbab17cc18b72e6f907d5f990bbe8 (patch)
tree0adf99e304f984f32201e3853fa2109ed5405e86 /src/aig/saig/saigHaig.c
parentc46c957a0721004eb21c5f3d3f316ba1c8ab8df1 (diff)
downloadabc-fec988f6194fbab17cc18b72e6f907d5f990bbe8.tar.gz
abc-fec988f6194fbab17cc18b72e6f907d5f990bbe8.tar.bz2
abc-fec988f6194fbab17cc18b72e6f907d5f990bbe8.zip
Renamed Aig_ObjPioNum to be Aig_ObjCioId.
Diffstat (limited to 'src/aig/saig/saigHaig.c')
-rw-r--r--src/aig/saig/saigHaig.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/saig/saigHaig.c b/src/aig/saig/saigHaig.c
index d3539abb..aedc98e2 100644
--- a/src/aig/saig/saigHaig.c
+++ b/src/aig/saig/saigHaig.c
@@ -109,7 +109,7 @@ Aig_Man_t * Aig_ManHaigFrames( Aig_Man_t * pHaig, int nFrames )
Saig_ManForEachLo( pHaig, pObj, i )
pObj->pData = Aig_ObjCreateCi( pFrames );
// add timeframes
- Aig_ManSetPioNumbers( pHaig );
+ Aig_ManSetCioIds( pHaig );
for ( f = 0; f < nFrames; f++ )
{
// create primary inputs
@@ -558,7 +558,7 @@ Aig_Man_t * Saig_ManHaigDump( Aig_Man_t * pHaig )
Aig_Obj_t * pObj, * pObj1, * pObj2, * pMiter;
int Id1, Id2, i;
// remove regular POs
- Aig_ManSetPioNumbers( pHaig );
+ Aig_ManSetCioIds( pHaig );
vTemp = Vec_PtrAlloc( Saig_ManRegNum(pHaig) );
Aig_ManForEachCo( pHaig, pObj, i )
{