Linear expressions and relations
[Direct modeling support]

Functions
LinExpr	Gecode::operator+ (int, const IntVar &)
	Construct linear expression as sum of integer variable and integer.
LinExpr	Gecode::operator+ (int, const BoolVar &)
	Construct linear expression as sum of Boolean variable and integer.
LinExpr	Gecode::operator+ (int, const LinExpr &)
	Construct linear expression as sum of linear expression and integer.
LinExpr	Gecode::operator+ (const IntVar &, int)
	Construct linear expression as sum of integer variable and integer.
LinExpr	Gecode::operator+ (const BoolVar &, int)
	Construct linear expression as sum of Boolean variable and integer.
LinExpr	Gecode::operator+ (const LinExpr &, int)
	Construct linear expression as sum of linear expression and integer.
LinExpr	Gecode::operator+ (const IntVar &, const IntVar &)
	Construct linear expression as sum of integer variables.
LinExpr	Gecode::operator+ (const IntVar &, const BoolVar &)
	Construct linear expression as sum of integer and Boolean variable.
LinExpr	Gecode::operator+ (const BoolVar &, const IntVar &)
	Construct linear expression as sum of Boolean and integer variable.
LinExpr	Gecode::operator+ (const BoolVar &, const BoolVar &)
	Construct linear expression as sum of Boolean variables.
LinExpr	Gecode::operator+ (const IntVar &, const LinExpr &)
	Construct linear expression as sum of integer variable and linear expression.
LinExpr	Gecode::operator+ (const BoolVar &, const LinExpr &)
	Construct linear expression as sum of Boolean variable and linear expression.
LinExpr	Gecode::operator+ (const LinExpr &, const IntVar &)
	Construct linear expression as sum of linear expression and integer variable.
LinExpr	Gecode::operator+ (const LinExpr &, const BoolVar &)
	Construct linear expression as sum of linear expression and Boolean variable.
LinExpr	Gecode::operator+ (const LinExpr &, const LinExpr &)
	Construct linear expression as sum of linear expressions.
LinExpr	Gecode::operator- (int, const IntVar &)
	Construct linear expression as sum of integer variable and integer.
LinExpr	Gecode::operator- (int, const BoolVar &)
	Construct linear expression as sum of Boolean variable and integer.
LinExpr	Gecode::operator- (int, const LinExpr &)
	Construct linear expression as sum of integer and linear expression.
LinExpr	Gecode::operator- (const IntVar &, int)
	Construct linear expression as sum of integer variable and integer.
LinExpr	Gecode::operator- (const BoolVar &, int)
	Construct linear expression as sum of Boolean variable and integer.
LinExpr	Gecode::operator- (const LinExpr &, int)
	Construct linear expression as sum of linear expression and integer.
LinExpr	Gecode::operator- (const IntVar &, const IntVar &)
	Construct linear expression as sum of integer variables.
LinExpr	Gecode::operator- (const IntVar &, const BoolVar &)
	Construct linear expression as sum of integer and Boolean variable.
LinExpr	Gecode::operator- (const BoolVar &, const IntVar &)
	Construct linear expression as sum of Boolean and integer variable.
LinExpr	Gecode::operator- (const BoolVar &, const BoolVar &)
	Construct linear expression as sum of Boolean variables.
LinExpr	Gecode::operator- (const IntVar &, const LinExpr &)
	Construct linear expression as sum of integer variable and linear expression.
LinExpr	Gecode::operator- (const BoolVar &, const LinExpr &)
	Construct linear expression as sum of Boolean variable and linear expression.
LinExpr	Gecode::operator- (const LinExpr &, const IntVar &)
	Construct linear expression as sum of linear expression and integer variable.
LinExpr	Gecode::operator- (const LinExpr &, const BoolVar &)
	Construct linear expression as sum of linear expression and Boolean variable.
LinExpr	Gecode::operator- (const LinExpr &, const LinExpr &)
	Construct linear expression as sum of linear expressions.
LinExpr	Gecode::operator- (const IntVar &)
	Construct linear expression as negative of integer variable.
LinExpr	Gecode::operator- (const BoolVar &)
	Construct linear expression as negative of Boolean variable.
LinExpr	Gecode::operator- (const LinExpr &)
	Construct linear expression as negative of linear expression.
LinExpr	Gecode::operator* (int, const IntVar &)
	Construct linear expression as product of integer coefficient and integer variable.
