45 namespace Gecode {
namespace Set {
namespace RelOp {
47 template<
class View0,
class View1,
class Res>
55 ::
post(home, x0, x1, emptyset)));
62 ::
post(home, x0, x1, x2)));
68 ::
post(home, x0,x1,x2)));
77 ::
post(home,x0,cx1,x2)));
83 template<
class View0,
class View1,
class View2>
91 ::
post(home, x0, x1, emptyset)));
102 ::
post(home, x0, x1, tmp)));
108 ::
post(home, x0,x1,x2)));
117 ::
post(home,x0,cx1,x2)));
124 template<
class View0,
class View1,
class View2>
132 ::
post(home, x0, x1, emptyset)));
139 ::
post(home, x0, x1, x2)));
149 ::
post(home, x0,x1,tmp)));
162 ::
post(home,x0,cx1,tmp)));
190 template<
class View0,
class View1,
class View2>
194 if (home.
failed())
return;
197 rel_eq<View0,View1,View2>(home,
x, op, y, z);
202 rel_eq<View0,View1,SetView>(home,
x, op, y, tmp);
203 rel_op_post_lex<View2>(home,tmp,
r,z);
211 ::
post(home,tmp,z)));
212 rel_eq<View0,View1,SetView>(home,
x, op, y, tmp);
216 rel_sub<View0,View1,View2>(home,
x, op, y, z);
219 rel_sup<View0,View1,View2>(home,
x, op, y, z);
226 ::
post(home, z, tmp, emptyset)));
227 rel_eq<View0,View1,SetView>(home,
x, op, y, tmp);