Generated on Mon May 10 06:46:43 2010 for Gecode by doxygen 1.6.3

arithmetic.hpp

Go to the documentation of this file.
00001 /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
00002 /*
00003  *  Main authors:
00004  *     Christian Schulte <schulte@gecode.org>
00005  *
00006  *  Copyright:
00007  *     Christian Schulte, 2006
00008  *
00009  *  Last modified:
00010  *     $Date: 2009-10-12 17:36:53 +0200 (Mon, 12 Oct 2009) $ by $Author: schulte $
00011  *     $Revision: 9878 $
00012  *
00013  *  This file is part of Gecode, the generic constraint
00014  *  development environment:
00015  *     http://www.gecode.org
00016  *
00017  *  Permission is hereby granted, free of charge, to any person obtaining
00018  *  a copy of this software and associated documentation files (the
00019  *  "Software"), to deal in the Software without restriction, including
00020  *  without limitation the rights to use, copy, modify, merge, publish,
00021  *  distribute, sublicense, and/or sell copies of the Software, and to
00022  *  permit persons to whom the Software is furnished to do so, subject to
00023  *  the following conditions:
00024  *
00025  *  The above copyright notice and this permission notice shall be
00026  *  included in all copies or substantial portions of the Software.
00027  *
00028  *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
00029  *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
00030  *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
00031  *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
00032  *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
00033  *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
00034  *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
00035  *
00036  */
00037 
00038 namespace Gecode {
00039 
00040   inline IntVar
00041   abs(Home home, IntVar x, IntConLevel icl) {
00042     if ((icl == ICL_DOM) && (x.min() >= 0))
00043       return x;
00044     IntVar y(home, Int::Limits::min, Int::Limits::max);
00045     abs(home, x, y, icl);
00046     return y;
00047   }
00048 
00049   inline IntVar
00050   min(Home home, IntVar x, IntVar y, IntConLevel icl) {
00051     IntVar z(home, Int::Limits::min, Int::Limits::max);
00052     min(home, x, y, z, icl);
00053     return z;
00054   }
00055 
00056   inline IntVar
00057   min(Home home, const IntVarArgs& x, IntConLevel icl) {
00058     IntVar y(home, Int::Limits::min, Int::Limits::max);
00059     Gecode::min(home, x, y, icl);
00060     return y;
00061   }
00062 
00063   inline IntVar
00064   max(Home home, IntVar x, IntVar y, IntConLevel icl) {
00065     IntVar z(home, Int::Limits::min, Int::Limits::max);
00066     max(home, x, y, z, icl);
00067     return z;
00068   }
00069 
00070   inline IntVar
00071   max(Home home, const IntVarArgs& x, IntConLevel icl) {
00072     IntVar y(home, Int::Limits::min, Int::Limits::max);
00073     Gecode::max(home, x, y, icl);
00074     return y;
00075   }
00076 
00077   inline IntVar
00078   mult(Home home, IntVar x, IntVar y, IntConLevel icl) {
00079     IntVar z(home, Int::Limits::min, Int::Limits::max);
00080     mult(home, x, y, z, icl);
00081     return z;
00082   }
00083 
00084   inline IntVar
00085   div(Home home, IntVar x, IntVar y, IntConLevel icl) {
00086     IntVar z(home, Int::Limits::min, Int::Limits::max);
00087     div(home, x, y, z, icl);
00088     return z;
00089   }
00090 
00091   inline IntVar
00092   mod(Home home, IntVar x, IntVar y, IntConLevel icl) {
00093     IntVar z(home, Int::Limits::min, Int::Limits::max);
00094     mod(home, x, y, z, icl);
00095     return z;
00096   }
00097 
00098   inline IntVar
00099   sqr(Home home, IntVar x, IntConLevel icl) {
00100     IntVar y(home, 0, Int::Limits::max);
00101     sqr(home, x, y, icl);
00102     return y;
00103   }
00104 
00105   inline IntVar
00106   sqrt(Home home, IntVar x, IntConLevel icl) {
00107     IntVar y(home, 0, Int::Limits::max);
00108     sqrt(home, x, y, icl);
00109     return y;
00110   }
00111 
00112   inline IntVar
00113   plus(Home home, IntVar x, IntVar y, IntConLevel icl) {
00114     IntVar z(home, Int::Limits::min, Int::Limits::max);
00115     IntVarArgs xy(2);
00116     xy[0]=x; xy[1]=y;
00117     linear(home, xy, IRT_EQ, z, icl);
00118     return z;
00119   }
00120 
00121   inline IntVar
00122   minus(Home home, IntVar x, IntVar y, IntConLevel icl) {
00123     IntVar z(home, Int::Limits::min, Int::Limits::max);
00124     IntVarArgs xy(2); IntArgs a(2, 1,-1);
00125     xy[0]=x; xy[1]=y;
00126     linear(home, a, xy, IRT_EQ, z, icl);
00127     return z;
00128   }
00129 
00130 }
00131 
00132 // STATISTICS: minimodel-any