diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2009-05-05 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2009-05-05 08:01:00 -0700 |
| commit | d5b0fdee741dbc64bcfe75c54420219a7cbeac1a (patch) | |
| tree | 972832d3f1fdebea4a4bb67e650bf587d189ede8 /src/base/abci/abcDar.c | |
| parent | d7a048d738381651b53340684e26f06b78b8a78c (diff) | |
| download | abc-d5b0fdee741dbc64bcfe75c54420219a7cbeac1a.tar.gz abc-d5b0fdee741dbc64bcfe75c54420219a7cbeac1a.tar.bz2 abc-d5b0fdee741dbc64bcfe75c54420219a7cbeac1a.zip | |
Version abc90505
Diffstat (limited to 'src/base/abci/abcDar.c')
| -rw-r--r-- | src/base/abci/abcDar.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index ab47d797..873b78d1 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -2862,9 +2862,9 @@ Abc_Ntk_t * Abc_NtkBalanceExor( Abc_Ntk_t * pNtk, int fUpdateLevel, int fVerbose SeeAlso [] ***********************************************************************/ -Abc_Ntk_t * Abc_NtkPhaseAbstract( Abc_Ntk_t * pNtk, int nFrames, int fIgnore, int fPrint, int fVerbose ) +Abc_Ntk_t * Abc_NtkPhaseAbstract( Abc_Ntk_t * pNtk, int nFrames, int nPref, int fIgnore, int fPrint, int fVerbose ) { - extern Aig_Man_t * Saig_ManPhaseAbstract( Aig_Man_t * p, Vec_Int_t * vInits, int nFrames, int fIgnore, int fPrint, int fVerbose ); + extern Aig_Man_t * Saig_ManPhaseAbstract( Aig_Man_t * p, Vec_Int_t * vInits, int nFrames, int nPref, int fIgnore, int fPrint, int fVerbose ); Vec_Int_t * vInits; Abc_Ntk_t * pNtkAig; Aig_Man_t * pMan, * pTemp; @@ -2872,7 +2872,7 @@ Abc_Ntk_t * Abc_NtkPhaseAbstract( Abc_Ntk_t * pNtk, int nFrames, int fIgnore, in if ( pMan == NULL ) return NULL; vInits = Abc_NtkGetLatchValues(pNtk); - pMan = Saig_ManPhaseAbstract( pTemp = pMan, vInits, nFrames, fIgnore, fPrint, fVerbose ); + pMan = Saig_ManPhaseAbstract( pTemp = pMan, vInits, nFrames, nPref, fIgnore, fPrint, fVerbose ); Vec_IntFree( vInits ); Aig_ManStop( pTemp ); if ( pMan == NULL ) |