SCCNodeStack.push(N);
MinVisitNumStack.push(visitNum);
VisitStack.push(make_pair(N, GT::child_begin(N)));
- DEBUG(std::cerr << "TarjanSCC: Node " << N <<
- " : visitNum = " << visitNum << "\n");
+ //DEBUG(std::cerr << "TarjanSCC: Node " << N <<
+ // " : visitNum = " << visitNum << "\n");
}
// The stack-based DFS traversal; defined below.
if (! MinVisitNumStack.empty() && MinVisitNumStack.top() > minVisitNum)
MinVisitNumStack.top() = minVisitNum;
- DEBUG(std::cerr << "TarjanSCC: Popped node " << visitingN <<
- " : minVisitNum = " << minVisitNum << "; Node visit num = " <<
- nodeVisitNumbers[visitingN] << "\n");
+ //DEBUG(std::cerr << "TarjanSCC: Popped node " << visitingN <<
+ // " : minVisitNum = " << minVisitNum << "; Node visit num = " <<
+ // nodeVisitNumbers[visitingN] << "\n");
if (minVisitNum == nodeVisitNumbers[visitingN])
{ // A full SCC is on the SCCNodeStack! It includes all nodes below
SCCNodeStack.push(N);
MinVisitNumStack.push(visitNum);
VisitStack.push(make_pair(N, GT::child_begin(N)));
- DEBUG(std::cerr << "TarjanSCC: Node " << N <<
- " : visitNum = " << visitNum << "\n");
+ //DEBUG(std::cerr << "TarjanSCC: Node " << N <<
+ // " : visitNum = " << visitNum << "\n");
}
// The stack-based DFS traversal; defined below.
if (! MinVisitNumStack.empty() && MinVisitNumStack.top() > minVisitNum)
MinVisitNumStack.top() = minVisitNum;
- DEBUG(std::cerr << "TarjanSCC: Popped node " << visitingN <<
- " : minVisitNum = " << minVisitNum << "; Node visit num = " <<
- nodeVisitNumbers[visitingN] << "\n");
+ //DEBUG(std::cerr << "TarjanSCC: Popped node " << visitingN <<
+ // " : minVisitNum = " << minVisitNum << "; Node visit num = " <<
+ // nodeVisitNumbers[visitingN] << "\n");
if (minVisitNum == nodeVisitNumbers[visitingN])
{ // A full SCC is on the SCCNodeStack! It includes all nodes below