Method TestSpace

gecode/gist/standalone-example/mygist.cpp:46–48

public:
  IntVarArray x;
  TestSpace(void) : x(*this,2,0,2) {
    branch(*this, x, INT_VAR_NONE(), INT_VAL_MIN());
  }
  TestSpace(TestSpace& t) : Space(t) {
    x.update(*this, t.x);
  }