41 namespace Gecode {
namespace Set {
43 template<
class View0,
class View1>
46 using namespace Set::Rel;
47 using namespace Set::RelOp;
66 ::
post(home, x0, x1, emptyset)));
73 ::
post(home, cx0, x1)));
93 template<
class View0,
class View1, ReifyMode rm>
96 using namespace Set::Rel;
97 using namespace Set::RelOp;
173 rel_post<SetView,SetView>(home,
x,
r,
y);
181 rel_post<SetView,SingletonView>(home,s,
r,xv);
204 rel_re<SetView,SetView,RM_EQV>(home,
x,rt,
y,
r.var());
207 rel_re<SetView,SetView,RM_IMP>(home,
x,rt,
y,
r.var());
210 rel_re<SetView,SetView,RM_PMI>(home,
x,rt,
y,
r.var());
223 rel_re<SetView,SingletonView,RM_EQV>(home,s,rt,xsingle,
r.var());
226 rel_re<SetView,SingletonView,RM_IMP>(home,s,rt,xsingle,
r.var());
229 rel_re<SetView,SingletonView,RM_PMI>(home,s,rt,xsingle,
r.var());
246 rel(home, s, rt,
x,
r);