예제 #1
0
 /// Constructor for cloning \a s
 TestSpace(bool share, TestSpace& s) : Space(share,s) {
   x.update(*this,share,s.x);
 }
예제 #2
0
 /// Constructor for cloning \a s
 Ass(bool share, Ass& s) : Gecode::Space(share,s) {
   x.update(*this, share, s.x);
 }
예제 #3
0
 /// 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);
 }
예제 #4
0
	SteadySpace(bool share, SteadySpace & o)
		: Space(share, o) {
		spec_vars.update(*this, share, o.spec_vars);
	}