/// Constructor for cloning
QueenArmies(bool share, QueenArmies& s)
: MaximizeScript(share,s), n(s.n) {
U.update(*this, share, s.U);
W.update(*this, share, s.W);
w.update(*this, share, s.w);
b.update(*this, share, s.b);
q.update(*this, share, s.q);
}
/// Constructor for cloning e
CrowdedChess(bool share, CrowdedChess& e)
: Script(share,e), n(e.n) {
s.update(*this, share, e.s);
queens.update(*this, share, e.queens);
rooks.update(*this, share, e.rooks);
knights.update(*this, share, e.knights);
}
/// Constructor for cloning \a s
OpenShop(bool share, OpenShop& s) : MinimizeScript(share,s), spec(s.spec) {
b.update(*this, share, s.b);
makespan.update(*this, share, s.makespan);
_start.update(*this, share, s._start);
}
/// Constructor for cloning \a s
Warehouses(bool share, Warehouses& s) : IntMinimizeScript(share,s) {
supplier.update(*this, share, s.supplier);
open.update(*this, share, s.open);
c_store.update(*this, share, s.c_store);
c_total.update(*this, share, s.c_total);
}
/// Constructor for cloning \a s
MineSweeper(bool share, MineSweeper& s) :
Script(share,s), spec(s.spec), size(s.size) {
b.update(*this, share, s.b);
}
/// Constructor for cloning \a s
Nonogram(bool share, Nonogram& s) : Script(share,s), spec(s.spec) {
b.update(*this, share, s.b);
}
/// Constructor for cloning
Sat(bool share, Sat& s) : Script(share,s) {
x.update(*this, share, s.x);
}
QBFProblem(bool share, QBFProblem& p) : Script(share,p), QSpaceInfo(*this,share,p)
{
X.update(*this,share,p.X);
}
/// Constructor for cloning \a s
BIBD(bool share, BIBD& s)
: Script(share,s), opt(s.opt) {
_p.update(*this,share,s._p);
}
