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)

## 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
}
Gecode::Int::Limits::min
const int min
Smallest allowed integer value.
Definition int.hh:118
Gecode::Int::Limits::max
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.