diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-17 23:03:22 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:40 -0400 |
commit | 875d0f0b01339aab4e60c408f1d7aa601e9653e6 (patch) | |
tree | 382df1d05e55a0b8f6cc65ff6f5b5c39239f5bf0 /src/theory/arith/cut_log.h | |
parent | 6a438d52aaabea7a60b6902d428166c9e0f3548f (diff) |
disable unate lemmas when using incremental mode
Diffstat (limited to 'src/theory/arith/cut_log.h')
-rw-r--r-- | src/theory/arith/cut_log.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/arith/cut_log.h b/src/theory/arith/cut_log.h index 123313617..bbd1b3694 100644 --- a/src/theory/arith/cut_log.h +++ b/src/theory/arith/cut_log.h @@ -125,11 +125,11 @@ public: }; std::ostream& operator<<(std::ostream& os, const CutInfo& ci); -struct BranchCutInfo : public CutInfo { +class BranchCutInfo : public CutInfo { BranchCutInfo(int execOrd, int br, Kind dir, double val); }; -struct RowsDeleted : public CutInfo { +class RowsDeleted : public CutInfo { RowsDeleted(int execOrd, int nrows, const int num[]); }; |