Searched refs:childEdge (Results 1 – 1 of 1) sorted by relevance
510 BallLarusEdge* childEdge = addEdge(source, target, duplicateCount); in addBackedge() local511 childEdge->setType(BallLarusEdge::BACKEDGE); in addBackedge()513 childEdge->setPhonyRoot(addEdge(getRoot(), target,0)); in addBackedge()514 childEdge->setPhonyExit(addEdge(source, getExit(),0)); in addBackedge()516 childEdge->getPhonyRoot()->setRealEdge(childEdge); in addBackedge()517 childEdge->getPhonyRoot()->setType(BallLarusEdge::BACKEDGE_PHONY); in addBackedge()519 childEdge->getPhonyExit()->setRealEdge(childEdge); in addBackedge()520 childEdge->getPhonyExit()->setType(BallLarusEdge::BACKEDGE_PHONY); in addBackedge()521 _backEdges.push_back(childEdge); in addBackedge()