LinExpr	Gecode::operator* (int, const BoolVar &)
	Construct linear expression as product of integer coefficient and Boolean variable.
LinExpr	Gecode::operator* (const IntVar &, int)
	Construct linear expression as product of integer coefficient and integer variable.
LinExpr	Gecode::operator* (const BoolVar &, int)
	Construct linear expression as product of integer coefficient and Boolean variable.
LinExpr	Gecode::operator* (const LinExpr &, int)
	Construct linear expression as product of integer coefficient and linear expression.
LinExpr	Gecode::operator* (int, const LinExpr &)
	Construct linear expression as product of integer coefficient and linear expression.
LinExpr	Gecode::sum (const IntVarArgs &x)
	Construct linear expression as sum of integer variables.
LinExpr	Gecode::sum (const IntArgs &a, const IntVarArgs &x)
	Construct linear expression as sum of integer variables with coefficients.
LinExpr	Gecode::sum (const BoolVarArgs &x)
	Construct linear expression as sum of Boolean variables.
LinExpr	Gecode::sum (const IntArgs &a, const BoolVarArgs &x)
	Construct linear expression as sum of Boolean variables with coefficients.
LinRel	Gecode::operator== (int l, const IntVar &r)
	Construct linear equality relation.
LinRel	Gecode::operator== (int l, const BoolVar &r)
	Construct linear equality relation.
LinRel	Gecode::operator== (int l, const LinExpr &r)
	Construct linear equality relation.
LinRel	Gecode::operator== (const IntVar &l, int r)
	Construct linear equality relation.
LinRel	Gecode::operator== (const BoolVar &l, int r)
	Construct linear equality relation.
LinRel	Gecode::operator== (const LinExpr &l, int r)
	Construct linear equality relation.
LinRel	Gecode::operator== (const IntVar &l, const IntVar &r)
	Construct linear equality relation.
LinRel	Gecode::operator== (const IntVar &l, const BoolVar &r)
	Construct linear equality relation.
LinRel	Gecode::operator== (const BoolVar &l, const IntVar &r)
	Construct linear equality relation.
LinRel	Gecode::operator== (const BoolVar &l, const BoolVar &r)
	Construct linear equality relation.
LinRel	Gecode::operator== (const IntVar &l, const LinExpr &r)
	Construct linear equality relation.
LinRel	Gecode::operator== (const BoolVar &l, const LinExpr &r)
	Construct linear equality relation.
LinRel	Gecode::operator== (const LinExpr &l, const IntVar &r)
	Construct linear equality relation.
LinRel	Gecode::operator== (const LinExpr &l, const BoolVar &r)
	Construct linear equality relation.
LinRel	Gecode::operator== (const LinExpr &l, const LinExpr &r)
	Construct linear equality relation.
LinRel	Gecode::operator!= (int l, const IntVar &r)
	Construct linear disequality relation.
LinRel	Gecode::operator!= (int l, const BoolVar &r)
	Construct linear disequality relation.
LinRel	Gecode::operator!= (int l, const LinExpr &r)
	Construct linear disequality relation.
LinRel	Gecode::operator!= (const IntVar &l, int r)
	Construct linear disequality relation.
LinRel	Gecode::operator!= (const BoolVar &l, int r)
	Construct linear disequality relation.
LinRel	Gecode::operator!= (const LinExpr &l, int r)
	Construct linear disequality relation.
LinRel	Gecode::operator!= (const IntVar &l, const IntVar &r)
	Construct linear disequality relation.
LinRel	Gecode::operator!= (const IntVar &l, const BoolVar &r)
	Construct linear disequality relation.
LinRel	Gecode::operator!= (const BoolVar &l, const IntVar &r)
	Construct linear disequality relation.
LinRel	Gecode::operator!= (const BoolVar &l, const BoolVar &r)
	Construct linear disequality relation.
LinRel	Gecode::operator!= (const IntVar &l, const LinExpr &r)
	Construct linear disequality relation.
LinRel	Gecode::operator!= (const BoolVar &l, const LinExpr &r)
	Construct linear disequality relation.
LinRel	Gecode::operator!= (const LinExpr &l, const IntVar &r)
	Construct linear disequality relation.
LinRel	Gecode::operator!= (const LinExpr &l, const BoolVar &r)
	Construct linear disequality relation.
