diff options
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaReshape1.c (renamed from src/aig/gia/giaSim5.c) | 18 | ||||
| -rw-r--r-- | src/aig/gia/giaReshape2.c (renamed from src/aig/gia/giaSim4.c) | 12 |
2 files changed, 15 insertions, 15 deletions
diff --git a/src/aig/gia/giaSim5.c b/src/aig/gia/giaReshape1.c index ab33c218..cf2c0dbd 100644 --- a/src/aig/gia/giaSim5.c +++ b/src/aig/gia/giaReshape1.c @@ -1,12 +1,12 @@ /**CFile**************************************************************** - FileName [giaSim5.c] + FileName [giaReshape.c] SystemName [ABC: Logic synthesis and verification system.] PackageName [Scalable AIG package.] - Synopsis [Simulation engine.] + Synopsis [] Author [Alan Mishchenko] @@ -14,23 +14,19 @@ Date [Ver. 1.0. Started - June 20, 2005.] - Revision [$Id: giaSim5.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + Revision [$Id: gia.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] ***********************************************************************/ #include "gia.h" -#include "base/main/main.h" ABC_NAMESPACE_IMPL_START + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// -void Sim_Init( Abc_Frame_t * pAbc ) {} -void Sim_End( Abc_Frame_t * pAbc ) {} -void Gia_DatFree( Gia_Dat_t * p ) {} - //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// @@ -40,12 +36,16 @@ void Gia_DatFree( Gia_Dat_t * p ) {} Synopsis [] Description [] - + SideEffects [] SeeAlso [] ***********************************************************************/ +Gia_Man_t * Gia_ManReshape1( Gia_Man_t * p, int fVerbose, int fVeryVerbose ) +{ + return NULL; +} //////////////////////////////////////////////////////////////////////// /// END OF FILE /// diff --git a/src/aig/gia/giaSim4.c b/src/aig/gia/giaReshape2.c index 886807d5..440c33a0 100644 --- a/src/aig/gia/giaSim4.c +++ b/src/aig/gia/giaReshape2.c @@ -1,12 +1,12 @@ /**CFile**************************************************************** - FileName [giaSim4.c] + FileName [giaReshape.c] SystemName [ABC: Logic synthesis and verification system.] PackageName [Scalable AIG package.] - Synopsis [Simulation engine.] + Synopsis [] Author [Alan Mishchenko] @@ -14,7 +14,7 @@ Date [Ver. 1.0. Started - June 20, 2005.] - Revision [$Id: giaSim4.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + Revision [$Id: gia.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] ***********************************************************************/ @@ -35,15 +35,15 @@ ABC_NAMESPACE_IMPL_START Synopsis [] Description [] - + SideEffects [] SeeAlso [] ***********************************************************************/ -int Gia_Sim4Try( char * pFileName0, char * pFileName1, char * pFileName2, int nTimeout, int nWords, int nBeam, int LevL, int LevU, int fOrder, int fFancy, int fUseBuf, int fSkipMffc, int fVerbose ) +Gia_Man_t * Gia_ManReshape2( Gia_Man_t * p, int fVerbose, int fVeryVerbose ) { - return 0; + return NULL; } //////////////////////////////////////////////////////////////////////// |