equal
deleted
inserted
replaced
1739 /// |
1739 /// |
1740 /// Returns \c true if \c v is reached from the root(s). |
1740 /// Returns \c true if \c v is reached from the root(s). |
1741 /// |
1741 /// |
1742 /// \pre Either \ref run(Node) "run()" or \ref init() |
1742 /// \pre Either \ref run(Node) "run()" or \ref init() |
1743 /// must be called before using this function. |
1743 /// must be called before using this function. |
1744 bool reached(Node v) { return (*_reached)[v]; } |
1744 bool reached(Node v) const { return (*_reached)[v]; } |
1745 |
1745 |
1746 ///@} |
1746 ///@} |
1747 |
1747 |
1748 }; |
1748 }; |
1749 |
1749 |