diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-30 23:47:50 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-30 23:47:50 -0700 |
| commit | 79a4038f21733b5f36887f2ca1cc248802e3d3cb (patch) | |
| tree | 122dd05ae48ef8c9a862c20d8fbca2d82150a23c /src/misc/extra/extraUtilEnum.c | |
| parent | 3ba93e3b0fa62db76089874ff5b244e2c3f85cb5 (diff) | |
| download | abc-79a4038f21733b5f36887f2ca1cc248802e3d3cb.tar.gz abc-79a4038f21733b5f36887f2ca1cc248802e3d3cb.tar.bz2 abc-79a4038f21733b5f36887f2ca1cc248802e3d3cb.zip | |
Exploration of functions.
Diffstat (limited to 'src/misc/extra/extraUtilEnum.c')
| -rw-r--r-- | src/misc/extra/extraUtilEnum.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/misc/extra/extraUtilEnum.c b/src/misc/extra/extraUtilEnum.c index bf2c9bf1..413b8ae9 100644 --- a/src/misc/extra/extraUtilEnum.c +++ b/src/misc/extra/extraUtilEnum.c @@ -655,7 +655,7 @@ void Abc_EnumerateFuncs( int nVars, int nGates, int fVerbose ) assert( nGates > 0 && nVars + nGates < ABC_ENUM_MAX ); memset( p, 0, sizeof(Abc_EnuMan_t) ); p->fVerbose = fVerbose; - p->fUseXor = 1; + p->fUseXor = 0; p->nVars = nVars; p->nNodeMax = nVars + nGates; p->nNodes = nVars; |