bool.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, 2002 00008 * 00009 * Last modified: 00010 * $Date: 2009-07-20 14:36:47 +0200 (Mon, 20 Jul 2009) $ by $Author: schulte $ 00011 * $Revision: 9376 $ 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 { 00039 00040 forceinline void 00041 BoolVar::_init(Space& home, int min, int max) { 00042 assert((min >= 0) && (max <= 1) && (min <= max)); 00043 if (min > 0) 00044 varimp = &Int::BoolVarImp::s_one; 00045 else if (max == 0) 00046 varimp = &Int::BoolVarImp::s_zero; 00047 else 00048 varimp = new (home) Int::BoolVarImp(home,0,1); 00049 } 00050 00051 forceinline 00052 BoolVar::BoolVar(void) {} 00053 forceinline 00054 BoolVar::BoolVar(const BoolVar& x) 00055 : VarBase<Int::BoolVarImp>(x.varimp) {} 00056 forceinline 00057 BoolVar::BoolVar(const Int::BoolView& x) 00058 : VarBase<Int::BoolVarImp>(x.var()) {} 00059 00060 forceinline int 00061 BoolVar::val(void) const { 00062 if (!varimp->assigned()) 00063 throw Int::ValOfUnassignedVar("BoolVar::val"); 00064 return varimp->val(); 00065 } 00066 forceinline int 00067 BoolVar::min(void) const { 00068 return varimp->min(); 00069 } 00070 forceinline int 00071 BoolVar::med(void) const { 00072 return varimp->med(); 00073 } 00074 forceinline int 00075 BoolVar::max(void) const { 00076 return varimp->max(); 00077 } 00078 00079 00080 forceinline unsigned int 00081 BoolVar::width(void) const { 00082 return varimp->width(); 00083 } 00084 forceinline unsigned int 00085 BoolVar::size(void) const { 00086 return varimp->size(); 00087 } 00088 forceinline unsigned int 00089 BoolVar::regret_min(void) const { 00090 return varimp->regret_min(); 00091 } 00092 forceinline unsigned int 00093 BoolVar::regret_max(void) const { 00094 return varimp->regret_max(); 00095 } 00096 00097 00098 00099 forceinline bool 00100 BoolVar::assigned(void) const { 00101 return varimp->assigned(); 00102 } 00103 forceinline bool 00104 BoolVar::range(void) const { 00105 return varimp->range(); 00106 } 00107 forceinline bool 00108 BoolVar::in(int n) const { 00109 return varimp->in(n); 00110 } 00111 00112 00113 forceinline void 00114 BoolVar::update(Space& home, bool share, BoolVar& x) { 00115 varimp = x.varimp->copy(home,share); 00116 } 00117 00118 forceinline bool 00119 BoolVar::zero(void) const { 00120 return varimp->zero(); 00121 } 00122 forceinline bool 00123 BoolVar::one(void) const { 00124 return varimp->one(); 00125 } 00126 forceinline bool 00127 BoolVar::none(void) const { 00128 return varimp->none(); 00129 } 00130 00131 } 00132 00133 // STATISTICS: int-var