115 void BallLarusNode::addPredEdge(BallLarusEdge* edge) {  in addPredEdge()
120 void BallLarusNode::removePredEdge(BallLarusEdge* edge) {  in removePredEdge()
125 void BallLarusNode::addSuccEdge(BallLarusEdge* edge) {  in addSuccEdge()
130 void BallLarusNode::removeSuccEdge(BallLarusEdge* edge) {  in removeSuccEdge()
154 void BallLarusNode::removeEdge(BLEdgeVector& v, BallLarusEdge* e) {  in removeEdge()
168 BallLarusNode* BallLarusEdge::getSource() const {  in getSource()
173 BallLarusNode* BallLarusEdge::getTarget() const {  in getTarget()
178 BallLarusEdge::EdgeType BallLarusEdge::getType() const {  in getType()
183 void BallLarusEdge::setType(EdgeType type) {  in setType()
189 unsigned BallLarusEdge::getWeight() {  in getWeight()
194 void BallLarusEdge::setWeight(unsigned weight) {  in setWeight()
199 BallLarusEdge* BallLarusEdge::getPhonyRoot() {  in getPhonyRoot()
204 void BallLarusEdge::setPhonyRoot(BallLarusEdge* phonyRoot) {  in setPhonyRoot()
209 BallLarusEdge* BallLarusEdge::getPhonyExit() {  in getPhonyExit()
214 void BallLarusEdge::setPhonyExit(BallLarusEdge* phonyExit) {  in setPhonyExit()
219 BallLarusEdge* BallLarusEdge::getRealEdge() {  in getRealEdge()
224 void BallLarusEdge::setRealEdge(BallLarusEdge* realEdge) {  in setRealEdge()
229 unsigned BallLarusEdge::getDuplicateNumber() {  in getDuplicateNumber()
283       BallLarusEdge* exitEdge = addEdge(node, getExit(), 0);  in calculatePathNumbers()
284       exitEdge->setType(BallLarusEdge::SPLITEDGE_PHONY);  in calculatePathNumbers()
294         if( (*succ)->getType() == BallLarusEdge::NORMAL ) {  in calculatePathNumbers()
300           BallLarusEdge* rootEdge =  in calculatePathNumbers()
302           rootEdge->setType(BallLarusEdge::SPLITEDGE_PHONY);  in calculatePathNumbers()
306           (*succ)->setType(BallLarusEdge::SPLITEDGE);  in calculatePathNumbers()
323         if( (*pred)->getType() == BallLarusEdge::BACKEDGE ||  in calculatePathNumbers()
324             (*pred)->getType() == BallLarusEdge::SPLITEDGE )  in calculatePathNumbers()
381           BallLarusEdge* callEdge = addEdge(currentNode, getExit(), 0);  in buildNode()
382           callEdge->setType(BallLarusEdge::CALLEDGE_PHONY);  in buildNode()
455       if( (*succ)->getType() == BallLarusEdge::BACKEDGE ||  in calculatePathNumbersFrom()
456           (*succ)->getType() == BallLarusEdge::SPLITEDGE )  in calculatePathNumbersFrom()
483 BallLarusEdge* BallLarusDag::createEdge(BallLarusNode* source,  in createEdge()
486   return( new BallLarusEdge(source, target, duplicateCount) );  in createEdge()
497 BallLarusEdge* BallLarusDag::addEdge(BallLarusNode* source,  in addEdge()
500   BallLarusEdge* newEdge = createEdge(source, target, duplicateCount);  in addEdge()
510   BallLarusEdge* childEdge = addEdge(source, target, duplicateCount);  in addBackedge()
511   childEdge->setType(BallLarusEdge::BACKEDGE);  in addBackedge()
517   childEdge->getPhonyRoot()->setType(BallLarusEdge::BACKEDGE_PHONY);  in addBackedge()
520   childEdge->getPhonyExit()->setType(BallLarusEdge::BACKEDGE_PHONY);  in addBackedge()