From 2d1d315eceecf580011eb8f499d020eb60da1597 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 11 Apr 2016 18:41:18 -0700 Subject: Supporting edge information during mapping. --- src/aig/gia/giaAiger.c | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) (limited to 'src/aig/gia/giaAiger.c') 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 ) { -- cgit v1.2.3