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/giaEquiv.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/giaEquiv.c')
| -rw-r--r-- | src/aig/gia/giaEquiv.c | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/aig/gia/giaEquiv.c b/src/aig/gia/giaEquiv.c index d8545cd5..5ddd9b08 100644 --- a/src/aig/gia/giaEquiv.c +++ b/src/aig/gia/giaEquiv.c @@ -1203,7 +1203,7 @@ void Gia_ManEquivMark( Gia_Man_t * p, char * pFileName, int fSkipSome, int fVerb return; } // read AIGER file - pMiter = Gia_ReadAiger( pFileName, 0, 0 ); + pMiter = Gia_AigerRead( pFileName, 0, 0 ); if ( pMiter == NULL ) { Abc_Print( 1, "Gia_ManEquivMark(): Input file %s could not be read.\n", pFileName ); @@ -1722,14 +1722,14 @@ int Gia_CommandSpecI( Gia_Man_t * pGia, int nFramesInit, int nBTLimitInit, int f } } // write equivalence classes - Gia_WriteAiger( pGia, "gore.aig", 0, 0 ); + Gia_AigerWrite( pGia, "gore.aig", 0, 0 ); // reduce the model pReduce = Gia_ManSpecReduce( pGia, 0, 0, 1, 0, 0 ); if ( pReduce ) { pReduce = Gia_ManSeqStructSweep( pAux = pReduce, 1, 1, 0 ); Gia_ManStop( pAux ); - Gia_WriteAiger( pReduce, "gsrm.aig", 0, 0 ); + Gia_AigerWrite( pReduce, "gsrm.aig", 0, 0 ); // Abc_Print( 1, "Speculatively reduced model was written into file \"%s\".\n", "gsrm.aig" ); // Gia_ManPrintStatsShort( pReduce ); Gia_ManStop( pReduce ); @@ -1762,13 +1762,13 @@ int Gia_ManFilterEquivsForSpeculation( Gia_Man_t * pGia, char * pName1, char * p Abc_Print( 1, "Equivalences are not defined.\n" ); return 0; } - pGia1 = Gia_ReadAiger( pName1, 0, 0 ); + pGia1 = Gia_AigerRead( pName1, 0, 0 ); if ( pGia1 == NULL ) { Abc_Print( 1, "Cannot read first file %s.\n", pName1 ); return 0; } - pGia2 = Gia_ReadAiger( pName2, 0, 0 ); + pGia2 = Gia_AigerRead( pName2, 0, 0 ); if ( pGia2 == NULL ) { Gia_ManStop( pGia2 ); @@ -1901,13 +1901,13 @@ int Gia_ManFilterEquivsUsingParts( Gia_Man_t * pGia, char * pName1, char * pName Abc_Print( 1, "Equivalences are not defined.\n" ); return 0; } - pGia1 = Gia_ReadAiger( pName1, 0, 0 ); + pGia1 = Gia_AigerRead( pName1, 0, 0 ); if ( pGia1 == NULL ) { Abc_Print( 1, "Cannot read first file %s.\n", pName1 ); return 0; } - pGia2 = Gia_ReadAiger( pName2, 0, 0 ); + pGia2 = Gia_AigerRead( pName2, 0, 0 ); if ( pGia2 == NULL ) { Gia_ManStop( pGia2 ); |