diff options
Diffstat (limited to 'src/theory/theory.cpp')
-rw-r--r-- | src/theory/theory.cpp | 20 |
1 files changed, 5 insertions, 15 deletions
diff --git a/src/theory/theory.cpp b/src/theory/theory.cpp index cf52de75e..17a35f2ed 100644 --- a/src/theory/theory.cpp +++ b/src/theory/theory.cpp @@ -14,24 +14,14 @@ **/ #include "theory/theory.h" +#include "util/Assert.h" -namespace CVC4 { -namespace theory { - -bool Theory::done() { - return d_nextAssertion >= d_assertions.size(); -} +#include <vector> +using namespace std; -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); -} +namespace CVC4 { +namespace theory { }/* CVC4::theory namespace */ }/* CVC4 namespace */ |