diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-27 14:39:08 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-27 14:39:08 -0700 |
commit | 94356f0d1fa8e671303299717f631ecf0ca2f17e (patch) | |
tree | f784ecefa687c25873f89f554738616d7946b2e4 /src/opt/mfs/mfsInt.h | |
parent | 755935a6df4c84377aff1c67a5d802062cf925e6 (diff) | |
download | abc-94356f0d1fa8e671303299717f631ecf0ca2f17e.tar.gz abc-94356f0d1fa8e671303299717f631ecf0ca2f17e.tar.bz2 abc-94356f0d1fa8e671303299717f631ecf0ca2f17e.zip |
Several small changes to the MFS packages.
Diffstat (limited to 'src/opt/mfs/mfsInt.h')
-rw-r--r-- | src/opt/mfs/mfsInt.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/opt/mfs/mfsInt.h b/src/opt/mfs/mfsInt.h index 23a59833..ddaa323d 100644 --- a/src/opt/mfs/mfsInt.h +++ b/src/opt/mfs/mfsInt.h @@ -114,6 +114,7 @@ struct Mfs_Man_t_ int nTimeOuts; int nTimeOutsLevel; int nDcMints; + int nMaxDivs; double dTotalRatios; // node/edge stats int nTotalNodesBeg; |