LinRel	Gecode::operator!= (const LinExpr &l, const LinExpr &r)
	Construct linear disequality relation.
LinRel	Gecode::operator< (int l, const IntVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator< (int l, const BoolVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator< (int l, const LinExpr &r)
	Construct linear inequality relation.
LinRel	Gecode::operator< (const IntVar &l, int r)
	Construct linear inequality relation.
LinRel	Gecode::operator< (const BoolVar &l, int r)
	Construct linear inequality relation.
LinRel	Gecode::operator< (const LinExpr &l, int r)
	Construct linear inequality relation.
LinRel	Gecode::operator< (const IntVar &l, const IntVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator< (const IntVar &l, const BoolVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator< (const BoolVar &l, const IntVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator< (const BoolVar &l, const BoolVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator< (const IntVar &l, const LinExpr &r)
	Construct linear inequality relation.
LinRel	Gecode::operator< (const BoolVar &l, const LinExpr &r)
	Construct linear inequality relation.
LinRel	Gecode::operator< (const LinExpr &l, const IntVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator< (const LinExpr &l, const BoolVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator< (const LinExpr &l, const LinExpr &r)
	Construct linear inequality relation.
LinRel	Gecode::operator<= (int l, const IntVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator<= (int l, const BoolVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator<= (int l, const LinExpr &r)
	Construct linear inequality relation.
LinRel	Gecode::operator<= (const IntVar &l, int r)
	Construct linear inequality relation.
LinRel	Gecode::operator<= (const BoolVar &l, int r)
	Construct linear inequality relation.
LinRel	Gecode::operator<= (const LinExpr &l, int r)
	Construct linear inequality relation.
LinRel	Gecode::operator<= (const IntVar &l, const IntVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator<= (const IntVar &l, const BoolVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator<= (const BoolVar &l, const IntVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator<= (const BoolVar &l, const BoolVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator<= (const IntVar &l, const LinExpr &r)
	Construct linear inequality relation.
LinRel	Gecode::operator<= (const BoolVar &l, const LinExpr &r)
	Construct linear inequality relation.
LinRel	Gecode::operator<= (const LinExpr &l, const IntVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator<= (const LinExpr &l, const BoolVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator<= (const LinExpr &l, const LinExpr &r)
	Construct linear inequality relation.
LinRel	Gecode::operator> (int l, const IntVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator> (int l, const BoolVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator> (int l, const LinExpr &r)
	Construct linear inequality relation.
LinRel	Gecode::operator> (const IntVar &l, int r)
	Construct linear inequality relation.
LinRel	Gecode::operator> (const BoolVar &l, int r)
	Construct linear inequality relation.
LinRel	Gecode::operator> (const LinExpr &l, int r)
	Construct linear inequality relation.
LinRel	Gecode::operator> (const IntVar &l, const IntVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator> (const IntVar &l, const BoolVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator> (const BoolVar &l, const IntVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator> (const BoolVar &l, const BoolVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator> (const IntVar &l, const LinExpr &r)
	Construct linear inequality relation.
LinRel	Gecode::operator> (const BoolVar &l, const LinExpr &r)
	Construct linear inequality relation.
LinRel	Gecode::operator> (const LinExpr &l, const IntVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator> (const LinExpr &l, const BoolVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator> (const LinExpr &l, const LinExpr &r)
	Construct linear inequality relation.
LinRel	Gecode::operator>= (int l, const IntVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator>= (int l, const BoolVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator>= (int l, const LinExpr &r)
	Construct linear inequality relation.
LinRel	Gecode::operator>= (const IntVar &l, int r)
	Construct linear inequality relation.
LinRel	Gecode::operator>= (const BoolVar &l, int r)
	Construct linear inequality relation.
LinRel	Gecode::operator>= (const LinExpr &l, int r)
	Construct linear inequality relation.
LinRel	Gecode::operator>= (const IntVar &l, const IntVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator>= (const IntVar &l, const BoolVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator>= (const BoolVar &l, const IntVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator>= (const BoolVar &l, const BoolVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator>= (const IntVar &l, const LinExpr &r)
	Construct linear inequality relation.
LinRel	Gecode::operator>= (const BoolVar &l, const LinExpr &r)
	Construct linear inequality relation.
LinRel	Gecode::operator>= (const LinExpr &l, const IntVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator>= (const LinExpr &l, const BoolVar &r)
	Construct linear inequality relation.
LinRel	Gecode::operator>= (const LinExpr &l, const LinExpr &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

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

Construct linear expression as sum of integer variable and integer.

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

Construct linear expression as sum of Boolean variable and integer.

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

Construct linear expression as sum of linear expression and integer.

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

Construct linear expression as sum of integer variable and integer.

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

Construct linear expression as sum of Boolean variable and integer.

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

Construct linear expression as sum of linear expression and integer.

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

Construct linear expression as sum of integer variables.

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

Construct linear expression as sum of integer and Boolean variable.

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

Construct linear expression as sum of Boolean and integer variable.

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

Construct linear expression as sum of Boolean variables.

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

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

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

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

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

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

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

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

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

Construct linear expression as sum of linear expressions.

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

Construct linear expression as sum of integer variable and integer.

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

Construct linear expression as sum of Boolean variable and integer.

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

Construct linear expression as sum of integer and linear expression.

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

Construct linear expression as sum of integer variable and integer.

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

Construct linear expression as sum of Boolean variable and integer.

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

Construct linear expression as sum of linear expression and integer.

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

Construct linear expression as sum of integer variables.

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

Construct linear expression as sum of integer and Boolean variable.

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

Construct linear expression as sum of Boolean and integer variable.

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

Construct linear expression as sum of Boolean variables.

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

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

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

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

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

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

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

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

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

Construct linear expression as sum of linear expressions.

LinExpr Gecode::operator-

(

const IntVar &

x

)

Construct linear expression as negative of integer variable.

LinExpr Gecode::operator-

(

const BoolVar &

x

)

Construct linear expression as negative of Boolean variable.

LinExpr Gecode::operator-

(

const LinExpr &

e

)

Construct linear expression as negative of linear expression.

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

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

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

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

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

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

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

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

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

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

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

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

LinExpr Gecode::sum

(

const IntVarArgs &

x

)

Construct linear expression as sum of integer variables.

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

Construct linear expression as sum of integer variables with coefficients.

LinExpr Gecode::sum

(

const BoolVarArgs &

x

)

Construct linear expression as sum of Boolean variables.

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

Construct linear expression as sum of Boolean variables with coefficients.

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

Construct linear equality relation.

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

Construct linear equality relation.

LinRel Gecode::operator==	(	int	l,
		const LinExpr &	r
	)

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear equality relation.

LinRel Gecode::operator==	(	const LinExpr &	l,
		int	r
	)

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear equality relation.

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

Construct linear equality relation.

LinRel Gecode::operator==	(	const LinExpr &	l,
		const LinExpr &	r
	)

Construct linear equality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

LinRel Gecode::operator!=	(	int	l,
		const LinExpr &	r
	)

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

LinRel Gecode::operator!=	(	const LinExpr &	l,
		int	r
	)

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

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

Construct linear disequality relation.

LinRel Gecode::operator!=	(	const LinExpr &	l,
		const LinExpr &	r
	)

Construct linear disequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

LinRel Gecode::operator<	(	int	l,
		const LinExpr &	r
	)

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

LinRel Gecode::operator<	(	const LinExpr &	l,
		int	r
	)

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

LinRel Gecode::operator<	(	const LinExpr &	l,
		const LinExpr &	r
	)

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

LinRel Gecode::operator<=	(	int	l,
		const LinExpr &	r
	)

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

LinRel Gecode::operator<=	(	const LinExpr &	l,
		int	r
	)

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

LinRel Gecode::operator<=	(	const LinExpr &	l,
		const LinExpr &	r
	)

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

LinRel Gecode::operator>	(	int	l,
		const LinExpr &	r
	)

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

LinRel Gecode::operator>	(	const LinExpr &	l,
		int	r
	)

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

LinRel Gecode::operator>	(	const LinExpr &	l,
		const LinExpr &	r
	)

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

LinRel Gecode::operator>=	(	int	l,
		const LinExpr &	r
	)

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

LinRel Gecode::operator>=	(	const LinExpr &	l,
		int	r
	)

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

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

Construct linear inequality relation.

LinRel Gecode::operator>=	(	const LinExpr &	l,
		const LinExpr &	r
	)

Construct linear inequality relation.