Searched refs:SPLITEDGE (Results 1 – 4 of 4) sorted by relevance
306 (*succ)->setType(BallLarusEdge::SPLITEDGE); in calculatePathNumbers()324 (*pred)->getType() == BallLarusEdge::SPLITEDGE ) in calculatePathNumbers()456 (*succ)->getType() == BallLarusEdge::SPLITEDGE ) in calculatePathNumbersFrom()
129 (*next)->getType() != BallLarusEdge::SPLITEDGE && // no split edges in getNextEdge()
565 formerEdge->getType() == BallLarusEdge::SPLITEDGE) { in splitUpdate()609 if ((*edge)->getType() == BallLarusEdge::SPLITEDGE) in calculateSpanningTree()625 != BallLarusEdge::SPLITEDGE) in calculateSpanningTree()706 case BallLarusEdge::SPLITEDGE: in generateDotGraph()809 if (intoEdge->getType() == BallLarusEdge::SPLITEDGE) in pushInitializationFromEdge()837 if (fromEdge->getType() == BallLarusEdge::SPLITEDGE) in pushCountersFromEdge()1124 edge->getType() == BallLarusEdge::SPLITEDGE ) { in insertInstrumentationStartingAt()
132 enum EdgeType { NORMAL, BACKEDGE, SPLITEDGE, enumerator