Generated on Wed Nov 5 2014 05:18:31 for Gecode by doxygen 1.7.6.1
stop.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: 2013-10-30 15:42:34 +0100 (Wed, 30 Oct 2013) $ by $Author: schulte $
00011  *     $Revision: 14037 $
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 { namespace Search {
00039 
00040   /*
00041    * Base class
00042    *
00043    */
00044   forceinline
00045   Stop::Stop(void) {}
00046   forceinline
00047   Stop::~Stop(void) {}
00048   forceinline void*
00049   Stop::operator new(size_t s) {
00050     return heap.ralloc(s);
00051   }
00052   forceinline void
00053   Stop::operator delete(void* p) {
00054     heap.rfree(p);
00055   }
00056 
00057 
00058 
00059 
00060   /*
00061    * Stopping for node limit
00062    *
00063    */
00064 
00065   forceinline
00066   NodeStop::NodeStop(unsigned long int l0) : l(l0) {}
00067 
00068   forceinline unsigned long int
00069   NodeStop::limit(void) const {
00070     return l;
00071   }
00072 
00073   forceinline void
00074   NodeStop::limit(unsigned long int l0) {
00075     l=l0;
00076   }
00077 
00078 
00079   /*
00080    * Stopping for failure limit
00081    *
00082    */
00083 
00084   forceinline
00085   FailStop::FailStop(unsigned long int l0) : l(l0) {}
00086 
00087   forceinline unsigned long int
00088   FailStop::limit(void) const {
00089     return l;
00090   }
00091 
00092   forceinline void
00093   FailStop::limit(unsigned long int l0) {
00094     l=l0;
00095   }
00096 
00097 
00098   /*
00099    * Stopping for time limit
00100    *
00101    */
00102 
00103   forceinline
00104   TimeStop::TimeStop(unsigned long int l0)
00105     : l(l0) {
00106     t.start();
00107   }
00108 
00109   forceinline unsigned long int
00110   TimeStop::limit(void) const {
00111     return l;
00112   }
00113 
00114   forceinline void
00115   TimeStop::limit(unsigned long int l0) {
00116     l=l0;
00117   }
00118 
00119   forceinline void
00120   TimeStop::reset(void) {
00121     t.start();
00122   }
00123 
00124 
00125   /*
00126    * Stopping for meta search engines
00127    *
00128    */
00129 
00130   forceinline
00131   MetaStop::MetaStop(Stop* s) 
00132     : e_stop(new FailStop(0)), m_stop(s), e_stopped(false) {}
00133 
00134   forceinline void
00135   MetaStop::limit(const Search::Statistics& s, unsigned long int l) {
00136     m_stat += s;
00137     e_stopped = false;
00138     e_stop->limit(l);
00139   }
00140 
00141   forceinline void
00142   MetaStop::update(const Search::Statistics& s) {
00143     m_stat += s;
00144   }
00145 
00146   forceinline Stop*
00147   MetaStop::enginestop(void) const { 
00148     return e_stop; 
00149   }
00150 
00151   forceinline bool
00152   MetaStop::enginestopped(void) const { 
00153     return e_stopped; 
00154   }
00155 
00156   forceinline Statistics 
00157   MetaStop::metastatistics(void) const { 
00158     return m_stat; 
00159   }
00160 
00161   forceinline
00162   MetaStop::~MetaStop(void) {
00163     delete e_stop;
00164     delete m_stop;
00165   }
00166 
00167 }}
00168 
00169 // STATISTICS: search-other