44 namespace Gecode {
namespace Set {
92 return lubSize() - glbSize();
184 return me_negateset((x.exclude(home, c)));
190 return me_negateset((x.include(home, c)));
198 return me_negateset((x.includeI(home, csi)));
206 return me_negateset((x.includeI(home, csi)));
212 return me_negateset(x.exclude(home,j,k));
218 return me_negateset(x.include(home,j,k));
224 return me_negateset(x.includeI(home,iter));
230 return me_negateset(x.excludeI(home,iter));
237 return me_negateset(x.includeI(home,c));
244 x.subscribe(home,p, pc_negateset(pc),schedule);
250 x.cancel(home,p, pc_negateset(pc));
268 return View::schedule(home,p,me_negateset(me));
273 return me_negateset(View::me(med));
279 return me_negateset(View::med(me));
290 return me_negateset(View::modevent(d));
365 unsigned int width(
void)
const;
372 : lb(s.base()), lbc(lb) {}
472 unsigned int width(
void)
const;
479 : ub(s.base()), ubc(ub) {}
544 template<
class Char,
class Traits,
class View>
545 std::basic_ostream<Char,Traits>&
546 operator <<(std::basic_ostream<Char,Traits>& os,
548 std::basic_ostringstream<Char,Traits> s;
549 s.copyfmt(os); s.width(0);
550 s <<
"(" << x.
base() <<
")^C";
551 return os << s.str();