diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-11 18:41:18 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-11 18:41:18 -0700 |
| commit | 2d1d315eceecf580011eb8f499d020eb60da1597 (patch) | |
| tree | ee00c908071aca389b3b6607450523a98225a9ad /src/aig/gia/giaAiger.c | |
| parent | d0a0cf63951e24a6d979af65c58d564254caec70 (diff) | |
| download | abc-2d1d315eceecf580011eb8f499d020eb60da1597.tar.gz abc-2d1d315eceecf580011eb8f499d020eb60da1597.tar.bz2 abc-2d1d315eceecf580011eb8f499d020eb60da1597.zip | |
Supporting edge information during mapping.
Diffstat (limited to 'src/aig/gia/giaAiger.c')
| -rw-r--r-- | src/aig/gia/giaAiger.c | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index a6ea9322..04ad8641 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -1289,6 +1289,18 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int Vec_StrFree( vStrExt ); if ( fVerbose ) printf( "Finished writing extension \"k\".\n" ); } + // write edges + if ( p->vEdge1 ) + { + Vec_Int_t * vPairs = Gia_ManEdgeToArray( p ); + int i; + fprintf( pFile, "w" ); + Gia_FileWriteBufferSize( pFile, 4*(Vec_IntSize(vPairs)+1) ); + Gia_FileWriteBufferSize( pFile, Vec_IntSize(vPairs)/2 ); + for ( i = 0; i < Vec_IntSize(vPairs); i++ ) + Gia_FileWriteBufferSize( pFile, Vec_IntEntry(vPairs, i) ); + Vec_IntFree( vPairs ); + } // write mapping if ( Gia_ManHasMapping(p) ) { @@ -1329,18 +1341,6 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int for ( i = 0; i < Vec_IntSize(p->vRegInits); i++ ) Gia_FileWriteBufferSize( pFile, Vec_IntEntry(p->vRegInits, i) ); } - // write register inits - if ( p->vEdge1 ) - { - Vec_Int_t * vPairs = Gia_ManEdgeToArray( p ); - int i; - fprintf( pFile, "w" ); - Gia_FileWriteBufferSize( pFile, 4*(Vec_IntSize(vPairs)+1) ); - Gia_FileWriteBufferSize( pFile, Vec_IntSize(vPairs)/2 ); - for ( i = 0; i < Vec_IntSize(vPairs); i++ ) - Gia_FileWriteBufferSize( pFile, Vec_IntEntry(vPairs, i) ); - Vec_IntFree( vPairs ); - } // write configuration data if ( p->vConfigs ) { |