Home | History | Annotate | Download | only in Analysis

Lines Matching refs:addEdge

250   addEdge(getExit(),getRoot(),0);
283 BallLarusEdge* exitEdge = addEdge(node, getExit(), 0);
301 addEdge(getRoot(), (*succ)->getTarget(), duplicateNumber++);
381 BallLarusEdge* callEdge = addEdge(currentNode, getExit(), 0);
391 addEdge(currentNode, getExit(),0);
424 addEdge(currentNode, succNode, duplicateCount);
438 addEdge(currentNode, childNode, duplicateCount);
497 BallLarusEdge* BallLarusDag::addEdge(BallLarusNode* source,
510 BallLarusEdge* childEdge = addEdge(source, target, duplicateCount);
513 childEdge->setPhonyRoot(addEdge(getRoot(), target,0));
514 childEdge->setPhonyExit(addEdge(source, getExit(),0));