Test::Int::MiniModelArithmetic Namespace Reference

---

Detailed Description

Tests for minimal modelling constraints (arithmetic).

Classes
class	Mult
	Test for multiplication constraint. More...
class	Plus
	Test for addition constraint. More...
class	Minus
	Test for subtraction constraint. More...
class	Sqr
	Test for sqr constraint. More...
class	Sqrt
	Test for sqrt constraint. More...
class	Abs
	Test for absolute value constraint. More...
class	Min
	Test for binary minimum constraint. More...
class	Max
	Test for binary maximum constraint. More...
class	MinNary
	Test for n-ary minimmum constraint. More...
class	MaxNary
	Test for n-ary maximum constraint. More...
Variables
const int	v1 [7]
const int	v2 [9]
Gecode::IntSet	d1 (v1, 7)
Gecode::IntSet	d2 (v2, 9)
Gecode::IntSet	d3 (-8, 8)
Mult	mult_max ("A", d1)
Mult	mult_med ("B", d2)
Mult	mult_min ("C", d3)
Plus	plus_max ("A", d1)
Plus	plus_med ("B", d2)
Plus	plus_min ("C", d3)
Minus	minus_max ("A", d1)
Minus	minus_med ("B", d2)
Minus	minus_min ("C", d3)
Sqr	sqr_max ("A", d1)
Sqr	sqr_med ("B", d2)
Sqr	sqr_min ("C", d3)
Sqrt	sqrt_max ("A", d1)
Sqrt	sqrt_med ("B", d2)
Sqrt	sqrt_min ("C", d3)
Abs	abs_bnd_max ("A", d1, Gecode::ICL_BND)
Abs	abs_bnd_med ("B", d2, Gecode::ICL_BND)
Abs	abs_bnd_min ("C", d3, Gecode::ICL_BND)
Abs	abs_dom_max ("A", d1, Gecode::ICL_DOM)
Abs	abs_dom_med ("B", d2, Gecode::ICL_DOM)
Abs	abs_dom_min ("C", d3, Gecode::ICL_DOM)
Min	min_max ("A", d1)
Min	min_med ("B", d2)
Min	min_min ("C", d3)
Max	max_max ("A", d1)
Max	max_med ("B", d2)
Max	max_min ("C", d3)
MinNary	min_nary
MaxNary	max_nary