Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
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:
= {
-1,0,1,
}
const int min
Smallest allowed integer value.
Definition int.hh:118
const int max
Largest allowed integer value.
Definition int.hh:116

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) ( v1 ,
7  )

◆ d2

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

◆ d3

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

◆ mult_max

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

◆ mult_med

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

◆ mult_min

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

◆ div_max

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

◆ div_med

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

◆ div_min

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

◆ mod_max

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

◆ mod_med

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

◆ mod_min

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

◆ plus_max

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

◆ plus_med

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

◆ plus_min

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

◆ minus_max

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

◆ minus_med

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

◆ minus_min

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

◆ sqr_max

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

◆ sqr_med

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

◆ sqr_min

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

◆ sqrt_max

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

◆ sqrt_med

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

◆ sqrt_min

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

◆ abs_bnd_max

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

◆ abs_bnd_med

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

◆ abs_bnd_min

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

◆ abs_dom_max

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

◆ abs_dom_med

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

◆ abs_dom_min

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

◆ min_max

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

◆ min_med

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

◆ min_min

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

◆ max_max

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

◆ max_med

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

◆ max_min

Max Test::Int::MiniModelArithmetic::max_min("C", d3) ( "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.