| 799 | /** Return true if this vertex has been removed. */ |
| 800 | template <typename VP, typename EP> |
| 801 | bool get(vertex_removed_t, const UndirectedGraph<VP, EP>& g, |
| 802 | typename UndirectedGraph<VP, EP>::vertex_descriptor u) |
| 803 | { |
| 804 | return g.is_removed(u); |
| 805 | } |
| 806 | |
| 807 | template <typename VP, typename EP> |
| 808 | void put(vertex_removed_t tag, UndirectedGraph<VP, EP>& g, |
no test coverage detected