Linear constraints
[Using finite domain integers]

Detailed Description

All variants for linear constraints share the following properties:

Bounds-consistency (over the real numbers) is supported for all constraints (actually, for disequlities always domain-consistency is used as it is cheaper).

Domain-consistency is supported for all non-reified constraint. As bounds-consistency for inequalities coincides with domain-consistency, the only real variation is for linear equations). Domain-consistent linear equations are exponential, so use with care!

Variables occurring multiply in the argument arrays are replaced by a single occurrence: for example, becomes .
If in the above simplification the value for (or for and ) exceeds the limits for integers as defined in Limits.Int, an exception of type Int.NumericalOverflow is thrown.
Assume the constraint $\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_r c$ . If $|c|+\sum_{i=0}^{|x|-1}a_i\cdot x_i$ exceeds the limits for doubles as defined in Limits.Int, an exception of type Int.NumericalOverflow is thrown.
In all other cases, the created propagators are accurate (that is, they will not silently overflow during propagation).

Functions

static synchronized void org::gecode::Gecode.linear (JavaSpace home, VarArray<?extends IntVar > x, IntRelType r, int c, IntConLevel arg4)

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$ .

static synchronized void org::gecode::Gecode.linear (JavaSpace home, VarArray<?extends IntVar > x, IntRelType r, int c)

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$ .

static synchronized void org::gecode::Gecode.linear (JavaSpace home, VarArray<?extends IntVar > x, IntRelType r, IntVar y, IntConLevel arg4)

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$ .

static synchronized void org::gecode::Gecode.linear (JavaSpace home, VarArray<?extends IntVar > x, IntRelType r, IntVar y)

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$ .

static synchronized void org::gecode::Gecode.linear (JavaSpace home, VarArray<?extends IntVar > x, IntRelType r, int c, BoolVar b, IntConLevel arg5)

Post propagator for $\left(\sum_{i=0}^{|x|-1}x_i\sim_r c\right)\Leftrightarrow b$ .

static synchronized void org::gecode::Gecode.linear (JavaSpace home, VarArray<?extends IntVar > x, IntRelType r, int c, BoolVar b)

Post propagator for $\left(\sum_{i=0}^{|x|-1}x_i\sim_r c\right)\Leftrightarrow b$ .

static synchronized void org::gecode::Gecode.linear (JavaSpace home, VarArray<?extends IntVar > x, IntRelType r, IntVar y, BoolVar b, IntConLevel arg5)

Post propagator for $\left(\sum_{i=0}^{|x|-1}x_i\sim_r y\right)\Leftrightarrow b$ .

static synchronized void org::gecode::Gecode.linear (JavaSpace home, VarArray<?extends IntVar > x, IntRelType r, IntVar y, BoolVar b)

Post propagator for $\left(\sum_{i=0}^{|x|-1}x_i\sim_r y\right)\Leftrightarrow b$ .

static synchronized void org::gecode::Gecode.linear (JavaSpace home, int[] a, VarArray<?extends IntVar > x, IntRelType r, int c, IntConLevel arg5)

Post propagator for $\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_r c$ .

static synchronized void org::gecode::Gecode.linear (JavaSpace home, int[] a, VarArray<?extends IntVar > x, IntRelType r, int c)

Post propagator for $\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_r c$ .

static synchronized void org::gecode::Gecode.linear (JavaSpace home, int[] a, VarArray<?extends IntVar > x, IntRelType r, IntVar y, IntConLevel arg5)

Post propagator for $\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_r y$ .

static synchronized void org::gecode::Gecode.linear (JavaSpace home, int[] a, VarArray<?extends IntVar > x, IntRelType r, IntVar y)

Post propagator for $\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_r y$ .

static synchronized void org::gecode::Gecode.linear (JavaSpace home, int[] a, VarArray<?extends IntVar > x, IntRelType r, int c, BoolVar b, IntConLevel arg6)

Post propagator for $\left(\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_r c\right)\Leftrightarrow b$ .

