Remove the edge (u,v) from the graph. */
| 848 | |
| 849 | /** Remove the edge (u,v) from the graph. */ |
| 850 | static inline |
| 851 | void |
| 852 | remove_edge( |
| 853 | graph_traits<SequenceCollectionHash>::vertex_descriptor u, |
| 854 | graph_traits<SequenceCollectionHash>::vertex_descriptor v, |
| 855 | SequenceCollectionHash& g) |
| 856 | { |
| 857 | g.removeExtension(u, SENSE, v.back()); |
| 858 | } |
| 859 | |
| 860 | /** Remove the edge e from the graph. */ |
| 861 | static inline |
no test coverage detected