diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-11-20 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-11-20 08:01:00 -0800 |
| commit | 69643dfe9285efae78ba94ff6b75a362c9150d8a (patch) | |
| tree | 4a7d4f5278ecd6f1b07e22ff4f551ab4e2e0da6e /src/opt | |
| parent | 85f42d0ebddce595974b8deba419eeee95a1f69e (diff) | |
| download | abc-69643dfe9285efae78ba94ff6b75a362c9150d8a.tar.gz abc-69643dfe9285efae78ba94ff6b75a362c9150d8a.tar.bz2 abc-69643dfe9285efae78ba94ff6b75a362c9150d8a.zip | |
Version abc51120
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/cut/cut.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/opt/cut/cut.h b/src/opt/cut/cut.h index b10c7d32..f518e8c4 100644 --- a/src/opt/cut/cut.h +++ b/src/opt/cut/cut.h @@ -49,6 +49,7 @@ struct Cut_ParamsStruct_t_ int nVarsMax; // the max cut size ("k" of the k-feasible cuts) int nKeepMax; // the max number of cuts kept at a node int nIdsMax; // the max number of IDs of cut objects + int nBitShift; // the number of bits used for the latch counter of an edge int nCutSet; // the number of nodes in the cut set int fTruth; // compute truth tables int fFilter; // filter dominated cuts |