diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-12-03 00:26:43 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-12-03 00:26:43 -0800 |
| commit | 34ab59574ee4feedfd1ffb618e2e71a6a1964a6a (patch) | |
| tree | 6a9c523fa8d97e62bcf48244a37cbd5a00c8ffe9 /src/aig/ioa | |
| parent | a3bc77cd7bcd50f49388c789d4e42603102235a6 (diff) | |
| download | abc-34ab59574ee4feedfd1ffb618e2e71a6a1964a6a.tar.gz abc-34ab59574ee4feedfd1ffb618e2e71a6a1964a6a.tar.bz2 abc-34ab59574ee4feedfd1ffb618e2e71a6a1964a6a.zip | |
Suggested patch of AIG writers.
Diffstat (limited to 'src/aig/ioa')
| -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 |