From 6c0a62d69368b1af7e9777efcd703da6dc1cda11 Mon Sep 17 00:00:00 2001 From: ajreynol Date: Tue, 4 Apr 2017 11:21:30 -0500 Subject: Simplify Theory::collectModelInfo interface to not take deprecated fullModel argument. --- src/theory/bv/theory_bv.cpp | 6 +++--- src/theory/bv/theory_bv.h | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) (limited to 'src/theory/bv') diff --git a/src/theory/bv/theory_bv.cpp b/src/theory/bv/theory_bv.cpp index 651d44841..9db909c22 100644 --- a/src/theory/bv/theory_bv.cpp +++ b/src/theory/bv/theory_bv.cpp @@ -576,14 +576,14 @@ bool TheoryBV::needsCheckLastEffort() { return d_needsLastCallCheck; } -void TheoryBV::collectModelInfo( TheoryModel* m, bool fullModel ){ +void TheoryBV::collectModelInfo( TheoryModel* m ){ Assert(!inConflict()); if (options::bitblastMode() == theory::bv::BITBLAST_MODE_EAGER) { - d_eagerSolver->collectModelInfo(m, fullModel); + d_eagerSolver->collectModelInfo(m, true); } for (unsigned i = 0; i < d_subtheories.size(); ++i) { if (d_subtheories[i]->isComplete()) { - d_subtheories[i]->collectModelInfo(m, fullModel); + d_subtheories[i]->collectModelInfo(m, true); return; } } diff --git a/src/theory/bv/theory_bv.h b/src/theory/bv/theory_bv.h index 9973b0736..62eb6f6b5 100644 --- a/src/theory/bv/theory_bv.h +++ b/src/theory/bv/theory_bv.h @@ -77,7 +77,7 @@ public: Node explain(TNode n); - void collectModelInfo( TheoryModel* m, bool fullModel ); + void collectModelInfo( TheoryModel* m ); std::string identify() const { return std::string("TheoryBV"); } -- cgit v1.2.3