advisor.hpp

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: 2010-04-08 12:35:31 +0200 (Thu, 08 Apr 2010) $ by $Author: schulte $
00013  *     $Revision: 10684 $
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); x=y; x.subscribe(home,*this);
00091   }
00092   template<class View>
00093   template<class A>
00094   forceinline void
00095   ViewAdvisor<View>::dispose(Space& home, Council<A>& c) {
00096     x.cancel(home,*this);
00097     Advisor::dispose(home,c);
00098   }
00099 
00100 }
00101 
00102 // STATISTICS: kernel-other