45 namespace Gecode {
namespace Set {
47 template<
class View0,
class View1>
50 using namespace Set::Rel;
51 using namespace Set::RelOp;
70 ::
post(home, x0, x1, emptyset)));
77 ::
post(home, cx0, x1)));
97 template<
class View0,
class View1, ReifyMode rm>
100 using namespace Set::Rel;
101 using namespace Set::RelOp;
177 rel_post<SetView,SetView>(home,
x,
r,
y);
185 rel_post<SetView,SingletonView>(home,s,
r,xv);
208 rel_re<SetView,SetView,RM_EQV>(home,
x,rt,
y,
r.var());
211 rel_re<SetView,SetView,RM_IMP>(home,
x,rt,
y,
r.var());
214 rel_re<SetView,SetView,RM_PMI>(home,
x,rt,
y,
r.var());
227 rel_re<SetView,SingletonView,RM_EQV>(home,s,rt,xsingle,
r.var());
230 rel_re<SetView,SingletonView,RM_IMP>(home,s,rt,xsingle,
r.var());
233 rel_re<SetView,SingletonView,RM_PMI>(home,s,rt,xsingle,
r.var());
250 rel(home, s, rt,
x,
r);