Linear expressions and relations
[Direct modeling support]

Namespaces
namespace	Gecode
	Gecode toplevel namespace
Functions
LinIntExpr	Gecode::operator+ (int, const IntVar &)
	Construct linear expression as sum of integer variable and integer.
LinIntExpr	Gecode::operator+ (int, const BoolVar &)
	Construct linear expression as sum of Boolean variable and integer.
LinIntExpr	Gecode::operator+ (int, const LinIntExpr &)
	Construct linear expression as sum of linear expression and integer.
LinIntExpr	Gecode::operator+ (const IntVar &, int)
	Construct linear expression as sum of integer variable and integer.
LinIntExpr	Gecode::operator+ (const BoolVar &, int)
	Construct linear expression as sum of Boolean variable and integer.
LinIntExpr	Gecode::operator+ (const LinIntExpr &, int)
	Construct linear expression as sum of linear expression and integer.
LinIntExpr	Gecode::operator+ (const IntVar &, const IntVar &)
	Construct linear expression as sum of integer variables.
LinIntExpr	Gecode::operator+ (const IntVar &, const BoolVar &)
	Construct linear expression as sum of integer and Boolean variable.
LinIntExpr	Gecode::operator+ (const BoolVar &, const IntVar &)
	Construct linear expression as sum of Boolean and integer variable.
LinIntExpr	Gecode::operator+ (const BoolVar &, const BoolVar &)
	Construct linear expression as sum of Boolean variables.
LinIntExpr	Gecode::operator+ (const IntVar &, const LinIntExpr &)
	Construct linear expression as sum of integer variable and linear expression.
LinIntExpr	Gecode::operator+ (const BoolVar &, const LinIntExpr &)
	Construct linear expression as sum of Boolean variable and linear expression.
LinIntExpr	Gecode::operator+ (const LinIntExpr &, const IntVar &)
	Construct linear expression as sum of linear expression and integer variable.
LinIntExpr	Gecode::operator+ (const LinIntExpr &, const BoolVar &)
	Construct linear expression as sum of linear expression and Boolean variable.
LinIntExpr	Gecode::operator+ (const LinIntExpr &, const LinIntExpr &)
	Construct linear expression as sum of linear expressions.
LinIntExpr	Gecode::operator- (int, const IntVar &)
	Construct linear expression as sum of integer variable and integer.
LinIntExpr	Gecode::operator- (int, const BoolVar &)
	Construct linear expression as sum of Boolean variable and integer.
LinIntExpr	Gecode::operator- (int, const LinIntExpr &)
	Construct linear expression as sum of integer and linear expression.
LinIntExpr	Gecode::operator- (const IntVar &, int)
	Construct linear expression as sum of integer variable and integer.
LinIntExpr	Gecode::operator- (const BoolVar &, int)
	Construct linear expression as sum of Boolean variable and integer.
LinIntExpr	Gecode::operator- (const LinIntExpr &, int)
	Construct linear expression as sum of linear expression and integer.
LinIntExpr	Gecode::operator- (const IntVar &, const IntVar &)
	Construct linear expression as sum of integer variables.
LinIntExpr	Gecode::operator- (const IntVar &, const BoolVar &)
	Construct linear expression as sum of integer and Boolean variable.
LinIntExpr	Gecode::operator- (const BoolVar &, const IntVar &)
	Construct linear expression as sum of Boolean and integer variable.
LinIntExpr	Gecode::operator- (const BoolVar &, const BoolVar &)
	Construct linear expression as sum of Boolean variables.
LinIntExpr	Gecode::operator- (const IntVar &, const LinIntExpr &)
	Construct linear expression as sum of integer variable and linear expression.
LinIntExpr	Gecode::operator- (const BoolVar &, const LinIntExpr &)
	Construct linear expression as sum of Boolean variable and linear expression.
LinIntExpr	Gecode::operator- (const LinIntExpr &, const IntVar &)
	Construct linear expression as sum of linear expression and integer variable.
LinIntExpr	Gecode::operator- (const LinIntExpr &, const BoolVar &)
	Construct linear expression as sum of linear expression and Boolean variable.
LinIntExpr	Gecode::operator- (const LinIntExpr &, const LinIntExpr &)
	Construct linear expression as sum of linear expressions.
LinIntExpr	Gecode::operator- (const IntVar &)
	Construct linear expression as negative of integer variable.
LinIntExpr	Gecode::operator- (const BoolVar &)
	Construct linear expression as negative of Boolean variable.
