Returns true iff a and b are equal (they have the same size and the same elements in the same positions).
| 58 | /// Returns true iff a and b are equal (they have the same size and |
| 59 | /// the same elements in the same positions). |
| 60 | bool |
| 61 | equal(const IntArgs& a, const IntArgs& b) { |
| 62 | if (a.size() != b.size()) return false; |
| 63 | for (int i = 0 ; i < a.size() ; ++i) |
| 64 | if (a[i] != b[i]) |
| 65 | return false; |
| 66 | return true; |
| 67 | } |
| 68 | |
| 69 | #ifdef GECODE_HAS_SET_VARS |
| 70 | /// Returns true iff a and b are equal (they have the same size and |