Generated on Mon Nov 30 23:53:21 2009 for Gecode by doxygen 1.6.1

array.cpp

Go to the documentation of this file.
00001 /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
00002 /*
00003  *  Main authors:
00004  *     Guido Tack <tack@gecode.org>
00005  *     Christian Schulte <schulte@gecode.org>
00006  *     Gabor Szokoli <szokoli@gecode.org>
00007  *
00008  *  Copyright:
00009  *     Guido Tack, 2004
00010  *     Christian Schulte, 2004
00011  *     Gabor Szokoli, 2004
00012  *
00013  *  Last modified:
00014  *     $Date: 2009-01-20 23:44:27 +0100 (Tue, 20 Jan 2009) $ by $Author: schulte $
00015  *     $Revision: 8082 $
00016  *
00017  *  This file is part of Gecode, the generic constraint
00018  *  development environment:
00019  *     http://www.gecode.org
00020  *
00021  *  Permission is hereby granted, free of charge, to any person obtaining
00022  *  a copy of this software and associated documentation files (the
00023  *  "Software"), to deal in the Software without restriction, including
00024  *  without limitation the rights to use, copy, modify, merge, publish,
00025  *  distribute, sublicense, and/or sell copies of the Software, and to
00026  *  permit persons to whom the Software is furnished to do so, subject to
00027  *  the following conditions:
00028  *
00029  *  The above copyright notice and this permission notice shall be
00030  *  included in all copies or substantial portions of the Software.
00031  *
00032  *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
00033  *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
00034  *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
00035  *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
00036  *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
00037  *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
00038  *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
00039  *
00040  */
00041 
00042 
00043 
00044 #include <gecode/set.hh>
00045 
00046 namespace Gecode {
00047 
00048   SetVarArray::SetVarArray(Space& home, int n)
00049     : VarArray<SetVar>(home,n) {
00050     for (int i = size(); i--; )
00051       x[i].init(home);
00052   }
00053 
00054   SetVarArray::SetVarArray(Space& home,int n,
00055                            int lbMin,int lbMax,int ubMin,int ubMax,
00056                            unsigned int minCard,
00057                            unsigned int maxCard)
00058     : VarArray<SetVar>(home,n) {
00059     Set::Limits::check(lbMin,"SetVarArray::SetVarArray");
00060     Set::Limits::check(lbMax,"SetVarArray::SetVarArray");
00061     Set::Limits::check(ubMin,"SetVarArray::SetVarArray");
00062     Set::Limits::check(ubMax,"SetVarArray::SetVarArray");
00063     Set::Limits::check(maxCard,"SetVarArray::SetVarArray");
00064     unsigned int glbSize = (lbMin <= lbMax ? lbMax-lbMin+1 : 0);
00065     unsigned int lubSize = (ubMin <= ubMax ? ubMax-ubMin+1 : 0);
00066     if (minCard > maxCard || minCard > lubSize || maxCard < glbSize ||
00067         lbMin < ubMin || lbMax > ubMax)
00068       throw Set::VariableEmptyDomain("SetVarArray::SetVarArray");
00069     for (int i = size(); i--; )
00070       x[i].init(home,lbMin,lbMax,ubMin,ubMax,minCard,maxCard);
00071   }
00072 
00073   SetVarArray::SetVarArray(Space& home,int n,
00074                            const IntSet& glb,int ubMin,int ubMax,
00075                            unsigned int minCard,unsigned int maxCard)
00076     : VarArray<SetVar>(home,n) {
00077     Set::Limits::check(glb,"SetVarArray::SetVarArray");
00078     Set::Limits::check(ubMin,"SetVarArray::SetVarArray");
00079     Set::Limits::check(ubMax,"SetVarArray::SetVarArray");
00080     Set::Limits::check(maxCard,"SetVarArray::SetVarArray");
00081     IntSetRanges glbr(glb);
00082     unsigned int glbSize = Iter::Ranges::size(glbr);
00083     unsigned int lubSize = (ubMin <= ubMax ? ubMax-ubMin+1 : 0);
00084     if (minCard > maxCard || minCard > lubSize || maxCard < glbSize ||
00085         glb.min() < ubMin || glb.max() > ubMax)
00086       throw Set::VariableEmptyDomain("SetVarArray::SetVarArray");
00087     for (int i = size(); i--; )
00088       x[i].init(home,glb,ubMin,ubMax,minCard,maxCard);
00089   }
00090 
00091   SetVarArray::SetVarArray(Space& home,int n,
00092                            int lbMin,int lbMax,const IntSet& lub,
00093                            unsigned int minCard,unsigned int maxCard)
00094     : VarArray<SetVar>(home,n) {
00095     Set::Limits::check(lbMin,"SetVarArray::SetVarArray");
00096     Set::Limits::check(lbMax,"SetVarArray::SetVarArray");
00097     Set::Limits::check(lub,"SetVarArray::SetVarArray");
00098     Set::Limits::check(maxCard,"SetVarArray::SetVarArray");
00099     Iter::Ranges::Singleton glbr(lbMin,lbMax);
00100     IntSetRanges lubr(lub);
00101     IntSetRanges lubr_s(lub);
00102     unsigned int glbSize = (lbMin <= lbMax ? lbMax-lbMin+1 : 0);
00103     unsigned int lubSize = Iter::Ranges::size(lubr_s);
00104     if (minCard > maxCard || minCard > lubSize || maxCard < glbSize ||
00105         !Iter::Ranges::subset(glbr,lubr))
00106       throw Set::VariableEmptyDomain("SetVarArray::SetVarArray");
00107     for (int i = size(); i--; )
00108       x[i].init(home,lbMin,lbMax,lub,minCard,maxCard);
00109   }
00110 
00111   SetVarArray::SetVarArray(Space& home,int n,
00112                            const IntSet& glb, const IntSet& lub,
00113                            unsigned int minCard, unsigned int maxCard)
00114     : VarArray<SetVar>(home,n) {
00115     Set::Limits::check(glb,"SetVarArray::SetVarArray");
00116     Set::Limits::check(lub,"SetVarArray::SetVarArray");
00117     Set::Limits::check(maxCard,"SetVarArray::SetVarArray");
00118     IntSetRanges glbr(glb);
00119     IntSetRanges glbr_s(lub);
00120     unsigned int glbSize = Iter::Ranges::size(glbr_s);
00121     IntSetRanges lubr(lub);
00122     IntSetRanges lubr_s(lub);
00123     unsigned int lubSize = Iter::Ranges::size(lubr_s);
00124     if (minCard > maxCard || minCard > lubSize || maxCard < glbSize ||
00125         !Iter::Ranges::subset(glbr,lubr))
00126       throw Set::VariableEmptyDomain("SetVar");
00127     for (int i = size(); i--; )
00128       x[i].init(home,glb,lub,minCard,maxCard);
00129   }
00130 
00131 }
00132 
00133 // STATISTICS: set-other
00134