LinIntExpr	Gecode::operator- (const LinIntExpr &)
	Construct linear expression as negative of linear expression.
LinIntExpr	Gecode::operator* (int, const IntVar &)
	Construct linear expression as product of integer coefficient and integer variable.
LinIntExpr	Gecode::operator* (int, const BoolVar &)
	Construct linear expression as product of integer coefficient and Boolean variable.
LinIntExpr	Gecode::operator* (const IntVar &, int)
	Construct linear expression as product of integer coefficient and integer variable.
LinIntExpr	Gecode::operator* (const BoolVar &, int)
	Construct linear expression as product of integer coefficient and Boolean variable.
LinIntExpr	Gecode::operator* (const LinIntExpr &, int)
	Construct linear expression as product of integer coefficient and linear expression.
LinIntExpr	Gecode::operator* (int, const LinIntExpr &)
	Construct linear expression as product of integer coefficient and linear expression.
LinIntExpr	Gecode::sum (const IntVarArgs &x)
	Construct linear expression as sum of integer variables.
LinIntExpr	Gecode::sum (const IntArgs &a, const IntVarArgs &x)
	Construct linear expression as sum of integer variables with coefficients.
LinIntExpr	Gecode::sum (const BoolVarArgs &x)
	Construct linear expression as sum of Boolean variables.
LinIntExpr	Gecode::sum (const IntArgs &a, const BoolVarArgs &x)
	Construct linear expression as sum of Boolean variables with coefficients.
LinIntExpr	Gecode::sum (const IntArgs &args)
	Construct linear expression as sum of IntArgs.
LinIntRel	Gecode::operator== (int l, const IntVar &r)
	Construct linear equality relation.
LinIntRel	Gecode::operator== (int l, const BoolVar &r)
	Construct linear equality relation.
LinIntRel	Gecode::operator== (int l, const LinIntExpr &r)
	Construct linear equality relation.
LinIntRel	Gecode::operator== (const IntVar &l, int r)
	Construct linear equality relation.
LinIntRel	Gecode::operator== (const BoolVar &l, int r)
	Construct linear equality relation.
LinIntRel	Gecode::operator== (const LinIntExpr &l, int r)
	Construct linear equality relation.
LinIntRel	Gecode::operator== (const IntVar &l, const IntVar &r)
	Construct linear equality relation.
LinIntRel	Gecode::operator== (const IntVar &l, const BoolVar &r)
	Construct linear equality relation.
LinIntRel	Gecode::operator== (const BoolVar &l, const IntVar &r)
	Construct linear equality relation.
LinIntRel	Gecode::operator== (const BoolVar &l, const BoolVar &r)
	Construct linear equality relation.
LinIntRel	Gecode::operator== (const IntVar &l, const LinIntExpr &r)
	Construct linear equality relation.
LinIntRel	Gecode::operator== (const BoolVar &l, const LinIntExpr &r)
	Construct linear equality relation.
LinIntRel	Gecode::operator== (const LinIntExpr &l, const IntVar &r)
	Construct linear equality relation.
LinIntRel	Gecode::operator== (const LinIntExpr &l, const BoolVar &r)
	Construct linear equality relation.
LinIntRel	Gecode::operator== (const LinIntExpr &l, const LinIntExpr &r)
	Construct linear equality relation.
LinIntRel	Gecode::operator!= (int l, const IntVar &r)
	Construct linear disequality relation.
LinIntRel	Gecode::operator!= (int l, const BoolVar &r)
	Construct linear disequality relation.
LinIntRel	Gecode::operator!= (int l, const LinIntExpr &r)
	Construct linear disequality relation.
LinIntRel	Gecode::operator!= (const IntVar &l, int r)
	Construct linear disequality relation.
LinIntRel	Gecode::operator!= (const BoolVar &l, int r)
	Construct linear disequality relation.
LinIntRel	Gecode::operator!= (const LinIntExpr &l, int r)
	Construct linear disequality relation.
LinIntRel	Gecode::operator!= (const IntVar &l, const IntVar &r)
	Construct linear disequality relation.
LinIntRel	Gecode::operator!= (const IntVar &l, const BoolVar &r)
	Construct linear disequality relation.
LinIntRel	Gecode::operator!= (const BoolVar &l, const IntVar &r)
	Construct linear disequality relation.
LinIntRel	Gecode::operator!= (const BoolVar &l, const BoolVar &r)
	Construct linear disequality relation.
LinIntRel	Gecode::operator!= (const IntVar &l, const LinIntExpr &r)
	Construct linear disequality relation.
