diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-22 20:40:41 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-22 20:40:41 +0000 |
commit | 8c4495b18e40a406be35baceaf473878bcc375f1 (patch) | |
tree | 2c1e491cbb088e26775572160b31ae2cd250bad8 /src/theory/theory.cpp | |
parent | f40ec39fe48f83e1cc1a31f9e18635687bd63c76 (diff) |
some improvements to the sharing mechanism/interface
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 0404bda3b..6460533e2 100644 --- a/src/theory/theory.cpp +++ b/src/theory/theory.cpp @@ -49,7 +49,7 @@ void Theory::addSharedTermInternal(TNode n) { addSharedTerm(n); } -void Theory::computeCareGraph(CareGraph& careGraph) { +void Theory::computeCareGraph() { Debug("sharing") << "Theory::computeCareGraph<" << getId() << ">()" << std::endl; for (unsigned i = 0; i < d_sharedTerms.size(); ++ i) { TNode a = d_sharedTerms[i]; @@ -67,7 +67,7 @@ void Theory::computeCareGraph(CareGraph& careGraph) { break; default: // Let's split on it - careGraph.push_back(CarePair(a, b, getId())); + addCarePair(a, b); break; } } |