float.cpp
Go to the documentation of this file.00001 /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */ 00002 /* 00003 * Main authors: 00004 * Filip Konvicka <filip.konvicka@logis.cz> 00005 * Lubomir Moric <lubomir.moric@logis.cz> 00006 * Vincent Barichard <Vincent.Barichard@univ-angers.fr> 00007 * 00008 * Contributing authors: 00009 * Christian Schulte <schulte@gecode.org> 00010 * 00011 * Copyright: 00012 * LOGIS, s.r.o., 2008 00013 * Christian Schulte, 2010 00014 * Vincent Barichard, 2012 00015 * 00016 * Last modified: 00017 * $Date: 2017-02-21 06:45:56 +0100 (Tue, 21 Feb 2017) $ by $Author: schulte $ 00018 * $Revision: 15465 $ 00019 * 00020 * This file is part of Gecode, the generic constraint 00021 * development environment: 00022 * http://www.gecode.org 00023 * 00024 * Permission is hereby granted, free of charge, to any person obtaining 00025 * a copy of this software and associated documentation files (the 00026 * "Software"), to deal in the Software without restriction, including 00027 * without limitation the rights to use, copy, modify, merge, publish, 00028 * distribute, sublicense, and/or sell copies of the Software, and to 00029 * permit persons to whom the Software is furnished to do so, subject to 00030 * the following conditions: 00031 * 00032 * The above copyright notice and this permission notice shall be 00033 * included in all copies or substantial portions of the Software. 00034 * 00035 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, 00036 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF 00037 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND 00038 * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE 00039 * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION 00040 * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION 00041 * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. 00042 * 00043 */ 00044 00045 #include <gecode/float.hh> 00046 00047 namespace Gecode { namespace Float { 00048 00049 /* 00050 * Dependencies 00051 * 00052 */ 00053 void 00054 FloatVarImp::subscribe(Space& home, Propagator& p, PropCond pc, 00055 bool schedule) { 00056 FloatVarImpBase::subscribe(home,p,pc,assigned(),schedule); 00057 } 00058 00059 void 00060 FloatVarImp::reschedule(Space& home, Propagator& p, PropCond pc) { 00061 FloatVarImpBase::reschedule(home,p,pc,assigned()); 00062 } 00063 00064 void 00065 FloatVarImp::subscribe(Space& home, Advisor& a, bool fail) { 00066 FloatVarImpBase::subscribe(home,a,assigned(),fail); 00067 } 00068 00069 }} 00070 00071 // STATISTICS: float-var