| changeset 893 | bb871cb8ac06 |
| parent 888 | 1f2a734581f8 |
| child 890 | e26ad33d1fbc |
| 5:a761b7afdde7 | 6:aca9b1b123cc |
|---|---|
118 } |
118 } |
119 return len; |
119 return len; |
120 } |
120 } |
121 |
121 |
122 bool empty() const { |
122 bool empty() const { |
123 return source != target; |
123 return predMatrixMap(source, target) == INVALID; |
124 } |
124 } |
125 |
125 |
126 class RevArcIt { |
126 class RevArcIt { |
127 public: |
127 public: |
128 RevArcIt() {} |
128 RevArcIt() {} |