| 445 | } |
| 446 | |
| 447 | bool |
| 448 | TupleSet::equal(const TupleSet& t) const { |
| 449 | assert(tuples() == t.tuples()); |
| 450 | assert(arity() == t.arity()); |
| 451 | assert(min() == t.min()); |
| 452 | assert(max() == t.max()); |
| 453 | for (int i=0; i<tuples(); i++) |
| 454 | for (int j=0; j<arity(); j++) |
| 455 | if ((*this)[i][j] != t[i][j]) |
| 456 | return false; |
| 457 | return true; |
| 458 | } |
| 459 | |
| 460 | void |
| 461 | TupleSet::_add(const IntArgs& t) { |