420   BallLarusNode* succNode = inDag[succBB];  in buildEdge()  local
422   if(succNode && succNode->getColor() == BallLarusNode::BLACK) {  in buildEdge()
424     addEdge(currentNode, succNode, duplicateCount);  in buildEdge()
425   } else if(succNode && succNode->getColor() == BallLarusNode::GRAY) {  in buildEdge()
428     addBackedge(currentNode, succNode, duplicateCount);  in buildEdge()
432     if(succNode) // an unvisited node that is child of a gray node  in buildEdge()
433       childNode = succNode;  in buildEdge()
451     BallLarusNode* succNode;  in calculatePathNumbersFrom()  local
460       succNode = (*succ)->getTarget();  in calculatePathNumbersFrom()
462       if( !succNode->getNumberPaths() )  in calculatePathNumbersFrom()
464       sumPaths += succNode->getNumberPaths();  in calculatePathNumbersFrom()