Arithmetic constraints
[Using finite domain integers]

Functions

static synchronized void org::gecode::Gecode.min (JavaSpace home, IntVar x0, IntVar x1, IntVar x2, IntConLevel arg4)

Post propagator for $\min\{x_0,x_1\}=x_2$ .

static synchronized void org::gecode::Gecode.min (JavaSpace home, IntVar x0, IntVar x1, IntVar x2)

Post propagator for $\min\{x_0,x_1\}=x_2$ .

static synchronized void org::gecode::Gecode.min (JavaSpace home, VarArray<?extends IntVar > x, IntVar y, IntConLevel arg3)

Post propagator for $\min x=y$ .

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

Post propagator for $\min x=y$ .

static synchronized void org::gecode::Gecode.max (JavaSpace home, IntVar x0, IntVar x1, IntVar x2, IntConLevel arg4)

Post propagator for $\max\{x_0,x_1\}=x_2$ .

static synchronized void org::gecode::Gecode.max (JavaSpace home, IntVar x0, IntVar x1, IntVar x2)

Post propagator for $\max\{x_0,x_1\}=x_2$ .

static synchronized void org::gecode::Gecode.max (JavaSpace home, VarArray<?extends IntVar > x, IntVar y, IntConLevel arg3)

Post propagator for $\max x=y$ .

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

Post propagator for $\max x=y$ .

static synchronized void org::gecode::Gecode.abs (JavaSpace home, IntVar x0, IntVar x1, IntConLevel arg3)

Post propagator for $ |x_0|=x_1$ .

static synchronized void org::gecode::Gecode.abs (JavaSpace home, IntVar x0, IntVar x1)

Post propagator for .

static synchronized void org::gecode::Gecode.mult (JavaSpace home, IntVar x0, IntVar x1, IntVar x2, IntConLevel arg4)

Post propagator for $x_0\cdot x_1=x_2$ .

static synchronized void org::gecode::Gecode.mult (JavaSpace home, IntVar x0, IntVar x1, IntVar x2)

Post propagator for $x_0\cdot x_1=x_2$ .

Function Documentation

static synchronized void org.gecode.Gecode.min	(	JavaSpace	home,
		IntVar	x0,
		IntVar	x1,
		IntVar	x2,
		IntConLevel	arg4
	)			`[static, inherited]`

Post propagator for $\min\{x_0,x_1\}=x_2$ .

Only bounds-consistency is supported.

Definition at line 1719 of file Gecode.java.

static synchronized void org.gecode.Gecode.min	(	JavaSpace	home,
		IntVar	x0,
		IntVar	x1,
		IntVar	x2
	)			`[static, inherited]`

Post propagator for $\min\{x_0,x_1\}=x_2$ .

Only bounds-consistency is supported.

Definition at line 1729 of file Gecode.java.

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

Post propagator for $\min x=y$ .

Only bounds-consistency is supported.

Definition at line 1738 of file Gecode.java.

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

Post propagator for $\min x=y$ .

Only bounds-consistency is supported.

Definition at line 1747 of file Gecode.java.

static synchronized void org.gecode.Gecode.max	(	JavaSpace	home,
		IntVar	x0,
		IntVar	x1,
		IntVar	x2,
		IntConLevel	arg4
	)			`[static, inherited]`

Post propagator for $\max\{x_0,x_1\}=x_2$ .

Only bounds-consistency is supported. If x is empty, an exception of type Int.ArgumentEmpty is thrown.

Definition at line 1757 of file Gecode.java.

static synchronized void org.gecode.Gecode.max	(	JavaSpace	home,
		IntVar	x0,
		IntVar	x1,
		IntVar	x2
	)			`[static, inherited]`

Post propagator for $\max\{x_0,x_1\}=x_2$ .

Only bounds-consistency is supported. If x is empty, an exception of type Int.ArgumentEmpty is thrown.

Definition at line 1767 of file Gecode.java.

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

Post propagator for $\max x=y$ .

Only bounds-consistency is supported. If x is empty, an exception of type Int.ArgumentEmpty is thrown.

