| changeset 949 | 54464584b157 |
| parent 885 | 1f2a734581f8 |
| child 887 | ca4059d63236 |
| 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() {} |