diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-04-08 15:06:38 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-04-09 14:51:22 -0400 |
commit | f328d181c943237367a9f7374199ef5e58285faf (patch) | |
tree | 839cb4742f8a61a0f7b73a6cbb1d7943cbdef850 /src/theory/theory.cpp | |
parent | b6d9f0bd9058db1358897834ac987f5d34de8734 (diff) |
more
Diffstat (limited to 'src/theory/theory.cpp')
-rw-r--r-- | src/theory/theory.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/theory.cpp b/src/theory/theory.cpp index 9a23d5518..c52ee936a 100644 --- a/src/theory/theory.cpp +++ b/src/theory/theory.cpp @@ -176,7 +176,7 @@ std::hash_set<TNode, TNodeHashFunction> Theory::currentlySharedTerms() const{ } -void Theory::collectTerms(TNode n, set<Node>& termSet) +void Theory::collectTerms(TNode n, set<Node>& termSet) const { if (termSet.find(n) != termSet.end()) { return; @@ -191,7 +191,7 @@ void Theory::collectTerms(TNode n, set<Node>& termSet) } -void Theory::computeRelevantTerms(set<Node>& termSet) +void Theory::computeRelevantTerms(set<Node>& termSet) const { // Collect all terms appearing in assertions context::CDList<Assertion>::const_iterator assert_it = facts_begin(), assert_it_end = facts_end(); |