Test::Int::MiniModelArithmetic Namespace Reference

Tests for minimal modelling constraints (arithmetic) More...

Classes
class	Abs
	Test for absolute value constraint More...
class	Div
	Test for division constraint More...
class	Max
	Test for binary maximum constraint More...
class	MaxNary
	Test for n-ary maximum constraint More...
class	Min
	Test for binary minimum constraint More...
class	MinNary
	Test for n-ary minimmum constraint More...
class	Minus
	Test for subtraction constraint More...
class	Mod
	Test for division constraint More...
class	Mult
	Test for multiplication constraint More...
class	Plus
	Test for addition constraint More...
class	Sqr
	Test for sqr constraint More...
class	Sqrt
	Test for sqrt 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)
Div	div_max ("A", d1)
Div	div_med ("B", d2)
Div	div_min ("C", d3)
Mod	mod_max ("A", d1)
Mod	mod_med ("B", d2)
Mod	mod_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::IPL_BND)
Abs	abs_bnd_med ("B", d2, Gecode::IPL_BND)
Abs	abs_bnd_min ("C", d3, Gecode::IPL_BND)
Abs	abs_dom_max ("A", d1, Gecode::IPL_DOM)
Abs	abs_dom_med ("B", d2, Gecode::IPL_DOM)
Abs	abs_dom_min ("C", d3, Gecode::IPL_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

Detailed Description

Tests for minimal modelling constraints (arithmetic)

Variable Documentation

v1

const int Test::Int::MiniModelArithmetic::v1[7]

Initial value:

= {
       Gecode::Int::Limits::min, Gecode::Int::Limits::min+1,
       -1,0,1,
       Gecode::Int::Limits::max-1, Gecode::Int::Limits::max
     }

Definition at line 298 of file mm-arithmetic.cpp.

v2

const int Test::Int::MiniModelArithmetic::v2[9]

Initial value:

= {
       static_cast<int>(-sqrt(static_cast<double>(-Gecode::Int::Limits::min))),
       -4,-2,-1,0,1,2,4,
       static_cast<int>(sqrt(static_cast<double>(Gecode::Int::Limits::max)))
     }

Definition at line 303 of file mm-arithmetic.cpp.

d1

Gecode::IntSet Test::Int::MiniModelArithmetic::d1(v1, 7)

d2

Gecode::IntSet Test::Int::MiniModelArithmetic::d2(v2, 9)

d3

Gecode::IntSet Test::Int::MiniModelArithmetic::d3(-8, 8)

mult_max

Mult Test::Int::MiniModelArithmetic::mult_max("A", d1)

mult_med

Mult Test::Int::MiniModelArithmetic::mult_med("B", d2)

mult_min

Mult Test::Int::MiniModelArithmetic::mult_min("C", d3)

div_max

Div Test::Int::MiniModelArithmetic::div_max("A", d1)

div_med

Div Test::Int::MiniModelArithmetic::div_med("B", d2)

div_min

Div Test::Int::MiniModelArithmetic::div_min("C", d3)

mod_max

Mod Test::Int::MiniModelArithmetic::mod_max("A", d1)

mod_med

Mod Test::Int::MiniModelArithmetic::mod_med("B", d2)

mod_min

Mod Test::Int::MiniModelArithmetic::mod_min("C", d3)

plus_max

Plus Test::Int::MiniModelArithmetic::plus_max("A", d1)

plus_med

Plus Test::Int::MiniModelArithmetic::plus_med("B", d2)

plus_min

Plus Test::Int::MiniModelArithmetic::plus_min("C", d3)

minus_max

Minus Test::Int::MiniModelArithmetic::minus_max("A", d1)

minus_med

Minus Test::Int::MiniModelArithmetic::minus_med("B", d2)

minus_min

Minus Test::Int::MiniModelArithmetic::minus_min("C", d3)

sqr_max

Sqr Test::Int::MiniModelArithmetic::sqr_max("A", d1)

sqr_med

Sqr Test::Int::MiniModelArithmetic::sqr_med("B", d2)

sqr_min

Sqr Test::Int::MiniModelArithmetic::sqr_min("C", d3)

sqrt_max

Sqrt Test::Int::MiniModelArithmetic::sqrt_max("A", d1)

sqrt_med

Sqrt Test::Int::MiniModelArithmetic::sqrt_med("B", d2)

sqrt_min

Sqrt Test::Int::MiniModelArithmetic::sqrt_min("C", d3)

abs_bnd_max

Abs Test::Int::MiniModelArithmetic::abs_bnd_max("A", d1, Gecode::IPL_BND)

abs_bnd_med

Abs Test::Int::MiniModelArithmetic::abs_bnd_med("B", d2, Gecode::IPL_BND)

abs_bnd_min

Abs Test::Int::MiniModelArithmetic::abs_bnd_min("C", d3, Gecode::IPL_BND)

abs_dom_max

Abs Test::Int::MiniModelArithmetic::abs_dom_max("A", d1, Gecode::IPL_DOM)

abs_dom_med

Abs Test::Int::MiniModelArithmetic::abs_dom_med("B", d2, Gecode::IPL_DOM)

abs_dom_min

Abs Test::Int::MiniModelArithmetic::abs_dom_min("C", d3, Gecode::IPL_DOM)

min_max

Min Test::Int::MiniModelArithmetic::min_max("A", d1)

min_med

Min Test::Int::MiniModelArithmetic::min_med("B", d2)

min_min

Min Test::Int::MiniModelArithmetic::min_min("C", d3)

max_max

Max Test::Int::MiniModelArithmetic::max_max("A", d1)

max_med

Max Test::Int::MiniModelArithmetic::max_med("B", d2)

max_min

Max Test::Int::MiniModelArithmetic::max_min("C", d3)

min_nary

MinNary Test::Int::MiniModelArithmetic::min_nary

Definition at line 356 of file mm-arithmetic.cpp.

max_nary

MaxNary Test::Int::MiniModelArithmetic::max_nary

Definition at line 357 of file mm-arithmetic.cpp.