Linear float expressions and relations
[Direct modeling support]

Functions
LinFloatExpr	Gecode::operator+ (const FloatVal &, const FloatVar &)
	Construct linear float expression as sum of float variable and float.
LinFloatExpr	Gecode::operator+ (const FloatVal &, const LinFloatExpr &)
	Construct linear float expression as sum of linear float expression and float.
LinFloatExpr	Gecode::operator+ (const FloatVar &, const FloatVal &)
	Construct linear float expression as sum of float variable and float.
LinFloatExpr	Gecode::operator+ (const LinFloatExpr &, const FloatVal &)
	Construct linear float expression as sum of linear float expression and float.
LinFloatExpr	Gecode::operator+ (const FloatVar &, const FloatVar &)
	Construct linear float expression as sum of float variables.
LinFloatExpr	Gecode::operator+ (const FloatVar &, const LinFloatExpr &)
	Construct linear float expression as sum of float variable and linear float expression.
LinFloatExpr	Gecode::operator+ (const LinFloatExpr &, const FloatVar &)
	Construct linear float expression as sum of linear float expression and float variable.
LinFloatExpr	Gecode::operator+ (const LinFloatExpr &, const LinFloatExpr &)
	Construct linear float expression as sum of linear float expressions.
LinFloatExpr	Gecode::operator- (const FloatVal &, const FloatVar &)
	Construct linear float expression as sum of float variable and float.
LinFloatExpr	Gecode::operator- (const FloatVal &, const LinFloatExpr &)
	Construct linear float expression as sum of float and linear float expression.
LinFloatExpr	Gecode::operator- (const FloatVar &, const FloatVal &)
	Construct linear float expression as sum of float variable and float.
LinFloatExpr	Gecode::operator- (const LinFloatExpr &, const FloatVal &)
	Construct linear float expression as sum of linear float expression and float.
LinFloatExpr	Gecode::operator- (const FloatVar &, const FloatVar &)
	Construct linear float expression as sum of float variables.
LinFloatExpr	Gecode::operator- (const FloatVar &, const LinFloatExpr &)
	Construct linear float expression as sum of float variable and linear float expression.
LinFloatExpr	Gecode::operator- (const LinFloatExpr &, const FloatVar &)
	Construct linear float expression as sum of linear float expression and float variable.
LinFloatExpr	Gecode::operator- (const LinFloatExpr &, const LinFloatExpr &)
	Construct linear float expression as sum of linear float expressions.
LinFloatExpr	Gecode::operator- (const FloatVar &)
	Construct linear float expression as negative of float variable.
LinFloatExpr	Gecode::operator- (const LinFloatExpr &)
	Construct linear float expression as negative of linear float expression.
LinFloatExpr	Gecode::operator* (const FloatVal &, const FloatVar &)
	Construct linear float expression as product of float coefficient and float variable.
LinFloatExpr	Gecode::operator* (const FloatVar &, const FloatVal &)
	Construct linear float expression as product of float coefficient and float variable.
LinFloatExpr	Gecode::operator* (const LinFloatExpr &, const FloatVal &)
	Construct linear float expression as product of float coefficient and linear float expression.
LinFloatExpr	Gecode::operator* (const FloatVal &, const LinFloatExpr &)
	Construct linear float expression as product of float coefficient and linear float expression.
LinFloatExpr	Gecode::sum (const FloatVarArgs &x)
	Construct linear float expression as sum of float variables.
LinFloatExpr	Gecode::sum (const FloatValArgs &a, const FloatVarArgs &x)
	Construct linear float expression as sum of float variables with coefficients.
LinFloatRel	Gecode::operator== (const FloatVal &l, const FloatVar &r)
	Construct linear float equality relation.
LinFloatRel	Gecode::operator== (const FloatVal &l, const LinFloatExpr &r)
	Construct linear float equality relation.
LinFloatRel	Gecode::operator== (const FloatVar &l, const FloatVal &r)
	Construct linear float equality relation.
