diff options
Diffstat (limited to 'src/theory/theory.cpp')
-rw-r--r-- | src/theory/theory.cpp | 15 |
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 */ |