47 using namespace Set::Rel;
48 using namespace Set::RelOp;
50 template<
class View0,
class View1>
71 ::
post(home, x0, x1, emptyset)));
78 ::
post(home, cx0, x1)));
98 template<
class View0,
class View1, ReifyMode rm>
101 if (home.
failed())
return;
105 ::
post(home, x,y,b)));
113 ::
post(home,x,y,notb)));
117 ::
post(home,x,y,notb)));
121 ::
post(home,x,y,notb)));
140 ::
post(home, y, xc, b)));
148 ::
post(home, xc, y, b)));
170 rel_post<SetView,SetView>(home,
x,
r,y);
177 rel_post<SetView,SingletonView>(home,s,
r,xv);
198 rel_re<SetView,SetView,RM_EQV>(home,
x,rt,y,r.
var());
201 rel_re<SetView,SetView,RM_IMP>(home,
x,rt,y,r.
var());
204 rel_re<SetView,SetView,RM_PMI>(home,
x,rt,y,r.
var());
216 rel_re<SetView,SingletonView,RM_EQV>(home,s,rt,xsingle,r.
var());
219 rel_re<SetView,SingletonView,RM_IMP>(home,s,rt,xsingle,r.
var());
222 rel_re<SetView,SingletonView,RM_PMI>(home,s,rt,xsingle,r.
var());
238 rel(home, s, rt, x, r);