luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Do not support extension "e" (equiv classes of nodes).

This commit is contained in:
Alan Mishchenko 2026-06-22 19:35:32 -07:00
parent 68bf7cba8e
commit 7d253d7cb2
1 changed files with 19 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

38
src/aig/gia/giaAiger.c
View File

@ -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 )
{