Generated on Wed Jan 4 17:49:08 2006 for Gecode by doxygen 1.4.6

assign.icc

Go to the documentation of this file.
00001 /*
00002  *  Main authors:
00003  *     Christian Schulte <schulte@gecode.org>
00004  *
00005  *  Copyright:
00006  *     Christian Schulte, 2002
00007  *
00008  *  Last modified:
00009  *     $Date: 2005-07-31 16:45:18 +0200 (Sun, 31 Jul 2005) $ by $Author: schulte $
00010  *     $Revision: 2096 $
00011  *
00012  *  This file is part of Gecode, the generic constraint
00013  *  development environment:
00014  *     http://www.gecode.org
00015  *
00016  *  See the file "LICENSE" for information on usage and
00017  *  redistribution of this file, and for a
00018  *     DISCLAIMER OF ALL WARRANTIES.
00019  *
00020  */
00021 
00022 namespace Gecode { namespace Int { namespace Branch {
00023 
00024   forceinline
00025   Assign::Assign(Space* home, bool share, Assign& b)
00026     : Branching(home,share,b), pos(b.pos) {
00027     x.update(home,share,b.x);
00028   }
00029   forceinline
00030   Assign::Assign(Space* home, ViewArray<IntView>& x1)
00031     : Branching(home), x(x1), pos(0) {}
00032 
00033 
00034   forceinline
00035   AssignMin::AssignMin(Space* home, bool share, AssignMin& b)
00036     : Assign(home,share,b) {}
00037   forceinline
00038   AssignMin::AssignMin(Space* home, ViewArray<IntView>& x)
00039     : Assign(home,x) {}
00040 
00041   forceinline
00042   AssignMed::AssignMed(Space* home, bool share, AssignMed& b)
00043     : Assign(home,share,b) {}
00044   forceinline
00045   AssignMed::AssignMed(Space* home, ViewArray<IntView>& x)
00046     : Assign(home,x) {}
00047 
00048 
00049   forceinline
00050   AssignMax::AssignMax(Space* home, bool share, AssignMax& b)
00051     : Assign(home,share,b) {}
00052   forceinline
00053   AssignMax::AssignMax(Space* home, ViewArray<IntView>& x)
00054     : Assign(home,x) {}
00055 
00056 }}}
00057 
00058 // STATISTICS: int-branch
00059