// Compile:
//    gcc -Wall -std=c++11 -o a a.cpp -lgecodedriver -lgecodegist -lgecodeint
//    -lgecodekernel -lgecodesearch -lgecodeset -lgecodesupport -lstdc++
#include <gecode/set.hh>
#include <gecode/driver.hh>
 
using namespace Gecode;
using namespace Gecode::Driver;
 
class SceneAlloc: public Script {
private:
        IntSetArgs x;
        SetVar y;
        SetVar z;
 
public:
        SceneAlloc(const SizeOptions &opt): Script(opt) {
                int a[] = {0};
                int b[] = {0, 1};
                IntSet glb(a, sizeof(a)/sizeof(int));
                IntSet lub(b, sizeof(b)/sizeof(int));
                y = SetVar(*this, glb, lub, 1, 2);
 
                int c0[] = {0, 4};
                int c1[] = {1, 7, 8};
                IntSet s0(c0, sizeof(c0)/sizeof(int));
                IntSet s1(c1, sizeof(c1)/sizeof(int));
                if (opt.size() == 0) {
                        x << s0;
                        x << s1;
                } else {
                        x << s1;
                        x << s0;
                }
                std::cout << "x: " << x << std::endl;
 
                z = SetVar(*this, IntSet::empty, IntSet(0, 10));
 
                element(*this, SOT_UNION, x, y, z);
 
                branch(*this, y, SET_VAL_MIN_INC());
        }
 
        SceneAlloc(bool share, SceneAlloc &s): Script(share, s) {
                y.update(*this, share, s.y);
                z.update(*this, share, s.z);
        }
 
        virtual Space * copy(bool share) {
                return new SceneAlloc(share, *this);
        }
 
        virtual void print(std::ostream &os) const {
                os << "y: " << y << std::endl;
                os << "z: " << z << std::endl;
        }
};
 
int main(int argc, char **argv) {
        SizeOptions opt("element union");
        opt.parse(argc, argv);
        Script::run<SceneAlloc, DFS, SizeOptions>(opt);
        return 0;