44 #ifndef __GECODE_SET_REL_HH__
45 #define __GECODE_SET_REL_HH__
49 namespace Gecode {
namespace Set {
namespace Rel {
63 template<
class View0,
class View1>
89 template<
class View0,
class View1>
114 template<
class View0,
class View1, ReifyMode rm>
145 template<
class View0,
class View1>
153 Eq(
Home home,View0, View1);
169 template<
class View0,
class View1,
class CtrlView, ReifyMode rm>
179 ReEq(
Home home,View0, View1, CtrlView);
202 template<
class View0,
class View1,
bool strict=false>
210 Lq(
Home home,View0, View1);
228 template<
class View0,
class View1, ReifyMode rm,
bool strict=false>
260 template<
class View0,
class View1>
289 template<
class View0>