LinIntRel	Gecode::operator!= (const BoolVar &l, const LinIntExpr &r)
	Construct linear disequality relation.
LinIntRel	Gecode::operator!= (const LinIntExpr &l, const IntVar &r)
	Construct linear disequality relation.
LinIntRel	Gecode::operator!= (const LinIntExpr &l, const BoolVar &r)
	Construct linear disequality relation.
LinIntRel	Gecode::operator!= (const LinIntExpr &l, const LinIntExpr &r)
	Construct linear disequality relation.
LinIntRel	Gecode::operator< (int l, const IntVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator< (int l, const BoolVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator< (int l, const LinIntExpr &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator< (const IntVar &l, int r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator< (const BoolVar &l, int r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator< (const LinIntExpr &l, int r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator< (const IntVar &l, const IntVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator< (const IntVar &l, const BoolVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator< (const BoolVar &l, const IntVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator< (const BoolVar &l, const BoolVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator< (const IntVar &l, const LinIntExpr &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator< (const BoolVar &l, const LinIntExpr &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator< (const LinIntExpr &l, const IntVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator< (const LinIntExpr &l, const BoolVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator< (const LinIntExpr &l, const LinIntExpr &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator<= (int l, const IntVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator<= (int l, const BoolVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator<= (int l, const LinIntExpr &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator<= (const IntVar &l, int r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator<= (const BoolVar &l, int r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator<= (const LinIntExpr &l, int r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator<= (const IntVar &l, const IntVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator<= (const IntVar &l, const BoolVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator<= (const BoolVar &l, const IntVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator<= (const BoolVar &l, const BoolVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator<= (const IntVar &l, const LinIntExpr &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator<= (const BoolVar &l, const LinIntExpr &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator<= (const LinIntExpr &l, const IntVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator<= (const LinIntExpr &l, const BoolVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator<= (const LinIntExpr &l, const LinIntExpr &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator> (int l, const IntVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator> (int l, const BoolVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator> (int l, const LinIntExpr &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator> (const IntVar &l, int r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator> (const BoolVar &l, int r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator> (const LinIntExpr &l, int r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator> (const IntVar &l, const IntVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator> (const IntVar &l, const BoolVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator> (const BoolVar &l, const IntVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator> (const BoolVar &l, const BoolVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator> (const IntVar &l, const LinIntExpr &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator> (const BoolVar &l, const LinIntExpr &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator> (const LinIntExpr &l, const IntVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator> (const LinIntExpr &l, const BoolVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator> (const LinIntExpr &l, const LinIntExpr &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator>= (int l, const IntVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator>= (int l, const BoolVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator>= (int l, const LinIntExpr &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator>= (const IntVar &l, int r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator>= (const BoolVar &l, int r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator>= (const LinIntExpr &l, int r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator>= (const IntVar &l, const IntVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator>= (const IntVar &l, const BoolVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator>= (const BoolVar &l, const IntVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator>= (const BoolVar &l, const BoolVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator>= (const IntVar &l, const LinIntExpr &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator>= (const BoolVar &l, const LinIntExpr &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator>= (const LinIntExpr &l, const IntVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator>= (const LinIntExpr &l, const BoolVar &r)
	Construct linear inequality relation.
LinIntRel	Gecode::operator>= (const LinIntExpr &l, const LinIntExpr &r)
	Construct linear inequality relation.

---

Detailed Description

Linear expressions can be freely composed of sums and differences of integer variables (Gecode::IntVar) or Boolean variables (Gecode::BoolVar) possibly with integer coefficients and integer constants.

Note that both integer and Boolean variables are automatically available as linear expressions.

Linear relations are obtained from linear expressions with the normal relation operators.

---

Function Documentation

LinIntExpr Gecode::operator+	(	int	c,
		const IntVar &	x
	)

Construct linear expression as sum of integer variable and integer.

LinIntExpr Gecode::operator+	(	int	c,
		const BoolVar &	x
	)

Construct linear expression as sum of Boolean variable and integer.

LinIntExpr Gecode::operator+	(	int	c,
		const LinIntExpr &	e
	)

Construct linear expression as sum of linear expression and integer.

LinIntExpr Gecode::operator+	(	const IntVar &	x,
		int	c
	)

Construct linear expression as sum of integer variable and integer.

LinIntExpr Gecode::operator+	(	const BoolVar &	x,
		int	c
	)

Construct linear expression as sum of Boolean variable and integer.

LinIntExpr Gecode::operator+	(	const LinIntExpr &	e,
		int	c
	)

Construct linear expression as sum of linear expression and integer.

LinIntExpr Gecode::operator+	(	const IntVar &	x,
		const IntVar &	y
	)

Construct linear expression as sum of integer variables.

LinIntExpr Gecode::operator+	(	const IntVar &	x,
		const BoolVar &	y
	)

Construct linear expression as sum of integer and Boolean variable.

LinIntExpr Gecode::operator+	(	const BoolVar &	x,
		const IntVar &	y
	)

Construct linear expression as sum of Boolean and integer variable.

LinIntExpr Gecode::operator+	(	const BoolVar &	x,
		const BoolVar &	y
	)

Construct linear expression as sum of Boolean variables.

LinIntExpr Gecode::operator+	(	const IntVar &	x,
		const LinIntExpr &	e
	)

Construct linear expression as sum of integer variable and linear expression.

LinIntExpr Gecode::operator+	(	const BoolVar &	x,
		const LinIntExpr &	e
	)

Construct linear expression as sum of Boolean variable and linear expression.

LinIntExpr Gecode::operator+	(	const LinIntExpr &	e,
		const IntVar &	x
	)

Construct linear expression as sum of linear expression and integer variable.

LinIntExpr Gecode::operator+	(	const LinIntExpr &	e,
		const BoolVar &	x
	)

Construct linear expression as sum of linear expression and Boolean variable.

LinIntExpr Gecode::operator+	(	const LinIntExpr &	e1,
		const LinIntExpr &	e2
	)

Construct linear expression as sum of linear expressions.

LinIntExpr Gecode::operator-	(	int	c,
		const IntVar &	x
	)

Construct linear expression as sum of integer variable and integer.

LinIntExpr Gecode::operator-	(	int	c,
		const BoolVar &	x
	)

Construct linear expression as sum of Boolean variable and integer.

LinIntExpr Gecode::operator-	(	int	c,
		const LinIntExpr &	e
	)

Construct linear expression as sum of integer and linear expression.

LinIntExpr Gecode::operator-	(	const IntVar &	x,
		int	c
	)

Construct linear expression as sum of integer variable and integer.

LinIntExpr Gecode::operator-	(	const BoolVar &	x,
		int	c
	)

Construct linear expression as sum of Boolean variable and integer.

LinIntExpr Gecode::operator-	(	const LinIntExpr &	e,
		int	c
	)

Construct linear expression as sum of linear expression and integer.

LinIntExpr Gecode::operator-	(	const IntVar &	x,
		const IntVar &	y
	)

Construct linear expression as sum of integer variables.

LinIntExpr Gecode::operator-	(	const IntVar &	x,
		const BoolVar &	y
	)

Construct linear expression as sum of integer and Boolean variable.

LinIntExpr Gecode::operator-	(	const BoolVar &	x,
		const IntVar &	y
	)

Construct linear expression as sum of Boolean and integer variable.

LinIntExpr Gecode::operator-	(	const BoolVar &	x,
		const BoolVar &	y
	)

Construct linear expression as sum of Boolean variables.

LinIntExpr Gecode::operator-	(	const IntVar &	x,
		const LinIntExpr &	e
	)

Construct linear expression as sum of integer variable and linear expression.

LinIntExpr Gecode::operator-	(	const BoolVar &	x,
		const LinIntExpr &	e
	)

Construct linear expression as sum of Boolean variable and linear expression.

LinIntExpr Gecode::operator-	(	const LinIntExpr &	e,
		const IntVar &	x
	)

Construct linear expression as sum of linear expression and integer variable.

LinIntExpr Gecode::operator-	(	const LinIntExpr &	e,
		const BoolVar &	x
	)

Construct linear expression as sum of linear expression and Boolean variable.

LinIntExpr Gecode::operator-	(	const LinIntExpr &	e1,
		const LinIntExpr &	e2
	)

Construct linear expression as sum of linear expressions.

LinIntExpr Gecode::operator-

(

const IntVar &

x

)

Construct linear expression as negative of integer variable.

LinIntExpr Gecode::operator-

(

const BoolVar &

x

)

Construct linear expression as negative of Boolean variable.

LinIntExpr Gecode::operator-

(

const LinIntExpr &

e

)

Construct linear expression as negative of linear expression.

LinIntExpr Gecode::operator*	(	int	a,
		const IntVar &	x
	)

Construct linear expression as product of integer coefficient and integer variable.

LinIntExpr Gecode::operator*	(	int	a,
		const BoolVar &	x
	)

Construct linear expression as product of integer coefficient and Boolean variable.

LinIntExpr Gecode::operator*	(	const IntVar &	x,
		int	a
	)

Construct linear expression as product of integer coefficient and integer variable.

LinIntExpr Gecode::operator*	(	const BoolVar &	x,
		int	a
	)

Construct linear expression as product of integer coefficient and Boolean variable.

LinIntExpr Gecode::operator*	(	const LinIntExpr &	e,
		int	a
	)

Construct linear expression as product of integer coefficient and linear expression.

LinIntExpr Gecode::operator*	(	int	a,
		const LinIntExpr &	e
	)

Construct linear expression as product of integer coefficient and linear expression.

LinIntExpr Gecode::sum

(

const IntVarArgs &

x

)

Construct linear expression as sum of integer variables.

LinIntExpr Gecode::sum	(	const IntArgs &	a,
		const IntVarArgs &	x
	)

Construct linear expression as sum of integer variables with coefficients.

LinIntExpr Gecode::sum

(

const BoolVarArgs &

x

)

Construct linear expression as sum of Boolean variables.

LinIntExpr Gecode::sum	(	const IntArgs &	a,
		const BoolVarArgs &	x
	)

Construct linear expression as sum of Boolean variables with coefficients.

LinIntExpr Gecode::sum

(

const IntArgs &

args

)

Construct linear expression as sum of IntArgs.

LinIntRel Gecode::operator==	(	int	l,
		const IntVar &	r
	)

Construct linear equality relation.

LinIntRel Gecode::operator==	(	int	l,
		const BoolVar &	r
	)

Construct linear equality relation.

LinIntRel Gecode::operator==	(	int	l,
		const LinIntExpr &	r
	)

Construct linear equality relation.

LinIntRel Gecode::operator==	(	const IntVar &	l,
		int	r
	)

Construct linear equality relation.

LinIntRel Gecode::operator==	(	const BoolVar &	l,
		int	r
	)

Construct linear equality relation.

LinIntRel Gecode::operator==	(	const LinIntExpr &	l,
		int	r
	)

Construct linear equality relation.

LinIntRel Gecode::operator==	(	const IntVar &	l,
		const IntVar &	r
	)

Construct linear equality relation.

LinIntRel Gecode::operator==	(	const IntVar &	l,
		const BoolVar &	r
	)

Construct linear equality relation.

LinIntRel Gecode::operator==	(	const BoolVar &	l,
		const IntVar &	r
	)

Construct linear equality relation.

LinIntRel Gecode::operator==	(	const BoolVar &	l,
		const BoolVar &	r
	)

Construct linear equality relation.

LinIntRel Gecode::operator==	(	const IntVar &	l,
		const LinIntExpr &	r
	)

Construct linear equality relation.

LinIntRel Gecode::operator==	(	const BoolVar &	l,
		const LinIntExpr &	r
	)

Construct linear equality relation.

LinIntRel Gecode::operator==	(	const LinIntExpr &	l,
		const IntVar &	r
	)

Construct linear equality relation.

LinIntRel Gecode::operator==	(	const LinIntExpr &	l,
		const BoolVar &	r
	)

Construct linear equality relation.

LinIntRel Gecode::operator==	(	const LinIntExpr &	l,
		const LinIntExpr &	r
	)

Construct linear equality relation.

LinIntRel Gecode::operator!=	(	int	l,
		const IntVar &	r
	)

Construct linear disequality relation.

LinIntRel Gecode::operator!=	(	int	l,
		const BoolVar &	r
	)

Construct linear disequality relation.

LinIntRel Gecode::operator!=	(	int	l,
		const LinIntExpr &	r
	)

Construct linear disequality relation.

LinIntRel Gecode::operator!=	(	const IntVar &	l,
		int	r
	)

Construct linear disequality relation.

LinIntRel Gecode::operator!=	(	const BoolVar &	l,
		int	r
	)

Construct linear disequality relation.

LinIntRel Gecode::operator!=	(	const LinIntExpr &	l,
		int	r
	)

Construct linear disequality relation.

LinIntRel Gecode::operator!=	(	const IntVar &	l,
		const IntVar &	r
	)

Construct linear disequality relation.

LinIntRel Gecode::operator!=	(	const IntVar &	l,
		const BoolVar &	r
	)

Construct linear disequality relation.

LinIntRel Gecode::operator!=	(	const BoolVar &	l,
		const IntVar &	r
	)

Construct linear disequality relation.

LinIntRel Gecode::operator!=	(	const BoolVar &	l,
		const BoolVar &	r
	)

Construct linear disequality relation.

LinIntRel Gecode::operator!=	(	const IntVar &	l,
		const LinIntExpr &	r
	)

Construct linear disequality relation.

LinIntRel Gecode::operator!=	(	const BoolVar &	l,
		const LinIntExpr &	r
	)

Construct linear disequality relation.

LinIntRel Gecode::operator!=	(	const LinIntExpr &	l,
		const IntVar &	r
	)

Construct linear disequality relation.

LinIntRel Gecode::operator!=	(	const LinIntExpr &	l,
		const BoolVar &	r
	)

Construct linear disequality relation.

LinIntRel Gecode::operator!=	(	const LinIntExpr &	l,
		const LinIntExpr &	r
	)

Construct linear disequality relation.

LinIntRel Gecode::operator<	(	int	l,
		const IntVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<	(	int	l,
		const BoolVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<	(	int	l,
		const LinIntExpr &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<	(	const IntVar &	l,
		int	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<	(	const BoolVar &	l,
		int	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<	(	const LinIntExpr &	l,
		int	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<	(	const IntVar &	l,
		const IntVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<	(	const IntVar &	l,
		const BoolVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<	(	const BoolVar &	l,
		const IntVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<	(	const BoolVar &	l,
		const BoolVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<	(	const IntVar &	l,
		const LinIntExpr &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<	(	const BoolVar &	l,
		const LinIntExpr &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<	(	const LinIntExpr &	l,
		const IntVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<	(	const LinIntExpr &	l,
		const BoolVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<	(	const LinIntExpr &	l,
		const LinIntExpr &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<=	(	int	l,
		const IntVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<=	(	int	l,
		const BoolVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<=	(	int	l,
		const LinIntExpr &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<=	(	const IntVar &	l,
		int	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<=	(	const BoolVar &	l,
		int	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<=	(	const LinIntExpr &	l,
		int	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<=	(	const IntVar &	l,
		const IntVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<=	(	const IntVar &	l,
		const BoolVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<=	(	const BoolVar &	l,
		const IntVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<=	(	const BoolVar &	l,
		const BoolVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<=	(	const IntVar &	l,
		const LinIntExpr &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<=	(	const BoolVar &	l,
		const LinIntExpr &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<=	(	const LinIntExpr &	l,
		const IntVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<=	(	const LinIntExpr &	l,
		const BoolVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator<=	(	const LinIntExpr &	l,
		const LinIntExpr &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>	(	int	l,
		const IntVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>	(	int	l,
		const BoolVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>	(	int	l,
		const LinIntExpr &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>	(	const IntVar &	l,
		int	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>	(	const BoolVar &	l,
		int	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>	(	const LinIntExpr &	l,
		int	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>	(	const IntVar &	l,
		const IntVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>	(	const IntVar &	l,
		const BoolVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>	(	const BoolVar &	l,
		const IntVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>	(	const BoolVar &	l,
		const BoolVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>	(	const IntVar &	l,
		const LinIntExpr &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>	(	const BoolVar &	l,
		const LinIntExpr &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>	(	const LinIntExpr &	l,
		const IntVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>	(	const LinIntExpr &	l,
		const BoolVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>	(	const LinIntExpr &	l,
		const LinIntExpr &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>=	(	int	l,
		const IntVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>=	(	int	l,
		const BoolVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>=	(	int	l,
		const LinIntExpr &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>=	(	const IntVar &	l,
		int	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>=	(	const BoolVar &	l,
		int	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>=	(	const LinIntExpr &	l,
		int	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>=	(	const IntVar &	l,
		const IntVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>=	(	const IntVar &	l,
		const BoolVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>=	(	const BoolVar &	l,
		const IntVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>=	(	const BoolVar &	l,
		const BoolVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>=	(	const IntVar &	l,
		const LinIntExpr &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>=	(	const BoolVar &	l,
		const LinIntExpr &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>=	(	const LinIntExpr &	l,
		const IntVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>=	(	const LinIntExpr &	l,
		const BoolVar &	r
	)

Construct linear inequality relation.

LinIntRel Gecode::operator>=	(	const LinIntExpr &	l,
		const LinIntExpr &	r
	)

Construct linear inequality relation.