40 namespace Gecode {
namespace Set {
49 : DerivedView<View>(y) {}
66 return x.unknownSize();
91 CachedView<View>::lubMin(
void)
const {
97 CachedView<View>::lubMax(
void)
const {
103 CachedView<View>::glbMin(
void)
const {
109 CachedView<View>::glbMax(
void)
const {
116 return x.cardMin(home,m);
122 return x.cardMax(home,m);
128 return x.include(home,i);
134 return x.exclude(home,i);
140 return x.intersect(home,i);
146 return x.intersect(home,i,j);
152 return x.include(home,i,j);
158 return x.exclude(home,i,j);
164 return x.excludeI(home,iter);
170 return x.includeI(home,iter);
176 return x.intersectI(home,iter);
183 x.subscribe(home,p,pc,schedule);
207 return View::schedule(home,p,me);
212 return View::me(med);
218 return View::med(me);
229 return View::modevent(d);
271 lubCache.update(home,y.lubCache);
272 glbCache.update(home,y.glbCache);
286 glbCache.includeI(home,gr);
289 lubCache.intersectI(home,lr);
296 glbCache.includeI(home,gr);
303 lubCache.intersectI(home,lr);
309 return glbCache.
size() != glbSize();
315 return lubCache.
size() != lubSize();
376 template<
class Char,
class Traits,
class View>
377 std::basic_ostream<Char,Traits>&
378 operator <<(std::basic_ostream<Char,Traits>& os,
380 return os <<
x.base();
386 : gr(x.base()), cr(x.glbCache) {
393 : cr(x.lubCache), lr(x.base()) {