Arithmetic functions
[Direct modeling support]


Functions
IntVar	Gecode::abs (Space &home, IntVar x, IntConLevel icl=ICL_DEF)
	Return variable constrained to .
IntVar	Gecode::min (Space &home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF)
	Return variable constrained to $\min(x,y)$ .
IntVar	Gecode::min (Space &home, const IntVarArgs &x, IntConLevel icl=ICL_DEF)
	Return variable constrained to $\min(x)$ .
IntVar	Gecode::max (Space &home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF)
	Return variable constrained to $\max(x,y)$ .
IntVar	Gecode::max (Space &home, const IntVarArgs &x, IntConLevel icl=ICL_DEF)
	Return variable constrained to $\max(x)$ .
IntVar	Gecode::mult (Space &home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF)
	Return variable constrained to $x\cdot y$ .
IntVar	Gecode::div (Space &home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF)
	Return variable constrained to $x\ \mathrm{div}\ y$ .
IntVar	Gecode::mod (Space &home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF)
	Return variable constrained to $x\ \mathrm{mod}\ y$ .
IntVar	Gecode::sqr (Space &home, IntVar x, IntConLevel icl=ICL_DEF)
	Return variable constrained to .
IntVar	Gecode::sqrt (Space &home, IntVar x, IntConLevel icl=ICL_DEF)
	Return variable constrained to $\lfloor\sqrt{x}\rfloor$ .
IntVar	Gecode::plus (Space &home, IntVar x, IntVar y, IntConLevel icl=ICL_DEF)
	Return variable constrained to .
IntVar	Gecode::minus (Space &home, IntVar x, IntVar y, IntConLevel icl)

Function Documentation

IntVar Gecode::abs	(	Space &	home,
		IntVar	x,
		IntConLevel	icl = `ICL_DEF`
	)			`[inline]`

Return variable constrained to $|x|$ .

Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).

Definition at line 41 of file arithmetic.hpp.

IntVar Gecode::min	(	Space &	home,
		IntVar	x,
		IntVar	y,
		IntConLevel	icl = `ICL_DEF`
	)			`[inline]`

Return variable constrained to $\min(x,y)$ .

Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).

Definition at line 50 of file arithmetic.hpp.

IntVar Gecode::min	(	Space &	home,
		const IntVarArgs &	x,
		IntConLevel	icl = `ICL_DEF`
	)			`[inline]`

Return variable constrained to $\min(x)$ .

Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).

Definition at line 57 of file arithmetic.hpp.

IntVar Gecode::max	(	Space &	home,
		IntVar	x,
		IntVar	y,
		IntConLevel	icl = `ICL_DEF`
	)			`[inline]`

Return variable constrained to $\max(x,y)$ .

Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).

Definition at line 64 of file arithmetic.hpp.

IntVar Gecode::max	(	Space &	home,
		const IntVarArgs &	x,
		IntConLevel	icl = `ICL_DEF`
	)			`[inline]`

Return variable constrained to $\max(x)$ .

Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).

Definition at line 71 of file arithmetic.hpp.

IntVar Gecode::mult	(	Space &	home,
		IntVar	x,
		IntVar	y,
		IntConLevel	icl = `ICL_DEF`
	)			`[inline]`

Return variable constrained to $x\cdot y$ .

Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).

Definition at line 78 of file arithmetic.hpp.

IntVar Gecode::div	(	Space &	home,
		IntVar	x,
		IntVar	y,
		IntConLevel	icl = `ICL_DEF`
	)			`[inline]`

Return variable constrained to $x\ \mathrm{div}\ y$ .

Supports bounds consistency (icl = ICL_BND, default).

Definition at line 85 of file arithmetic.hpp.

IntVar Gecode::mod	(	Space &	home,
		IntVar	x,
		IntVar	y,
		IntConLevel	icl = `ICL_DEF`
	)			`[inline]`

Return variable constrained to $x\ \mathrm{mod}\ y$ .

Supports bounds consistency (icl = ICL_BND, default).

Definition at line 92 of file arithmetic.hpp.

IntVar Gecode::sqr	(	Space &	home,
		IntVar	x,
		IntConLevel	icl = `ICL_DEF`
	)			`[inline]`

Return variable constrained to $x^2$ .

Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).

Definition at line 99 of file arithmetic.hpp.

IntVar Gecode::sqrt	(	Space &	home,
		IntVar	x,
		IntConLevel	icl = `ICL_DEF`
	)			`[inline]`

Return variable constrained to $\lfloor\sqrt{x}\rfloor$ .

Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).

Definition at line 106 of file arithmetic.hpp.

IntVar Gecode::plus	(	Space &	home,
		IntVar	x,
		IntVar	y,
		IntConLevel	icl = `ICL_DEF`
	)			`[inline]`

Return variable constrained to $x+y$ .

Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).

Definition at line 113 of file arithmetic.hpp.

IntVar Gecode::minus	(	Space &	home,
		IntVar	x,
		IntVar	y,
		IntConLevel	icl = `ICL_DEF`
	)			`[inline]`

Return variable constrained to $x-y$

Supports both bounds consistency (icl = ICL_BND, default) and domain consistency (icl = ICL_DOM).

Definition at line 122 of file arithmetic.hpp.

Arithmetic functions [Direct modeling support]

Functions

Function Documentation

Arithmetic functions
[Direct modeling support]