advisor.icc

00001 /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
00002 /*
00003  *  Main authors:
00004  *     Mikael Lagerkvist <lagerkvist@gecode.org>
00005  *     Christian Schulte <schulte@gecode.org>
00006  *
00007  *  Copyright:
00008  *     Mikael Lagerkvist, 2006
00009  *     Christian Schulte, 2007
00010  *
00011  *  Last modified:
00012  *     $Date: 2007-11-10 14:07:31 +0100 (Sat, 10 Nov 2007) $ by $Author: schulte $
00013  *     $Revision: 5253 $
00014  *
00015  *  This file is part of Gecode, the generic constraint
00016  *  development environment:
00017  *     http://www.gecode.org
00018  *
00019  *  Permission is hereby granted, free of charge, to any person obtaining
00020  *  a copy of this software and associated documentation files (the
00021  *  "Software"), to deal in the Software without restriction, including
00022  *  without limitation the rights to use, copy, modify, merge, publish,
00023  *  distribute, sublicense, and/or sell copies of the Software, and to
00024  *  permit persons to whom the Software is furnished to do so, subject to
00025  *  the following conditions:
00026  *
00027  *  The above copyright notice and this permission notice shall be
00028  *  included in all copies or substantial portions of the Software.
00029  *
00030  *  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
00031  *  EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
00032  *  MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
00033  *  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
00034  *  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
00035  *  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
00036  *  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
00037  *
00038  */
00039 
00040 namespace Gecode {
00041 
00046   template <class View>
00047   class ViewAdvisor : public Advisor {
00048   protected:
00050     View x;
00051   public: 
00053     template <class A>
00054     ViewAdvisor(Space* home, Propagator* p, Council<A>& c, View x0);
00056     ViewAdvisor(Space* home, bool share, ViewAdvisor<View>& a);
00058     View view(void) const;
00060     void view(Space* home, View y);
00062     template <class A>
00063     void dispose(Space* home, Council<A>& c);
00064   };
00065 
00066 
00067   template <class View>
00068   template <class A>
00069   forceinline
00070   ViewAdvisor<View>::ViewAdvisor(Space* home, Propagator* p, 
00071                                  Council<A>& c, View x0)
00072     : Advisor(home,p,c), x(x0) {
00073     x.subscribe(home, this);
00074   }
00075   template <class View>
00076   forceinline
00077   ViewAdvisor<View>::ViewAdvisor(Space* home, bool share, 
00078                                  ViewAdvisor<View>& a) 
00079     : Advisor(home,share,a) {
00080     x.update(home,share,a.x);
00081   }
00082   template <class View>
00083   forceinline View
00084   ViewAdvisor<View>::view(void) const {
00085     return x;
00086   }
00087   template <class View>
00088   forceinline void
00089   ViewAdvisor<View>::view(Space* home, View y) {
00090     x.cancel(home, this);
00091     x=y;
00092     x.subscribe(home, this);
00093   }
00094   template <class View>
00095   template <class A>
00096   forceinline void
00097   ViewAdvisor<View>::dispose(Space* home, Council<A>& c) {
00098     x.cancel(home,this);
00099     Advisor::dispose(home,c);
00100   }
00101 
00102 }
00103 
00104 // STATISTICS: kernel-other