diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-05 15:27:33 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-05 15:27:33 -0800 |
| commit | 6b7aa389a67e4b2de33360f150cac27690226b65 (patch) | |
| tree | c591349c1470b6caabd52dc045495ea01899008a /src/misc/util/utilIsop.c | |
| parent | c610c036616d0b06e9036c4d17be6168619a6332 (diff) | |
| download | abc-6b7aa389a67e4b2de33360f150cac27690226b65.tar.gz abc-6b7aa389a67e4b2de33360f150cac27690226b65.tar.bz2 abc-6b7aa389a67e4b2de33360f150cac27690226b65.zip | |
Improvements to storing and reusing simulation info.
Diffstat (limited to 'src/misc/util/utilIsop.c')
| -rw-r--r-- | src/misc/util/utilIsop.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/misc/util/utilIsop.c b/src/misc/util/utilIsop.c index 292faf61..849c09ee 100644 --- a/src/misc/util/utilIsop.c +++ b/src/misc/util/utilIsop.c @@ -790,7 +790,7 @@ word Abc_EsopCheck( word * pOn, int nVars, word CostLim, int * pCover ) SeeAlso [] ***********************************************************************/ -static inline int Abc_TtIntersect( word * pIn1, word * pIn2, int nWords ) +static inline int Abc_TtIntersect2( word * pIn1, word * pIn2, int nWords ) { int w; for ( w = 0; w < nWords; w++ ) @@ -963,7 +963,7 @@ word Abc_IsopNew( word * pOn, word * pOnDc, word * pRes, int nVars, word CostLim Abc_TtSetBit( pCube, iMint ^ (1 << uTwo) ); Abc_TtSetBit( pCube, iMint ^ (1 << vTwo) ^ (1 << uTwo) ); Cube &= ~(3 << Abc_Var2Lit(vTwo, 0)) & ~(3 << Abc_Var2Lit(uTwo, 0)); - assert( !Abc_TtIntersect(pCube, pOffset, nWords) ); + assert( !Abc_TtIntersect2(pCube, pOffset, nWords) ); // expand against offset for ( v = 0; v < nVars; v++ ) if ( v != vTwo && v != uTwo ) |