More fixes to model generation, with previously failing testcases

Also refactored some header file includes to reduce compile time

1 files changed, 5 insertions, 0 deletions

diff --git a/src/theory/model.h b/src/theory/model.h
index d17192281..19415ae7b 100644
--- a/src/theory/model.h
+++ b/src/theory/model.h
@@ -216,6 +216,11 @@ private:
     return n;
   }
 
+  bool empty()
+  {
+    return d_typeSet.empty();
+  }
+
   iterator begin()
   {
     return d_typeSet.begin();