| 739 | /** Return true if this vertex has been removed. */ |
| 740 | template <typename VP, typename EP> |
| 741 | bool get(vertex_removed_t, const DirectedGraph<VP, EP>& g, |
| 742 | typename DirectedGraph<VP, EP>::vertex_descriptor u) |
| 743 | { |
| 744 | return g.is_removed(u); |
| 745 | } |
| 746 | |
| 747 | template <typename VP, typename EP> |
| 748 | void put(vertex_removed_t tag, DirectedGraph<VP, EP>& g, |
no test coverage detected