cpltset.icc
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038
00039 namespace Gecode {
00040
00041 forceinline
00042 CpltSetVar::CpltSetVar(void) {}
00043
00044 inline void
00045 CpltSetVar::init(Space* home, int glbMin, int glbMax,
00046 int lubMin, int lubMax,
00047 unsigned int cardMin, unsigned int cardMax) {
00048 varimp = new (home) CpltSet::CpltSetVarImp(home,
00049 glbMin, glbMax,
00050 lubMin, lubMax,
00051 cardMin, cardMax);
00052 }
00053
00054
00055 inline void
00056 CpltSetVar::init(Space* home,
00057 int glbMin, int glbMax, const IntSet& lubD,
00058 unsigned int cardMin, unsigned int cardMax) {
00059 varimp = new (home) CpltSet::CpltSetVarImp(home,
00060 glbMin, glbMax,
00061 lubD, cardMin, cardMax);
00062 }
00063
00064 inline void
00065 CpltSetVar::init(Space* home, const IntSet& glbD,
00066 int lubMin, int lubMax,
00067 unsigned int cardMin, unsigned int cardMax) {
00068 varimp = new (home) CpltSet::CpltSetVarImp(home,
00069 glbD, lubMin, lubMax,
00070 cardMin, cardMax);
00071 }
00072
00073 inline void
00074 CpltSetVar::init(Space* home,
00075 const IntSet& glbD, const IntSet& lubD,
00076 unsigned int cardMin, unsigned int cardMax) {
00077 varimp = new (home) CpltSet::CpltSetVarImp(home,
00078 glbD, lubD, cardMin, cardMax);
00079 }
00080
00081 inline void
00082 CpltSetVar::dispose(Space* home) {
00083 varimp->dispose(home);
00084 varimp = NULL;
00085 }
00086
00087 forceinline bool
00088 CpltSetVar::contains(int i) const { return varimp->knownIn(i); }
00089
00090 forceinline bool
00091 CpltSetVar::notContains(int i) const { return varimp->knownOut(i); }
00092
00093 forceinline bool
00094 CpltSetVar::assigned(void) const { return varimp->assigned(); }
00095
00096 forceinline void
00097 CpltSetVar::update(Space* home, bool share, CpltSetVar& x) {
00098 varimp = x.varimp->copy(home,share);
00099 }
00100
00101 forceinline unsigned int
00102 CpltSetVar::cardMin(void) const { return varimp->cardMin(); };
00103
00104 forceinline unsigned int
00105 CpltSetVar::cardMax(void) const { return varimp->cardMax(); };
00106
00107 forceinline int
00108 CpltSetVar::lubMin(void) const { return varimp->lubMin(); };
00109
00110 forceinline int
00111 CpltSetVar::lubMax(void) const{ return varimp->lubMax(); };
00112
00113 forceinline int
00114 CpltSetVar::glbMin(void) const { return varimp->glbMin(); };
00115
00116 forceinline int
00117 CpltSetVar::glbMax(void) const { return varimp->glbMax(); };
00118
00119 forceinline unsigned int
00120 CpltSetVar::glbSize(void) const { return varimp->glbSize(); };
00121
00122 forceinline unsigned int
00123 CpltSetVar::lubSize(void) const { return varimp->lubSize(); };
00124
00125 forceinline unsigned int
00126 CpltSetVar::unknownSize(void) const { return varimp->unknownSize(); };
00127
00128 forceinline
00129 CpltSetVarGlbRanges::CpltSetVarGlbRanges(void) {}
00130
00131 forceinline
00132 CpltSetVarGlbRanges::CpltSetVarGlbRanges(const CpltSetVar& x)
00133 : iter(x.var()) {}
00134
00135 forceinline bool
00136 CpltSetVarGlbRanges::operator()(void) const { return iter(); }
00137
00138 forceinline void
00139 CpltSetVarGlbRanges::operator++(void) { ++iter; }
00140
00141 forceinline int
00142 CpltSetVarGlbRanges::min(void) const { return iter.min(); }
00143
00144 forceinline int
00145 CpltSetVarGlbRanges::max(void) const { return iter.max(); }
00146
00147 forceinline
00148 CpltSetVarGlbValues::CpltSetVarGlbValues(void) {}
00149
00150 forceinline
00151 CpltSetVarGlbValues::CpltSetVarGlbValues(const CpltSetVar& x)
00152 : iter(x.var()) {}
00153
00154 forceinline bool
00155 CpltSetVarGlbValues::operator()(void) const { return iter(); }
00156
00157 forceinline void
00158 CpltSetVarGlbValues::operator++(void) { ++iter; }
00159
00160 forceinline int
00161 CpltSetVarGlbValues::val(void) const { return iter.val(); }
00162
00163 forceinline
00164 CpltSetVarLubRanges::CpltSetVarLubRanges(void) {}
00165
00166 forceinline
00167 CpltSetVarLubRanges::CpltSetVarLubRanges(const CpltSetVar& x)
00168 : iter(x.var()) {}
00169
00170 forceinline bool
00171 CpltSetVarLubRanges::operator()(void) const { return iter(); }
00172
00173 forceinline void
00174 CpltSetVarLubRanges::operator++(void) { ++iter; }
00175
00176 forceinline int
00177 CpltSetVarLubRanges::min(void) const { return iter.min(); }
00178
00179 forceinline int
00180 CpltSetVarLubRanges::max(void) const { return iter.max(); }
00181
00182 forceinline
00183 CpltSetVarLubValues::CpltSetVarLubValues(void) {}
00184
00185 forceinline
00186 CpltSetVarLubValues::CpltSetVarLubValues(const CpltSetVar& x)
00187 : iter(x.var()) {}
00188
00189 forceinline bool
00190 CpltSetVarLubValues::operator()(void) const { return iter(); }
00191
00192 forceinline void
00193 CpltSetVarLubValues::operator++(void) { ++iter; }
00194
00195 forceinline int
00196 CpltSetVarLubValues::val(void) const {return iter.val();}
00197
00198 forceinline
00199 CpltSetVarUnknownRanges::CpltSetVarUnknownRanges(void) {}
00200
00201 forceinline
00202 CpltSetVarUnknownRanges::CpltSetVarUnknownRanges(const CpltSetVar& x)
00203 : iter(x.var()) {}
00204
00205 forceinline bool
00206 CpltSetVarUnknownRanges::operator()(void) const { return iter(); }
00207
00208 forceinline void
00209 CpltSetVarUnknownRanges::operator++(void) { ++iter; }
00210
00211 forceinline int
00212 CpltSetVarUnknownRanges::min(void) const { return iter.min(); }
00213
00214 forceinline int
00215 CpltSetVarUnknownRanges::max(void) const { return iter.max(); }
00216
00217 }
00218
00219