diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-02 16:29:10 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-02 16:29:10 +0700 |
| commit | 74c8d35f330f80e6e489f6829288093e798fbfc2 (patch) | |
| tree | 3e13d862bdfc3f1e65bb23ab5327110c10755afe /src/opt/sbd/sbd.h | |
| parent | 6e1df46cd346ace1ed118da70c5b301915fcf453 (diff) | |
| download | abc-74c8d35f330f80e6e489f6829288093e798fbfc2.tar.gz abc-74c8d35f330f80e6e489f6829288093e798fbfc2.tar.bz2 abc-74c8d35f330f80e6e489f6829288093e798fbfc2.zip | |
Updates to delay optimization project.
Diffstat (limited to 'src/opt/sbd/sbd.h')
| -rw-r--r-- | src/opt/sbd/sbd.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/opt/sbd/sbd.h b/src/opt/sbd/sbd.h index 6e0f6b3b..9c419b16 100644 --- a/src/opt/sbd/sbd.h +++ b/src/opt/sbd/sbd.h @@ -47,6 +47,10 @@ struct Sbd_Par_t_ int nWinSizeMax; // maximum window size (windowing) int nBTLimit; // maximum number of SAT conflicts int nWords; // simulation word count + int fMapping; // generate mapping + int fMoreCuts; // use several cuts + int fFindDivs; // perform divisor search + int fUsePath; // optimize only critical path int fArea; // area-oriented optimization int fCover; // use complete cover procedure int fVerbose; // verbose flag |