| changeset 763 | 08cbd48f51f0 |
| parent 726 | 1f2a734581f8 |
| child 728 | 290f3ca599d6 |
| 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() {} |