GecodeSpace(bool share, GecodeSpace& s) : vInt(s.vInt.size()), vBool(s.vBool.size()),
valid_snapshot(s.valid_snapshot),
first(true),
booltrue(*this, 1, 1), boolfalse(*this, 0, 0),
Gecode::MinimizeSpace(share,s) {
// valid_snapshot = s.valid_snapshot;
if (snapshot_valid()) dom_snapshot = s.dom_snapshot;
for (int i=vInt.size(); i--;)
vInt[i].update(*this, share, s.vInt[i]);
for (int i=vBool.size(); i--;)
vBool[i].update(*this, share, s.vBool[i]);
vCost.update(*this, share, s.vCost);
}
lab2(const bool share, lab2 &s) : Gecode::Space(share, s) {
x.update(*this, share, s.x);
}
/// Constructor for cloning \a s
TestSpace(bool share, TestSpace& s) : Space(share,s) {
x.update(*this,share,s.x);
y.update(*this,share,s.y);
}