/// Constructor for cloning \a s
TestSpace(bool share, TestSpace& s) : Space(share,s) {
x.update(*this,share,s.x);
}
/// Constructor for cloning \a s
Ass(bool share, Ass& s) : Gecode::Space(share,s) {
x.update(*this, share, s.x);
}
/// Constructor for cloning \a s
IntTestSpace(bool share, IntTestSpace& s)
: Gecode::Space(share,s), vara(s.vara), varb(s.varb), val(s.val) {
x.update(*this, share, s.x);
}
SteadySpace(bool share, SteadySpace & o)
: Space(share, o) {
spec_vars.update(*this, share, o.spec_vars);
}