Home | History | Annotate | Download | only in Analysis

Lines Matching refs:addEdge

249   addEdge(getExit(),getRoot(),0);
282       BallLarusEdge* exitEdge = addEdge(node, getExit(), 0);
300             addEdge(getRoot(), (*succ)->getTarget(), duplicateNumber++);
380           BallLarusEdge* callEdge = addEdge(currentNode, getExit(), 0);
390       addEdge(currentNode, getExit(),0);
423     addEdge(currentNode, succNode, duplicateCount);
437     addEdge(currentNode, childNode, duplicateCount);
496 BallLarusEdge* BallLarusDag::addEdge(BallLarusNode* source,
509   BallLarusEdge* childEdge = addEdge(source, target, duplicateCount);
512   childEdge->setPhonyRoot(addEdge(getRoot(), target,0));
513   childEdge->setPhonyExit(addEdge(source, getExit(),0));