diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-12-30 16:13:52 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-12-30 16:13:52 -0800 |
| commit | f3dcf87cea40e92eb34a107719bce0f1b609351f (patch) | |
| tree | d5970a0c479cbffd33d124bd53ba2a304d9bd054 /src/base | |
| parent | 75d334a0df1431e8a5a57a83096dcee9661fd0a6 (diff) | |
| download | abc-f3dcf87cea40e92eb34a107719bce0f1b609351f.tar.gz abc-f3dcf87cea40e92eb34a107719bce0f1b609351f.tar.bz2 abc-f3dcf87cea40e92eb34a107719bce0f1b609351f.zip | |
New exact synthesis command 'allexact'.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 7660dc0d..a9988497 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -8473,7 +8473,7 @@ int Abc_CommandAllExact( Abc_Frame_t * pAbc, int argc, char ** argv ) pPars->fOrderNodes ^= 1; break; case 'e': - pPars->fGenAll ^= 1; + pPars->fEnumSols ^= 1; break; case 'g': pPars->fGlucose ^= 1; @@ -8559,7 +8559,7 @@ usage: Abc_Print( -2, "\t-N <num> : the number of K-input nodes [default = %d]\n", pPars->nNodes ); Abc_Print( -2, "\t-a : toggle using only AND-gates when K = 2 [default = %s]\n", pPars->fOnlyAnd ? "yes" : "no" ); Abc_Print( -2, "\t-o : toggle using node ordering by fanins [default = %s]\n", pPars->fOrderNodes ? "yes" : "no" ); - Abc_Print( -2, "\t-e : toggle enumerating all solutions [default = %s]\n", pPars->fGenAll ? "yes" : "no" ); + Abc_Print( -2, "\t-e : toggle enumerating all solutions [default = %s]\n", pPars->fEnumSols ? "yes" : "no" ); // Abc_Print( -2, "\t-g : toggle using Glucose 3.0 by Gilles Audemard and Laurent Simon [default = %s]\n", pPars->fGlucose ? "yes" : "no" ); Abc_Print( -2, "\t-v : toggle verbose printout [default = %s]\n", pPars->fVerbose ? "yes" : "no" ); Abc_Print( -2, "\t-h : print the command usage\n" ); |