static synchronized void org::gecode::Gecode.linear (JavaSpace home, int[] a, VarArray<?extends IntVar > x, IntRelType r, int c, BoolVar b)

Post propagator for $\left(\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_r c\right)\Leftrightarrow b$ .

static synchronized void org::gecode::Gecode.linear (JavaSpace home, int[] a, VarArray<?extends IntVar > x, IntRelType r, IntVar y, BoolVar b, IntConLevel arg6)

Post propagator for $\left(\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_r y\right)\Leftrightarrow b$ .

static synchronized void org::gecode::Gecode.linear (JavaSpace home, int[] a, VarArray<?extends IntVar > x, IntRelType r, IntVar y, BoolVar b)

Post propagator for $\left(\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_r y\right)\Leftrightarrow b$ .

Function Documentation

static synchronized void org.gecode.Gecode.linear	(	JavaSpace	home,
		VarArray<?extends IntVar >	x,
		IntRelType	r,
		int	c,
		IntConLevel	arg4
	)			`[static, inherited]`

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$ .

Definition at line 1862 of file Gecode.java.

static synchronized void org.gecode.Gecode.linear	(	JavaSpace	home,
		VarArray<?extends IntVar >	x,
		IntRelType	r,
		int	c
	)			`[static, inherited]`

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$ .

Definition at line 1869 of file Gecode.java.

static synchronized void org.gecode.Gecode.linear	(	JavaSpace	home,
		VarArray<?extends IntVar >	x,
		IntRelType	r,
		IntVar	y,
		IntConLevel	arg4
	)			`[static, inherited]`

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$ .

Definition at line 1875 of file Gecode.java.

static synchronized void org.gecode.Gecode.linear	(	JavaSpace	home,
		VarArray<?extends IntVar >	x,
		IntRelType	r,
		IntVar	y
	)			`[static, inherited]`

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$ .

Definition at line 1881 of file Gecode.java.

static synchronized void org.gecode.Gecode.linear	(	JavaSpace	home,
		VarArray<?extends IntVar >	x,
		IntRelType	r,
		int	c,
		BoolVar	b,
		IntConLevel	arg5
	)			`[static, inherited]`

Post propagator for $\left(\sum_{i=0}^{|x|-1}x_i\sim_r c\right)\Leftrightarrow b$ .

Definition at line 1887 of file Gecode.java.

static synchronized void org.gecode.Gecode.linear	(	JavaSpace	home,
		VarArray<?extends IntVar >	x,
		IntRelType	r,
		int	c,
		BoolVar	b
	)			`[static, inherited]`

Post propagator for $\left(\sum_{i=0}^{|x|-1}x_i\sim_r c\right)\Leftrightarrow b$ .

Definition at line 1893 of file Gecode.java.

static synchronized void org.gecode.Gecode.linear	(	JavaSpace	home,
		VarArray<?extends IntVar >	x,
		IntRelType	r,
		IntVar	y,
		BoolVar	b,
		IntConLevel	arg5
	)			`[static, inherited]`

Post propagator for $\left(\sum_{i=0}^{|x|-1}x_i\sim_r y\right)\Leftrightarrow b$ .

Definition at line 1899 of file Gecode.java.

static synchronized void org.gecode.Gecode.linear	(	JavaSpace	home,
		VarArray<?extends IntVar >	x,
		IntRelType	r,
		IntVar	y,
		BoolVar	b
	)			`[static, inherited]`

Post propagator for $\left(\sum_{i=0}^{|x|-1}x_i\sim_r y\right)\Leftrightarrow b$ .

Definition at line 1905 of file Gecode.java.

static synchronized void org.gecode.Gecode.linear	(	JavaSpace	home,
		int[]	a,
		VarArray<?extends IntVar >	x,
		IntRelType	r,
		int	c,
		IntConLevel	arg5
	)			`[static, inherited]`

Post propagator for $\sum_{i=0}^{|x|-1}a_i\cdot x_i\sim_r c$ .