44 #ifndef __GECODE_INT_REL_HH__
45 #define __GECODE_INT_REL_HH__
54 namespace Gecode {
namespace Int {
namespace Rel {
70 template<
class View0,
class View1>
106 template<
class View0,
class View1>
203 template<
class View,
int o>
243 static void*
operator new(
size_t s,
Space& home);
245 static void operator delete(
void*
p);
247 static void operator delete(
void*
p,
Space& home);
253 bool empty(
void)
const;
317 template<
class View,
class CtrlView>
343 template<
class View,
class CtrlView>
369 template<
class View,
class CtrlView>
396 template<
class View,
class CtrlView>
521 template<
class View,
class CtrlView>
548 template<
class View,
class CtrlView>