| 693 | } |
| 694 | |
| 695 | SetExpr |
| 696 | inter(const SetVarArgs& x) { |
| 697 | if (x.size() == 0) |
| 698 | return SetExpr(IntSet(Set::Limits::min,Set::Limits::max)); |
| 699 | SetExpr r(x[0]); |
| 700 | for (int i=1; i<x.size(); i++) |
| 701 | r = (r & x[i]); |
| 702 | return r; |
| 703 | } |
| 704 | SetExpr |
| 705 | setunion(const SetVarArgs& x) { |
| 706 | if (x.size() == 0) |