47 using namespace Set::Rel;
48 using namespace Set::RelOp;
50 template<
class View0,
class View1>
83 ::
post(home, x0, x1, emptyset)));
91 ::
post(home, cx0, x1)));
111 template<
class View0,
class View1>
114 if (home.
failed())
return;
150 ::
post(home, y, xc, b)));
158 ::
post(home, xc, y, b)));
180 rel_post<SetView,SetView>(home,x,
r,y);
187 rel_post<SetView,SingletonView>(home,s,
r,xv);
206 rel_re<SetView,SetView>(home,x,
r,y,
b);
213 rel_re<SetView,SingletonView>(home,s,
r,xsingle,
b);
226 rel(home, s, r, x, b);