equal
deleted
inserted
replaced
59 RevArcIt(const PredMapPath& _path) |
59 RevArcIt(const PredMapPath& _path) |
60 : path(&_path), current(_path.target) { |
60 : path(&_path), current(_path.target) { |
61 if (path->predMap[current] == INVALID) current = INVALID; |
61 if (path->predMap[current] == INVALID) current = INVALID; |
62 } |
62 } |
63 |
63 |
64 operator const typename Digraph::Arc() const { |
64 operator typename Digraph::Arc() const { |
65 return path->predMap[current]; |
65 return path->predMap[current]; |
66 } |
66 } |
67 |
67 |
68 RevArcIt& operator++() { |
68 RevArcIt& operator++() { |
69 current = path->digraph.source(path->predMap[current]); |
69 current = path->digraph.source(path->predMap[current]); |