From c5067f7d04dc4c8ee919d9597a4a94a5c4ac3552 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 11 Feb 2012 00:22:05 -0800
Subject: Graph isomorphism checking code.

---
 src/aig/ioa/ioaWriteAig.c | 27 ++++++++++++++++++++++-----
 1 file changed, 22 insertions(+), 5 deletions(-)

(limited to 'src/aig/ioa/ioaWriteAig.c')

diff --git a/src/aig/ioa/ioaWriteAig.c b/src/aig/ioa/ioaWriteAig.c
index 2f682775..d19d23ff 100644
--- a/src/aig/ioa/ioaWriteAig.c
+++ b/src/aig/ioa/ioaWriteAig.c
@@ -283,9 +283,8 @@ Vec_Str_t * Ioa_WriteEncodeLiterals( Vec_Int_t * vLits )
   SeeAlso     []
 
 ***********************************************************************/
-char * Ioa_WriteAigerIntoMemory( Aig_Man_t * pMan, int * pnSize )
+Vec_Str_t * Ioa_WriteAigerIntoMemoryStr( Aig_Man_t * pMan )
 {
-    char * pBuffer;
     Vec_Str_t * vBuffer;
     Aig_Obj_t * pObj, * pDriver;
     int nNodes, i, uLit, uLit0, uLit1; 
@@ -357,10 +356,28 @@ char * Ioa_WriteAigerIntoMemory( Aig_Man_t * pMan, int * pnSize )
         Ioa_WriteAigerEncodeStr( vBuffer, uLit  - uLit1 );
         Ioa_WriteAigerEncodeStr( vBuffer, uLit1 - uLit0 );
     }
-//    fprintf( pFile, "c" );
-//    if ( pMan->pName )
-//        fprintf( pFile, "n%s%c", pMan->pName, '\0' );
     Vec_StrPrintStr( vBuffer, "c" );
+    return vBuffer;
+}
+
+/**Function*************************************************************
+
+  Synopsis    [Writes the AIG in into the memory buffer.]
+
+  Description [The resulting buffer constains the AIG in AIGER format. 
+  The returned size (pnSize) gives the number of bytes in the buffer. 
+  The resulting buffer should be deallocated by the user.]
+  
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+char * Ioa_WriteAigerIntoMemory( Aig_Man_t * pMan, int * pnSize )
+{
+    char * pBuffer;
+    Vec_Str_t * vBuffer;
+    vBuffer = Ioa_WriteAigerIntoMemoryStr( pMan );
     if ( pMan->pName )
     {
         Vec_StrPrintStr( vBuffer, "n" );
-- 
cgit v1.2.3