equal
deleted
inserted
replaced
1623 /// |
1623 /// |
1624 /// Returns \c true if \c v is reached from the root(s). |
1624 /// Returns \c true if \c v is reached from the root(s). |
1625 /// |
1625 /// |
1626 /// \pre Either \ref run(Node) "run()" or \ref init() |
1626 /// \pre Either \ref run(Node) "run()" or \ref init() |
1627 /// must be called before using this function. |
1627 /// must be called before using this function. |
1628 bool reached(Node v) { return (*_reached)[v]; } |
1628 bool reached(Node v) const { return (*_reached)[v]; } |
1629 |
1629 |
1630 ///@} |
1630 ///@} |
1631 |
1631 |
1632 }; |
1632 }; |
1633 |
1633 |