equal
deleted
inserted
replaced
803 /// |
803 /// |
804 ///An adaptor for hiding nodes from a graph. |
804 ///An adaptor for hiding nodes from a graph. |
805 ///This adaptor specializes SubGraphAdaptor in the way that only |
805 ///This adaptor specializes SubGraphAdaptor in the way that only |
806 ///the node-set |
806 ///the node-set |
807 ///can be filtered. In usual case the checked parameter is true, we get the |
807 ///can be filtered. In usual case the checked parameter is true, we get the |
808 ///induced subgraph. But if the checked parameter is false then we can only |
808 ///induced subgraph. But if the checked parameter is false then we can |
809 ///filter only isolated nodes. |
809 ///filter only isolated nodes. |
810 ///\author Marton Makai |
810 ///\author Marton Makai |
811 template<typename Graph, typename NodeFilterMap, bool checked = true> |
811 template<typename Graph, typename NodeFilterMap, bool checked = true> |
812 class NodeSubGraphAdaptor : |
812 class NodeSubGraphAdaptor : |
813 public SubGraphAdaptor<Graph, NodeFilterMap, |
813 public SubGraphAdaptor<Graph, NodeFilterMap, |