diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-13 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-13 08:01:00 -0700 |
| commit | 0f6eeaea3c9d8fb7f4b4aa97f6e640d39e3c0afa (patch) | |
| tree | dd738a8c91f5baf754e6b8bc1c203c5b2f49b69d /src/base/abci/abcMiter.c | |
| parent | c065b2c5daea65cb98659aa1bb56a138ca7cc290 (diff) | |
| download | abc-0f6eeaea3c9d8fb7f4b4aa97f6e640d39e3c0afa.tar.gz abc-0f6eeaea3c9d8fb7f4b4aa97f6e640d39e3c0afa.tar.bz2 abc-0f6eeaea3c9d8fb7f4b4aa97f6e640d39e3c0afa.zip | |
Version abc50913
Diffstat (limited to 'src/base/abci/abcMiter.c')
| -rw-r--r-- | src/base/abci/abcMiter.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/abci/abcMiter.c b/src/base/abci/abcMiter.c index b6755a04..20f41c56 100644 --- a/src/base/abci/abcMiter.c +++ b/src/base/abci/abcMiter.c @@ -84,7 +84,7 @@ Abc_Ntk_t * Abc_NtkMiterInt( Abc_Ntk_t * pNtk1, Abc_Ntk_t * pNtk2, int fComb ) assert( Abc_NtkIsStrash(pNtk2) ); // start the new network - pNtkMiter = Abc_NtkAlloc( ABC_TYPE_STRASH, ABC_FUNC_AIG ); + pNtkMiter = Abc_NtkAlloc( ABC_NTK_STRASH, ABC_FUNC_AIG ); sprintf( Buffer, "%s_%s_miter", pNtk1->pName, pNtk2->pName ); pNtkMiter->pName = util_strsav(Buffer); @@ -321,7 +321,7 @@ Abc_Ntk_t * Abc_NtkMiterForCofactors( Abc_Ntk_t * pNtk, int Out, int In1, int In assert( In2 < Abc_NtkCiNum(pNtk) ); // start the new network - pNtkMiter = Abc_NtkAlloc( ABC_TYPE_STRASH, ABC_FUNC_AIG ); + pNtkMiter = Abc_NtkAlloc( ABC_NTK_STRASH, ABC_FUNC_AIG ); sprintf( Buffer, "%s_miter", Abc_ObjName(Abc_NtkCo(pNtk, Out)) ); pNtkMiter->pName = util_strsav(Buffer); @@ -477,7 +477,7 @@ Abc_Ntk_t * Abc_NtkFrames( Abc_Ntk_t * pNtk, int nFrames, int fInitial ) assert( nFrames > 0 ); assert( Abc_NtkIsStrash(pNtk) ); // start the new network - pNtkFrames = Abc_NtkAlloc( ABC_TYPE_STRASH, ABC_FUNC_AIG ); + pNtkFrames = Abc_NtkAlloc( ABC_NTK_STRASH, ABC_FUNC_AIG ); sprintf( Buffer, "%s_%d_frames", pNtk->pName, nFrames ); pNtkFrames->pName = util_strsav(Buffer); // create new latches (or their initial values) and remember them in the new latches |