| 618 | } |
| 619 | |
| 620 | void TOPPASVertex::markUnreachable() |
| 621 | { |
| 622 | reachable_ = false; |
| 623 | for (ConstEdgeIterator it = outEdgesBegin(); it != outEdgesEnd(); ++it) |
| 624 | { |
| 625 | TOPPASVertex* tv = (*it)->getTargetVertex(); |
| 626 | if (tv->reachable_) |
| 627 | { |
| 628 | tv->markUnreachable(); |
| 629 | } |
| 630 | } |
| 631 | } |
| 632 | |
| 633 | bool TOPPASVertex::isReachable() const |
| 634 | { |
no test coverage detected