| 702 | return r; |
| 703 | } |
| 704 | SetExpr |
| 705 | setunion(const SetVarArgs& x) { |
| 706 | if (x.size() == 0) |
| 707 | return SetExpr(IntSet::empty); |
| 708 | SetExpr r(x[0]); |
| 709 | for (int i=1; i<x.size(); i++) |
| 710 | r = (r | x[i]); |
| 711 | return r; |
| 712 | } |
| 713 | SetExpr |
| 714 | setdunion(const SetVarArgs& x) { |
| 715 | if (x.size() == 0) |