diff options
Diffstat (limited to 'src/aig/ioa/ioaWriteAig.c')
-rw-r--r-- | src/aig/ioa/ioaWriteAig.c | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/src/aig/ioa/ioaWriteAig.c b/src/aig/ioa/ioaWriteAig.c index e6207879..bb0653b9 100644 --- a/src/aig/ioa/ioaWriteAig.c +++ b/src/aig/ioa/ioaWriteAig.c @@ -564,14 +564,20 @@ void Ioa_WriteAiger( Aig_Man_t * pMan, char * pFileName, int fWriteSymbols, int if ( fWriteSymbols ) { // write PIs - Aig_ManForEachCi( pMan, pObj, i ) + Aig_ManForEachPiSeq( pMan, pObj, i ) fprintf( pFile, "i%d %s\n", i, Aig_ObjName(pObj) ); // write latches - Aig_ManForEachLatch( pMan, pObj, i ) + Aig_ManForEachLoSeq( pMan, pObj, i ) fprintf( pFile, "l%d %s\n", i, Aig_ObjName(Aig_ObjFanout0(pObj)) ); // write POs - Aig_ManForEachCo( pMan, pObj, i ) - fprintf( pFile, "o%d %s\n", i, Aig_ObjName(pObj) ); + int bads = Aig_ManCoNum(pMan) - Aig_ManRegNum(pMan) - Aig_ManConstrNum(pMan); + Aig_ManForEachPoSeq( pMan, pObj, i ) + if ( !Aig_ManConstrNum(pMan) ) + fprintf( pFile, "o%d %s\n", i, Aig_ObjName(pObj) ); + else ( i < bads ) + fprintf( pFile, "b%d %s\n", i, Aig_ObjName(pObj) ); + else + fprintf( pFile, "c%d %s\n", i - bads, Aig_ObjName(pObj) ); } */ // write the comment |