Commit 79a4038f by Alan Mishchenko

Exploration of functions.

parent 3ba93e3b
......@@ -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;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment