equal
deleted
inserted
replaced
61 |
61 |
62 ///The type of the map that indicates which nodes are processed. |
62 ///The type of the map that indicates which nodes are processed. |
63 |
63 |
64 ///The type of the map that indicates which nodes are processed. |
64 ///The type of the map that indicates which nodes are processed. |
65 ///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
65 ///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
66 ///By default it is a NullMap. |
66 ///By default, it is a NullMap. |
67 typedef NullMap<typename Digraph::Node,bool> ProcessedMap; |
67 typedef NullMap<typename Digraph::Node,bool> ProcessedMap; |
68 ///Instantiates a \c ProcessedMap. |
68 ///Instantiates a \c ProcessedMap. |
69 |
69 |
70 ///This function instantiates a \ref ProcessedMap. |
70 ///This function instantiates a \ref ProcessedMap. |
71 ///\param g is the digraph, to which |
71 ///\param g is the digraph, to which |
850 |
850 |
851 ///The type of the map that indicates which nodes are processed. |
851 ///The type of the map that indicates which nodes are processed. |
852 |
852 |
853 ///The type of the map that indicates which nodes are processed. |
853 ///The type of the map that indicates which nodes are processed. |
854 ///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
854 ///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
855 ///By default it is a NullMap. |
855 ///By default, it is a NullMap. |
856 typedef NullMap<typename Digraph::Node,bool> ProcessedMap; |
856 typedef NullMap<typename Digraph::Node,bool> ProcessedMap; |
857 ///Instantiates a ProcessedMap. |
857 ///Instantiates a ProcessedMap. |
858 |
858 |
859 ///This function instantiates a ProcessedMap. |
859 ///This function instantiates a ProcessedMap. |
860 ///\param g is the digraph, to which |
860 ///\param g is the digraph, to which |