diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-18 23:27:51 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-18 23:27:51 -0700 |
| commit | 05b61206e4689a5d4bfb4370e8a8217736f4231c (patch) | |
| tree | 847b6e0592c37de98bba24301014aae80ff9fb00 /src/aig/ssw/sswInt.h | |
| parent | 39ad44638c06771d215f9ed7f2aced76af71ab2f (diff) | |
| download | abc-05b61206e4689a5d4bfb4370e8a8217736f4231c.tar.gz abc-05b61206e4689a5d4bfb4370e8a8217736f4231c.tar.bz2 abc-05b61206e4689a5d4bfb4370e8a8217736f4231c.zip | |
Adding constant correspondence.
Diffstat (limited to 'src/aig/ssw/sswInt.h')
| -rw-r--r-- | src/aig/ssw/sswInt.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/ssw/sswInt.h b/src/aig/ssw/sswInt.h index 189494bc..32959e85 100644 --- a/src/aig/ssw/sswInt.h +++ b/src/aig/ssw/sswInt.h @@ -219,7 +219,7 @@ extern void Ssw_ClassesCollectClass( Ssw_Cla_t * p, Aig_Obj_t * pRepr, extern void Ssw_ClassesCheck( Ssw_Cla_t * p ); extern void Ssw_ClassesPrint( Ssw_Cla_t * p, int fVeryVerbose ); extern void Ssw_ClassesRemoveNode( Ssw_Cla_t * p, Aig_Obj_t * pObj ); -extern Ssw_Cla_t * Ssw_ClassesPrepare( Aig_Man_t * pAig, int nFramesK, int fLatchCorr, int fOutputCorr, int nMaxLevs, int fVerbose ); +extern Ssw_Cla_t * Ssw_ClassesPrepare( Aig_Man_t * pAig, int nFramesK, int fLatchCorr, int fConstCorr, int fOutputCorr, int nMaxLevs, int fVerbose ); extern Ssw_Cla_t * Ssw_ClassesPrepareSimple( Aig_Man_t * pAig, int fLatchCorr, int nMaxLevs ); extern Ssw_Cla_t * Ssw_ClassesPrepareFromReprs( Aig_Man_t * pAig ); extern Ssw_Cla_t * Ssw_ClassesPrepareTargets( Aig_Man_t * pAig ); |