diff options
Diffstat (limited to 'src/map/mpm/mpmCore.c')
-rw-r--r-- | src/map/mpm/mpmCore.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/map/mpm/mpmCore.c b/src/map/mpm/mpmCore.c index 3bb0eeb2..ff36cfb9 100644 --- a/src/map/mpm/mpmCore.c +++ b/src/map/mpm/mpmCore.c @@ -51,8 +51,11 @@ void Mpm_ManSetParsDefault( Mpm_Par_t * p ) p->fUseTruth = 0; // uses truth tables p->fUseDsd = 0; // uses DSDs p->fCutMin = 0; // enables cut minimization + p->fOneRound = 0; // enabled one round p->DelayTarget = -1; // delay target p->fDeriveLuts = 0; // use truth tables to derive AIG structure + p->fMap4Cnf = 0; // mapping for CNF + p->fMap4Aig = 0; // mapping for AIG p->fVerbose = 0; // verbose output p->fVeryVerbose = 0; // verbose output } |