diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-11-01 10:08:19 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-01 10:08:19 -0500 |
commit | bdcc170e1bf5bb62904c4a3ebbdc9902096799ba (patch) | |
tree | ae8e7ea4eb10d94cfdc1dac3c9d49a00e7baa0a2 /src/theory/theory_engine.cpp | |
parent | 5b6551c529506592da7c66e39a911d9299944eb8 (diff) |
(Move-only) Refactor and document theory model part 2 (#1305)
* Move type set to its own file and document.
* Move theory engine model builder to its own class.
* Working on documentation.
* Document Theory Model.
* Minor
* Document theory model builder.
* Clang format
* Address review.
Diffstat (limited to 'src/theory/theory_engine.cpp')
-rw-r--r-- | src/theory/theory_engine.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp index 402ba61ff..6c49f2914 100644 --- a/src/theory/theory_engine.cpp +++ b/src/theory/theory_engine.cpp @@ -596,7 +596,7 @@ void TheoryEngine::check(Theory::Effort effort) { printAssertions("theory::assertions-model"); } //checks for theories requiring the model go at last call - d_curr_model->setNeedsBuild(); + d_curr_model->reset(); for (TheoryId theoryId = THEORY_FIRST; theoryId < THEORY_LAST; ++theoryId) { if( theoryId!=THEORY_QUANTIFIERS ){ Theory* theory = d_theoryTable[theoryId]; |