Generated on Thu Apr 11 14:00:19 2019 for Gecode by doxygen 1.6.3

Test::Int::MiniModelArithmetic Namespace Reference

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

Classes

class  Mult
 Test for multiplication constraint More...
class  Div
 Test for division constraint More...
class  Mod
 Test for division 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)
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)