From 7d253d7cb2431a2d814c0b8b7d175751a345dfe1 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 22 Jun 2026 19:35:32 -0700 Subject: [PATCH] Do not support extension "e" (equiv classes of nodes). --- src/aig/gia/giaAiger.c | 38 +++++++++++++++++++------------------- 1 file changed, 19 insertions(+), 19 deletions(-) diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index c17783832..e5c45df3b 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -685,16 +685,16 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fGiaSi if ( fVerbose ) printf( "Finished reading extension \"o\".\n" ); } // read equivalence classes - else if ( *pCur == 'e' ) - { - extern Gia_Rpr_t * Gia_AigerReadEquivClasses( unsigned char ** ppPos, int nSize ); - pCur++; - pCurTemp = pCur + Gia_AigerReadInt(pCur) + 4; pCur += 4; - pNew->pReprs = Gia_AigerReadEquivClasses( &pCur, Gia_ManObjNum(pNew) ); - pNew->pNexts = Gia_ManDeriveNexts( pNew ); - assert( pCur == pCurTemp ); - if ( fVerbose ) printf( "Finished reading extension \"e\".\n" ); - } + //else if ( *pCur == 'e' ) + //{ + // extern Gia_Rpr_t * Gia_AigerReadEquivClasses( unsigned char ** ppPos, int nSize ); + // pCur++; + // pCurTemp = pCur + Gia_AigerReadInt(pCur) + 4; pCur += 4; + // pNew->pReprs = Gia_AigerReadEquivClasses( &pCur, Gia_ManObjNum(pNew) ); + // pNew->pNexts = Gia_ManDeriveNexts( pNew ); + // assert( pCur == pCurTemp ); + // if ( fVerbose ) printf( "Finished reading extension \"e\".\n" ); + //} // read flop classes else if ( *pCur == 'f' ) { @@ -1582,15 +1582,15 @@ void Gia_AigerWriteS( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, in } } // write equivalences - if ( p->pReprs && p->pNexts ) - { - extern Vec_Str_t * Gia_WriteEquivClasses( Gia_Man_t * p ); - fprintf( pFile, "e" ); - vStrExt = Gia_WriteEquivClasses( p ); - Gia_FileWriteBufferSize( pFile, Vec_StrSize(vStrExt) ); - fwrite( Vec_StrArray(vStrExt), 1, Vec_StrSize(vStrExt), pFile ); - Vec_StrFree( vStrExt ); - } + //if ( p->pReprs && p->pNexts ) + //{ + // extern Vec_Str_t * Gia_WriteEquivClasses( Gia_Man_t * p ); + // fprintf( pFile, "e" ); + // vStrExt = Gia_WriteEquivClasses( p ); + // Gia_FileWriteBufferSize( pFile, Vec_StrSize(vStrExt) ); + // fwrite( Vec_StrArray(vStrExt), 1, Vec_StrSize(vStrExt), pFile ); + // Vec_StrFree( vStrExt ); + //} // write flop classes if ( p->vFlopClasses ) {