42 #ifndef __GECODE_INT_LINEAR_HH__
43 #define __GECODE_INT_LINEAR_HH__
52 namespace Gecode {
namespace Int {
namespace Linear {
68 template<
class Val,
class A,
class B, PropCond pc>
99 template<
class Val,
class A,
class B, PropCond pc,
class Ctrl>
133 template<
class Val,
class A,
class B>
167 template<
class Val,
class A,
class B,
class Ctrl, ReifyMode rm>
200 template<
class Val,
class A,
class B>
236 template<
class Val,
class A,
class B>
270 template<
class Val,
class A,
class B>
304 template<
class Val,
class A,
class B, ReifyMode rm>
329 namespace Gecode {
namespace Int {
namespace Linear {
345 template<
class Val,
class A,
class B,
class C, PropCond pc>
381 template<
class Val,
class A,
class B,
class C>
416 template<
class Val,
class A,
class B,
class C>
451 template<
class Val,
class A,
class B,
class C>
478 namespace Gecode {
namespace Int {
namespace Linear {
494 template<
class Val,
class P,
class N, PropCond pc>
524 template<
class Val,
class P,
class N, PropCond pc,
class Ctrl>
543 template<
class Val,
class View>
545 Val&
c, Val& sl, Val& su);
552 template<
class Val,
class View>
554 Val&
c, Val& sl, Val& su);
568 template<
class Val,
class P,
class N>
569 class Eq :
public Lin<Val,P,N,PC_INT_BND> {
599 template<
class Val,
class View>
601 :
public Lin<Val,View,View,PC_INT_DOM> {
640 template<
class Val,
class P,
class N,
class Ctrl, ReifyMode rm>
674 template<
class Val,
class P,
class N>
675 class Nq :
public Lin<Val,P,N,PC_INT_VAL> {
707 template<
class Val,
class P,
class N>
708 class Lq :
public Lin<Val,P,N,PC_INT_BND> {
740 template<
class Val,
class P,
class N, ReifyMode rm>
741 class ReLq :
public ReLin<Val,P,N,PC_INT_BND,BoolView> {
767 namespace Gecode {
namespace Int {
namespace Linear {
901 template<
class VX,
class VB>
940 template<
class VX,
class VB, ReifyMode rm>
970 template<
class VX,
class VB, ReifyMode rm>
998 namespace Gecode {
namespace Int {
namespace Linear {
1004 template<
class XV,
class YV>
1031 template<
class XV,
class YV>
1057 template<
class XV,
class YV>
1083 template<
class XV,
class YV>
1107 namespace Gecode {
namespace Int {
namespace Linear {
1145 bool empty(
void)
const;
1147 int size(
void)
const;
1183 bool empty(
void)
const;
1185 int size(
void)
const;
1195 template<
class SBAP,
class SBAN,
class VX, PropCond pcx>
1211 SBAP&
p, SBAN&
n, VX
x,
int c);
1224 template<
class SBAP,
class SBAN,
class VX>
1236 SBAP& p, SBAN& n, VX x,
int c);
1251 template<
class SBAP,
class SBAN,
class VX>
1263 SBAP& p, SBAN& n, VX x,
int c);
1278 template<
class SBAP,
class SBAN,
class VX>
1290 SBAP& p, SBAN& n, VX x,
int c);
1303 namespace Gecode {
namespace Int {
namespace Linear {
1309 template<
class View>
1332 template<
class View>