Definition at line 1777 of file Gecode.java.

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

Post propagator for $\max x=y$ .

Only bounds-consistency is supported. If x is empty, an exception of type Int.ArgumentEmpty is thrown.

Definition at line 1787 of file Gecode.java.

static synchronized void org.gecode.Gecode.abs	(	JavaSpace	home,
		IntVar	x0,
		IntVar	x1,
		IntConLevel	arg3
	)			`[static, inherited]`

Post propagator for $ |x_0|=x_1$ .

Only bounds-consistency is supported.

Definition at line 1796 of file Gecode.java.

static synchronized void org.gecode.Gecode.abs	(	JavaSpace	home,
		IntVar	x0,
		IntVar	x1
	)			`[static, inherited]`

Post propagator for $ |x_0|=x_1$ .

Only bounds-consistency is supported.

Definition at line 1805 of file Gecode.java.

static synchronized void org.gecode.Gecode.mult	(	JavaSpace	home,
		IntVar	x0,
		IntVar	x1,
		IntVar	x2,
		IntConLevel	arg4
	)			`[static, inherited]`

Post propagator for $x_0\cdot x_1=x_2$ .

Only bounds-consistency is supported. The propagator is overflow safe.

Definition at line 1815 of file Gecode.java.

static synchronized void org.gecode.Gecode.mult	(	JavaSpace	home,
		IntVar	x0,
		IntVar	x1,
		IntVar	x2
	)			`[static, inherited]`

Post propagator for $x_0\cdot x_1=x_2$ .

Only bounds-consistency is supported. The propagator is overflow safe.

Definition at line 1825 of file Gecode.java.


Functions
static synchronized void	org::gecode::Gecode.min (JavaSpace home, IntVar x0, IntVar x1, IntVar x2, IntConLevel arg4)
	Post propagator for $\min\{x_0,x_1\}=x_2$ .
static synchronized void	org::gecode::Gecode.min (JavaSpace home, IntVar x0, IntVar x1, IntVar x2)
	Post propagator for $\min\{x_0,x_1\}=x_2$ .
static synchronized void	org::gecode::Gecode.min (JavaSpace home, VarArray<?extends IntVar > x, IntVar y, IntConLevel arg3)
	Post propagator for $\min x=y$ .
static synchronized void	org::gecode::Gecode.min (JavaSpace home, VarArray<?extends IntVar > x, IntVar y)
	Post propagator for $\min x=y$ .
static synchronized void	org::gecode::Gecode.max (JavaSpace home, IntVar x0, IntVar x1, IntVar x2, IntConLevel arg4)
	Post propagator for $\max\{x_0,x_1\}=x_2$ .
static synchronized void	org::gecode::Gecode.max (JavaSpace home, IntVar x0, IntVar x1, IntVar x2)
	Post propagator for $\max\{x_0,x_1\}=x_2$ .
static synchronized void	org::gecode::Gecode.max (JavaSpace home, VarArray<?extends IntVar > x, IntVar y, IntConLevel arg3)
	Post propagator for $\max x=y$ .
static synchronized void	org::gecode::Gecode.max (JavaSpace home, VarArray<?extends IntVar > x, IntVar y)
	Post propagator for $\max x=y$ .
static synchronized void	org::gecode::Gecode.abs (JavaSpace home, IntVar x0, IntVar x1, IntConLevel arg3)
	Post propagator for .
static synchronized void	org::gecode::Gecode.abs (JavaSpace home, IntVar x0, IntVar x1)
	Post propagator for .
static synchronized void	org::gecode::Gecode.mult (JavaSpace home, IntVar x0, IntVar x1, IntVar x2, IntConLevel arg4)
	Post propagator for $x_0\cdot x_1=x_2$ .
static synchronized void	org::gecode::Gecode.mult (JavaSpace home, IntVar x0, IntVar x1, IntVar x2)
	Post propagator for $x_0\cdot x_1=x_2$ .

Arithmetic constraints [Using finite domain integers]

Functions

Function Documentation

Arithmetic constraints
[Using finite domain integers]