diff options
Diffstat (limited to 'src/opt/sfm/sfm.h')
| -rw-r--r-- | src/opt/sfm/sfm.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/opt/sfm/sfm.h b/src/opt/sfm/sfm.h index 53cbe8e5..1133b7e8 100644 --- a/src/opt/sfm/sfm.h +++ b/src/opt/sfm/sfm.h @@ -46,6 +46,7 @@ struct Sfm_Par_t_ int nTfiLevMax; // the maximum fanin levels int nFanoutMax; // the maximum number of fanouts int nDepthMax; // the maximum depth to try + int nVarMax; // the maximum variable count int nMffcMin; // the minimum MFFC size int nMffcMax; // the maximum MFFC size int nDecMax; // the maximum number of decompositions @@ -63,6 +64,7 @@ struct Sfm_Par_t_ int fZeroCost; // enable zero-cost replacement int fUseSim; // enable simulation int fPrintDecs; // enable printing decompositions + int fLibVerbose; // enable library stats int fVerbose; // enable basic stats int fVeryVerbose; // enable detailed stats }; |