Searched refs:setRealEdge (Results 1 – 2 of 2) sorted by relevance
224 void BallLarusEdge::setRealEdge(BallLarusEdge* realEdge) { in setRealEdge() function in BallLarusEdge303 rootEdge->setRealEdge(*succ); in calculatePathNumbers()516 childEdge->getPhonyRoot()->setRealEdge(childEdge); in addBackedge()519 childEdge->getPhonyExit()->setRealEdge(childEdge); in addBackedge()
168 void setRealEdge(BallLarusEdge* realEdge);