diff options
author | Tim King <taking@cs.nyu.edu> | 2010-02-24 21:08:15 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2010-02-24 21:08:15 +0000 |
commit | 3bc3eae0d3e36870b30636bd1e3eb52683e0dc17 (patch) | |
tree | e83352315485d8f08857276049969fc842fa2e93 /src/theory/theory.cpp | |
parent | 4c1cb16059e6e484581873dfb3103851183ccc72 (diff) |
Committing small changes to attribute, and theory to avoid future merge problems for Moragn. Also cleaned up theory uf and ecdata, and updated both to reflect attribute. Should be close now.
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 */ |