1 files changed, 15 insertions, 0 deletions
diff --git a/src/theory/theory.cpp b/src/theory/theory.cpp
index 61b2fdfa3..cf52de75e 100644
--- a/src/theory/theory.cpp
+++ b/src/theory/theory.cpp
@@ -18,5 +18,20 @@
 namespace CVC4 {
 namespace theory {
 
+bool Theory::done() {
+  return d_nextAssertion >= d_assertions.size(); 
+}
+
+
+Node Theory::get() {
+  Node n = d_assertions[d_nextAssertion];
+  d_nextAssertion = d_nextAssertion + 1;
+  return n;
+}
+
+void Theory::assertFact(const Node& n){
+  d_assertions.push_back(n);
+}
+
 }/* CVC4::theory namespace */
 }/* CVC4 namespace */