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 |
780 |
780 |
781 ///The type of the map that indicates which nodes are processed. |
781 ///The type of the map that indicates which nodes are processed. |
782 |
782 |
783 ///The type of the map that indicates which nodes are processed. |
783 ///The type of the map that indicates which nodes are processed. |
784 ///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
784 ///It must conform to the \ref concepts::WriteMap "WriteMap" concept. |
785 ///By default it is a NullMap. |
785 ///By default, it is a NullMap. |
786 typedef NullMap<typename Digraph::Node,bool> ProcessedMap; |
786 typedef NullMap<typename Digraph::Node,bool> ProcessedMap; |
787 ///Instantiates a ProcessedMap. |
787 ///Instantiates a ProcessedMap. |
788 |
788 |
789 ///This function instantiates a ProcessedMap. |
789 ///This function instantiates a ProcessedMap. |
790 ///\param g is the digraph, to which |
790 ///\param g is the digraph, to which |