| 711 | return r; |
| 712 | } |
| 713 | SetExpr |
| 714 | setdunion(const SetVarArgs& x) { |
| 715 | if (x.size() == 0) |
| 716 | return SetExpr(IntSet::empty); |
| 717 | SetExpr r(x[0]); |
| 718 | for (int i=1; i<x.size(); i++) |
| 719 | r = (r + x[i]); |
| 720 | return r; |
| 721 | } |
| 722 | |
| 723 | namespace MiniModel { |
| 724 | /// Integer valued set expressions |