LinFloatRel	Gecode::operator== (const LinFloatExpr &l, const FloatVal &r)
	Construct linear float equality relation.
LinFloatRel	Gecode::operator== (const FloatVar &l, const FloatVar &r)
	Construct linear float equality relation.
LinFloatRel	Gecode::operator== (const FloatVar &l, const LinFloatExpr &r)
	Construct linear float equality relation.
LinFloatRel	Gecode::operator== (const LinFloatExpr &l, const FloatVar &r)
	Construct linear float equality relation.
LinFloatRel	Gecode::operator== (const LinFloatExpr &l, const LinFloatExpr &r)
	Construct linear float equality relation.
LinFloatRel	Gecode::operator!= (const FloatVal &l, const FloatVar &r)
	Construct linear float disequality relation.
LinFloatRel	Gecode::operator!= (const FloatVal &l, const LinFloatExpr &r)
	Construct linear float disequality relation.
LinFloatRel	Gecode::operator!= (const FloatVar &l, const FloatVal &r)
	Construct linear float disequality relation.
LinFloatRel	Gecode::operator!= (const LinFloatExpr &l, const FloatVal &r)
	Construct linear float disequality relation.
LinFloatRel	Gecode::operator!= (const FloatVar &l, const FloatVar &r)
	Construct linear float disequality relation.
LinFloatRel	Gecode::operator!= (const FloatVar &l, const LinFloatExpr &r)
	Construct linear float disequality relation.
LinFloatRel	Gecode::operator!= (const LinFloatExpr &l, const FloatVar &r)
	Construct linear float disequality relation.
LinFloatRel	Gecode::operator!= (const LinFloatExpr &l, const LinFloatExpr &r)
	Construct linear float disequality relation.
