diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2011-05-02 21:40:06 +0000 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2011-05-02 21:40:06 +0000 |
commit | f04cbfc62ae22d00b1a37af29f86258a902770e4 (patch) | |
tree | 6d7b5d2c4eabb7dc9ce60850d45b9ee2e74f908f /src/util/trans_closure.cpp | |
parent | 70336ce1430a857029e972942d1ba0d9019c7cb6 (diff) |
minor updates to exp manager, fixed 32bit vs 64bit issues in transitive closure module, theory datatypes now uses transitive closure for cycle detection, bug 261 fixed
Diffstat (limited to 'src/util/trans_closure.cpp')
-rw-r--r-- | src/util/trans_closure.cpp | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/src/util/trans_closure.cpp b/src/util/trans_closure.cpp index 43c8735ad..61c48fa8d 100644 --- a/src/util/trans_closure.cpp +++ b/src/util/trans_closure.cpp @@ -89,11 +89,11 @@ void TransitiveClosure::debugPrintMatrix() for (i = 0; i < adjMatrix.size(); ++i) { for (j = 0; j < adjMatrix.size(); ++j) { if (adjMatrix[i] != NULL && adjMatrix[i]->read(j)) { - cout << "1 "; + Debug("trans-closure") << "1 "; } - else cout << "0 "; + else Debug("trans-closure") << "0 "; } - cout << endl; + Debug("trans-closure") << endl; } } @@ -110,10 +110,9 @@ unsigned TransitiveClosureNode::getId( Node i ){ void TransitiveClosureNode::debugPrint(){ for( int i=0; i<(int)currEdges.size(); i++ ){ - cout << "currEdges[ " << i << " ] = " - << currEdges[i].first << " -> " << currEdges[i].second; - //<< "(" << getId( currEdges[i].first ) << " -> " << getId( currEdges[i].second ) << ")"; - cout << std::endl; + Debug("trans-closure") << "currEdges[ " << i << " ] = " + << currEdges[i].first << " -> " << currEdges[i].second; + Debug("trans-closure") << std::endl; } } |