diff options
Diffstat (limited to 'src/map/mpm/mpm.h')
| -rw-r--r-- | src/map/mpm/mpm.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/map/mpm/mpm.h b/src/map/mpm/mpm.h index 8008c965..70f8b4c8 100644 --- a/src/map/mpm/mpm.h +++ b/src/map/mpm/mpm.h @@ -63,7 +63,10 @@ struct Mpm_Par_t_ int fUseTruth; int fUseDsd; int fCutMin; + int fOneRound; int fDeriveLuts; + int fMap4Cnf; + int fMap4Aig; int fVerbose; int fVeryVerbose; }; |