3
* Christian Schulte <schulte@gecode.org>
6
* Christian Schulte, 2002
9
* $Date: 2005-07-31 16:45:18 +0200 (Sun, 31 Jul 2005) $ by $Author: schulte $
12
* This file is part of Gecode, the generic constraint
13
* development environment:
14
* http://www.gecode.org
16
* See the file "LICENSE" for information on usage and
17
* redistribution of this file, and for a
18
* DISCLAIMER OF ALL WARRANTIES.
22
namespace Gecode { namespace Int { namespace Branch {
25
Assign::Assign(Space* home, bool share, Assign& b)
26
: Branching(home,share,b), pos(b.pos) {
27
x.update(home,share,b.x);
30
Assign::Assign(Space* home, ViewArray<IntView>& x1)
31
: Branching(home), x(x1), pos(0) {}
35
AssignMin::AssignMin(Space* home, bool share, AssignMin& b)
36
: Assign(home,share,b) {}
38
AssignMin::AssignMin(Space* home, ViewArray<IntView>& x)
42
AssignMed::AssignMed(Space* home, bool share, AssignMed& b)
43
: Assign(home,share,b) {}
45
AssignMed::AssignMed(Space* home, ViewArray<IntView>& x)
50
AssignMax::AssignMax(Space* home, bool share, AssignMax& b)
51
: Assign(home,share,b) {}
53
AssignMax::AssignMax(Space* home, ViewArray<IntView>& x)
58
// STATISTICS: int-branch