diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-10 13:56:40 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-10 13:56:40 -0800 |
| commit | 2575a5d6836c5bd8160b8e965c622e358b2dc742 (patch) | |
| tree | 92eaa25ce4be9b47651e043e93fe55c7ea99b342 /src/aig/gia/giaIso.c | |
| parent | f7b7ab59cf842053cc2819c9a569839dc970ed85 (diff) | |
| download | abc-2575a5d6836c5bd8160b8e965c622e358b2dc742.tar.gz abc-2575a5d6836c5bd8160b8e965c622e358b2dc742.tar.bz2 abc-2575a5d6836c5bd8160b8e965c622e358b2dc742.zip | |
Unifification of custom extensions.
Diffstat (limited to 'src/aig/gia/giaIso.c')
| -rw-r--r-- | src/aig/gia/giaIso.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/gia/giaIso.c b/src/aig/gia/giaIso.c index 088649ea..eab828db 100644 --- a/src/aig/gia/giaIso.c +++ b/src/aig/gia/giaIso.c @@ -1043,7 +1043,7 @@ Vec_Str_t * Gia_ManIsoFindString( Gia_Man_t * p, int iPo, int fVerbose, Vec_Int_ { assert( Gia_ManPoNum(pPart) == 1 ); assert( Gia_ManObjNum(pPart) == 2 ); - vStr = Gia_WriteAigerIntoMemoryStr( pPart ); + vStr = Gia_AigerWriteIntoMemoryStr( pPart ); Gia_ManStop( pPart ); if ( pvPiPerm ) *pvPiPerm = Vec_IntAlloc( 0 ); @@ -1060,7 +1060,7 @@ Vec_Str_t * Gia_ManIsoFindString( Gia_Man_t * p, int iPo, int fVerbose, Vec_Int_ //printf( "Internal: " ); //Vec_IntPrint( vCis ); // derive the AIGER string - vStr = Gia_WriteAigerIntoMemoryStrPart( pPart, vCis, vAnds, vCos, Gia_ManRegNum(pPart) ); + vStr = Gia_AigerWriteIntoMemoryStrPart( pPart, vCis, vAnds, vCos, Gia_ManRegNum(pPart) ); // cleanup Vec_IntFree( vCis ); Vec_IntFree( vAnds ); @@ -1280,7 +1280,7 @@ void Gia_IsoTest( Gia_Man_t * p, Abc_Cex_t * pCex, int fVerbose ) // create AIG with two primary outputs (original and permuted) pPerm = Gia_ManDupPerm( p, vPiPerm ); pDouble = Gia_ManDupAppendNew( p, pPerm ); -//Gia_WriteAiger( pDouble, "test.aig", 0, 0 ); +//Gia_AigerWrite( pDouble, "test.aig", 0, 0 ); // analyze the two-output miter pAig = Gia_ManIsoReduce( pDouble, &vPosEquivs, &vPisPerm, 0, 0 ); |