Searched refs:getPhonyExit (Results 1 – 3 of 3) sorted by relevance
209 BallLarusEdge* BallLarusEdge::getPhonyExit() { in getPhonyExit() function in BallLarusEdge519 childEdge->getPhonyExit()->setRealEdge(childEdge); in addBackedge()520 childEdge->getPhonyExit()->setType(BallLarusEdge::BACKEDGE_PHONY); in addBackedge()
163 BallLarusEdge* getPhonyExit();
568 newEdge->setPhonyExit(formerEdge->getPhonyExit()); in splitUpdate()1128 (BLInstrumentationEdge*) edge->getPhonyExit(); in insertInstrumentationStartingAt()