LinFloatRel	Gecode::operator< (const FloatVal &l, const FloatVar &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator< (const FloatVal &l, const LinFloatExpr &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator< (const FloatVar &l, const FloatVal &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator< (const LinFloatExpr &l, const FloatVal &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator< (const FloatVar &l, const FloatVar &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator< (const FloatVar &l, const LinFloatExpr &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator< (const LinFloatExpr &l, const FloatVar &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator< (const LinFloatExpr &l, const LinFloatExpr &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator<= (const FloatVal &l, const FloatVar &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator<= (const FloatVal &l, const LinFloatExpr &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator<= (const FloatVar &l, const FloatVal &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator<= (const LinFloatExpr &l, const FloatVal &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator<= (const FloatVar &l, const FloatVar &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator<= (const FloatVar &l, const LinFloatExpr &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator<= (const LinFloatExpr &l, const FloatVar &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator<= (const LinFloatExpr &l, const LinFloatExpr &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator> (const FloatVal &l, const FloatVar &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator> (const FloatVal &l, const LinFloatExpr &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator> (const FloatVar &l, const FloatVal &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator> (const LinFloatExpr &l, const FloatVal &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator> (const FloatVar &l, const FloatVar &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator> (const FloatVar &l, const LinFloatExpr &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator> (const LinFloatExpr &l, const FloatVar &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator> (const LinFloatExpr &l, const LinFloatExpr &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator>= (const FloatVal &l, const FloatVar &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator>= (const FloatVal &l, const LinFloatExpr &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator>= (const FloatVar &l, const FloatVal &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator>= (const LinFloatExpr &l, const FloatVal &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator>= (const FloatVar &l, const FloatVar &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator>= (const FloatVar &l, const LinFloatExpr &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator>= (const LinFloatExpr &l, const FloatVar &r)
	Construct linear float inequality relation.
LinFloatRel	Gecode::operator>= (const LinFloatExpr &l, const LinFloatExpr &r)
	Construct linear float inequality relation.

---

Detailed Description

Linear float expressions can be freely composed of sums and differences of float variables (Gecode::FloatVar) with float coefficients and float constants.

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

---

Function Documentation

LinFloatExpr Gecode::operator+	(	const FloatVal &	c,
		const FloatVar &	x
	)

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

LinFloatExpr Gecode::operator+	(	const FloatVal &	c,
		const LinFloatExpr &	e
	)

Construct linear float expression as sum of linear float expression and float.

LinFloatExpr Gecode::operator+	(	const FloatVar &	x,
		const FloatVal &	c
	)

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

LinFloatExpr Gecode::operator+	(	const LinFloatExpr &	e,
		const FloatVal &	c
	)

Construct linear float expression as sum of linear float expression and float.

LinFloatExpr Gecode::operator+	(	const FloatVar &	x,
		const FloatVar &	y
	)

Construct linear float expression as sum of float variables.

LinFloatExpr Gecode::operator+	(	const FloatVar &	x,
		const LinFloatExpr &	e
	)

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

LinFloatExpr Gecode::operator+	(	const LinFloatExpr &	e,
		const FloatVar &	x
	)

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

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

Construct linear float expression as sum of linear float expressions.

LinFloatExpr Gecode::operator-	(	const FloatVal &	c,
		const FloatVar &	x
	)

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

LinFloatExpr Gecode::operator-	(	const FloatVal &	c,
		const LinFloatExpr &	e
	)

Construct linear float expression as sum of float and linear float expression.

LinFloatExpr Gecode::operator-	(	const FloatVar &	x,
		const FloatVal &	c
	)

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

LinFloatExpr Gecode::operator-	(	const LinFloatExpr &	e,
		const FloatVal &	c
	)

Construct linear float expression as sum of linear float expression and float.

LinFloatExpr Gecode::operator-	(	const FloatVar &	x,
		const FloatVar &	y
	)

Construct linear float expression as sum of float variables.

LinFloatExpr Gecode::operator-	(	const FloatVar &	x,
		const LinFloatExpr &	e
	)

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

LinFloatExpr Gecode::operator-	(	const LinFloatExpr &	e,
		const FloatVar &	x
	)

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

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

Construct linear float expression as sum of linear float expressions.

LinFloatExpr Gecode::operator-

(

const FloatVar &

x

)

Construct linear float expression as negative of float variable.

LinFloatExpr Gecode::operator-

(

const LinFloatExpr &

e

)

Construct linear float expression as negative of linear float expression.

LinFloatExpr Gecode::operator*	(	const FloatVal &	a,
		const FloatVar &	x
	)

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

LinFloatExpr Gecode::operator*	(	const FloatVar &	x,
		const FloatVal &	a
	)

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

LinFloatExpr Gecode::operator*	(	const LinFloatExpr &	e,
		const FloatVal &	a
	)

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

LinFloatExpr Gecode::operator*	(	const FloatVal &	a,
		const LinFloatExpr &	e
	)

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

LinFloatExpr Gecode::sum

(

const FloatVarArgs &

x

)

Construct linear float expression as sum of float variables.

LinFloatExpr Gecode::sum	(	const FloatValArgs &	a,
		const FloatVarArgs &	x
	)

Construct linear float expression as sum of float variables with coefficients.

LinFloatRel Gecode::operator==	(	const FloatVal &	l,
		const FloatVar &	r
	)

Construct linear float equality relation.

LinFloatRel Gecode::operator==	(	const FloatVal &	l,
		const LinFloatExpr &	r
	)

Construct linear float equality relation.

LinFloatRel Gecode::operator==	(	const FloatVar &	l,
		const FloatVal &	r
	)

Construct linear float equality relation.

LinFloatRel Gecode::operator==	(	const LinFloatExpr &	l,
		const FloatVal &	r
	)

Construct linear float equality relation.

LinFloatRel Gecode::operator==	(	const FloatVar &	l,
		const FloatVar &	r
	)

Construct linear float equality relation.

LinFloatRel Gecode::operator==	(	const FloatVar &	l,
		const LinFloatExpr &	r
	)

Construct linear float equality relation.

LinFloatRel Gecode::operator==	(	const LinFloatExpr &	l,
		const FloatVar &	r
	)

Construct linear float equality relation.

LinFloatRel Gecode::operator==	(	const LinFloatExpr &	l,
		const LinFloatExpr &	r
	)

Construct linear float equality relation.

LinFloatRel Gecode::operator!=	(	const FloatVal &	l,
		const FloatVar &	r
	)

Construct linear float disequality relation.

LinFloatRel Gecode::operator!=	(	const FloatVal &	l,
		const LinFloatExpr &	r
	)

Construct linear float disequality relation.

LinFloatRel Gecode::operator!=	(	const FloatVar &	l,
		const FloatVal &	r
	)

Construct linear float disequality relation.

LinFloatRel Gecode::operator!=	(	const LinFloatExpr &	l,
		const FloatVal &	r
	)

Construct linear float disequality relation.

LinFloatRel Gecode::operator!=	(	const FloatVar &	l,
		const FloatVar &	r
	)

Construct linear float disequality relation.

LinFloatRel Gecode::operator!=	(	const FloatVar &	l,
		const LinFloatExpr &	r
	)

Construct linear float disequality relation.

LinFloatRel Gecode::operator!=	(	const LinFloatExpr &	l,
		const FloatVar &	r
	)

Construct linear float disequality relation.

LinFloatRel Gecode::operator!=	(	const LinFloatExpr &	l,
		const LinFloatExpr &	r
	)

Construct linear float disequality relation.

LinFloatRel Gecode::operator<	(	const FloatVal &	l,
		const FloatVar &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<	(	const FloatVal &	l,
		const LinFloatExpr &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<	(	const FloatVar &	l,
		const FloatVal &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<	(	const LinFloatExpr &	l,
		const FloatVal &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<	(	const FloatVar &	l,
		const FloatVar &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<	(	const FloatVar &	l,
		const LinFloatExpr &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<	(	const LinFloatExpr &	l,
		const FloatVar &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<	(	const LinFloatExpr &	l,
		const LinFloatExpr &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<=	(	const FloatVal &	l,
		const FloatVar &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<=	(	const FloatVal &	l,
		const LinFloatExpr &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<=	(	const FloatVar &	l,
		const FloatVal &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<=	(	const LinFloatExpr &	l,
		const FloatVal &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<=	(	const FloatVar &	l,
		const FloatVar &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<=	(	const FloatVar &	l,
		const LinFloatExpr &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<=	(	const LinFloatExpr &	l,
		const FloatVar &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator<=	(	const LinFloatExpr &	l,
		const LinFloatExpr &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>	(	const FloatVal &	l,
		const FloatVar &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>	(	const FloatVal &	l,
		const LinFloatExpr &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>	(	const FloatVar &	l,
		const FloatVal &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>	(	const LinFloatExpr &	l,
		const FloatVal &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>	(	const FloatVar &	l,
		const FloatVar &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>	(	const FloatVar &	l,
		const LinFloatExpr &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>	(	const LinFloatExpr &	l,
		const FloatVar &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>	(	const LinFloatExpr &	l,
		const LinFloatExpr &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>=	(	const FloatVal &	l,
		const FloatVar &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>=	(	const FloatVal &	l,
		const LinFloatExpr &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>=	(	const FloatVar &	l,
		const FloatVal &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>=	(	const LinFloatExpr &	l,
		const FloatVal &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>=	(	const FloatVar &	l,
		const FloatVar &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>=	(	const FloatVar &	l,
		const LinFloatExpr &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>=	(	const LinFloatExpr &	l,
		const FloatVar &	r
	)

Construct linear float inequality relation.

LinFloatRel Gecode::operator>=	(	const LinFloatExpr &	l,
		const LinFloatExpr &	r
	)

Construct linear float inequality relation.