From 2c8f1a67ec9295450a72fc27cbb3ed1177945734 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 9 Mar 2012 19:32:44 -0800
Subject: Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to
 be ...Ci/Co.

---
 src/aig/ioa/ioaReadAig.c  | 12 ++++++------
 src/aig/ioa/ioaWriteAig.c |  8 ++++----
 2 files changed, 10 insertions(+), 10 deletions(-)

(limited to 'src/aig/ioa')

diff --git a/src/aig/ioa/ioaReadAig.c b/src/aig/ioa/ioaReadAig.c
index eb253659..6c87f430 100644
--- a/src/aig/ioa/ioaReadAig.c
+++ b/src/aig/ioa/ioaReadAig.c
@@ -199,14 +199,14 @@ Aig_Man_t * Ioa_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck
     // create the PIs
     for ( i = 0; i < nInputs + nLatches; i++ )
     {
-        pObj = Aig_ObjCreatePi(pNew);    
+        pObj = Aig_ObjCreateCi(pNew);    
         Vec_PtrPush( vNodes, pObj );
     }
 /*
     // create the POs
     for ( i = 0; i < nOutputs + nLatches; i++ )
     {
-        pObj = Aig_ObjCreatePo(pNew);   
+        pObj = Aig_ObjCreateCo(pNew);   
     }
 */
     // create the latches
@@ -302,9 +302,9 @@ Aig_Man_t * Ioa_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck
 
     // create the POs
     for ( i = 0; i < nOutputs; i++ )
-        Aig_ObjCreatePo( pNew, (Aig_Obj_t *)Vec_PtrEntry(vDrivers, nLatches + i) );
+        Aig_ObjCreateCo( pNew, (Aig_Obj_t *)Vec_PtrEntry(vDrivers, nLatches + i) );
     for ( i = 0; i < nLatches; i++ )
-        Aig_ObjCreatePo( pNew, (Aig_Obj_t *)Vec_PtrEntry(vDrivers, i) );
+        Aig_ObjCreateCo( pNew, (Aig_Obj_t *)Vec_PtrEntry(vDrivers, i) );
     Vec_PtrFree( vDrivers );
 
 /*
@@ -354,7 +354,7 @@ Aig_Man_t * Ioa_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck
         } 
 
         // assign the remaining names
-        Aig_ManForEachPi( pNew, pObj, i )
+        Aig_ManForEachCi( pNew, pObj, i )
         {
             if ( pObj->pCopy ) continue;
             Aig_ObjAssignName( pObj, Aig_ObjName(pObj), NULL );
@@ -368,7 +368,7 @@ Aig_Man_t * Ioa_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck
             Aig_ObjAssignName( Aig_ObjFanin0(Aig_ObjFanin0(pObj)), Aig_ObjName(pObj), "_in" );
             Counter++;
         }
-        Aig_ManForEachPo( pNew, pObj, i )
+        Aig_ManForEachCo( pNew, pObj, i )
         {
             if ( pObj->pCopy ) continue;
             Aig_ObjAssignName( pObj, Aig_ObjName(pObj), NULL );
diff --git a/src/aig/ioa/ioaWriteAig.c b/src/aig/ioa/ioaWriteAig.c
index d19d23ff..ca5a8a5e 100644
--- a/src/aig/ioa/ioaWriteAig.c
+++ b/src/aig/ioa/ioaWriteAig.c
@@ -291,7 +291,7 @@ Vec_Str_t * Ioa_WriteAigerIntoMemoryStr( Aig_Man_t * pMan )
     // set the node numbers to be used in the output file
     nNodes = 0;
     Ioa_ObjSetAigerNum( Aig_ManConst1(pMan), nNodes++ );
-    Aig_ManForEachPi( pMan, pObj, i )
+    Aig_ManForEachCi( pMan, pObj, i )
         Ioa_ObjSetAigerNum( pObj, nNodes++ );
     Aig_ManForEachNode( pMan, pObj, i )
         Ioa_ObjSetAigerNum( pObj, nNodes++ );
@@ -477,7 +477,7 @@ void Ioa_WriteAiger( Aig_Man_t * pMan, char * pFileName, int fWriteSymbols, int
     // set the node numbers to be used in the output file
     nNodes = 0;
     Ioa_ObjSetAigerNum( Aig_ManConst1(pMan), nNodes++ );
-    Aig_ManForEachPi( pMan, pObj, i )
+    Aig_ManForEachCi( pMan, pObj, i )
         Ioa_ObjSetAigerNum( pObj, nNodes++ );
     Aig_ManForEachNode( pMan, pObj, i )
         Ioa_ObjSetAigerNum( pObj, nNodes++ );
@@ -564,13 +564,13 @@ void Ioa_WriteAiger( Aig_Man_t * pMan, char * pFileName, int fWriteSymbols, int
     if ( fWriteSymbols )
     {
         // write PIs
-        Aig_ManForEachPi( pMan, pObj, i )
+        Aig_ManForEachCi( pMan, pObj, i )
             fprintf( pFile, "i%d %s\n", i, Aig_ObjName(pObj) );
         // write latches
         Aig_ManForEachLatch( pMan, pObj, i )
             fprintf( pFile, "l%d %s\n", i, Aig_ObjName(Aig_ObjFanout0(pObj)) );
         // write POs
-        Aig_ManForEachPo( pMan, pObj, i )
+        Aig_ManForEachCo( pMan, pObj, i )
             fprintf( pFile, "o%d %s\n", i, Aig_ObjName(pObj) );
     }
 */
-- 
cgit v1.2.3