equal
deleted
inserted
replaced
1233 } |
1233 } |
1234 |
1234 |
1235 return true; |
1235 return true; |
1236 } |
1236 } |
1237 |
1237 |
1238 // Check if the upper bound is greater or equal to the lower bound |
1238 // Check if the upper bound is greater than or equal to the lower bound |
1239 // on each arc. |
1239 // on each arc. |
1240 bool checkBoundMaps() { |
1240 bool checkBoundMaps() { |
1241 for (int j = 0; j != _arc_num; ++j) { |
1241 for (int j = 0; j != _arc_num; ++j) { |
1242 if (_upper[j] < _lower[j]) return false; |
1242 if (_upper[j] < _lower[j]) return false; |
1243 } |
1243 } |