diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-10-28 12:50:08 -0500 |
|---|---|---|
| committer | Ahmed Irfan <43099566+ahmed-irfan@users.noreply.github.com> | 2019-10-28 10:50:08 -0700 |
| commit | d6a8803054c0c5731a6c4111d8d00c18e2953032 (patch) | |
| tree | 64f0eb21abb95eda0f8366c9106fd8597a0a3167 /src/theory/theory_model.cpp | |
| parent | 885ec2cf131450f7f651b68a1cae3920665da31a (diff) | |
Fix for non-linear models (#3410)
* Towards fix for non-linear models
* Format
* Fix
* More
* Improve
* Format
* More
Diffstat (limited to 'src/theory/theory_model.cpp')
| -rw-r--r-- | src/theory/theory_model.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/theory_model.cpp b/src/theory/theory_model.cpp index f65d3a203..0d82d3f02 100644 --- a/src/theory/theory_model.cpp +++ b/src/theory/theory_model.cpp @@ -530,6 +530,8 @@ void TheoryModel::recordApproximation(TNode n, TNode pred) Assert(pred.getType().isBoolean()); d_approximations[n] = pred; d_approx_list.push_back(std::pair<Node, Node>(n, pred)); + // model cache is invalid + d_modelCache.clear(); } void TheoryModel::setUsingModelCore() { |