mm-arithmetic.cpp File Reference
`#include "test/int.hh"`
`#include <gecode/minimodel.hh>`

Go to the source code of this file.

## Classes

class | Test::Int::MiniModelArithmetic::Mult
| Test for multiplication constraint More...
class | Test::Int::MiniModelArithmetic::Div
| Test for division constraint More...
class | Test::Int::MiniModelArithmetic::Mod
| Test for division constraint More...
class | Test::Int::MiniModelArithmetic::Plus
| Test for addition constraint More...
class | Test::Int::MiniModelArithmetic::Minus
| Test for subtraction constraint More...
class | Test::Int::MiniModelArithmetic::Sqr
| Test for sqr constraint More...
class | Test::Int::MiniModelArithmetic::Sqrt
| Test for sqrt constraint More...
class | Test::Int::MiniModelArithmetic::Abs
| Test for absolute value constraint More...
class | Test::Int::MiniModelArithmetic::Min
| Test for binary minimum constraint More...
class | Test::Int::MiniModelArithmetic::Max
| Test for binary maximum constraint More...
class | Test::Int::MiniModelArithmetic::MinNary
| Test for n-ary minimmum constraint More...
class | Test::Int::MiniModelArithmetic::MaxNary
| Test for n-ary maximum constraint More...

## Namespaces

namespace | Test
| General test support.
namespace | Test::Int
| Testing finite domain integers.
namespace | Test::Int::MiniModelArithmetic
| Tests for minimal modelling constraints (arithmetic)

## Variables

const int | Test::Int::MiniModelArithmetic::v1 [7]
const int | Test::Int::MiniModelArithmetic::v2 [9]
Gecode::IntSet | Test::Int::MiniModelArithmetic::d1 (v1, 7)
Gecode::IntSet | Test::Int::MiniModelArithmetic::d2 (v2, 9)
Gecode::IntSet | Test::Int::MiniModelArithmetic::d3 (-8, 8)
Mult | Test::Int::MiniModelArithmetic::mult_max ("A", d1)
Mult | Test::Int::MiniModelArithmetic::mult_med ("B", d2)
Mult | Test::Int::MiniModelArithmetic::mult_min ("C", d3)
Div | Test::Int::MiniModelArithmetic::div_max ("A", d1)
Div | Test::Int::MiniModelArithmetic::div_med ("B", d2)
Div | Test::Int::MiniModelArithmetic::div_min ("C", d3)
Mod | Test::Int::MiniModelArithmetic::mod_max ("A", d1)
Mod | Test::Int::MiniModelArithmetic::mod_med ("B", d2)
Mod | Test::Int::MiniModelArithmetic::mod_min ("C", d3)
Plus | Test::Int::MiniModelArithmetic::plus_max ("A", d1)
Plus | Test::Int::MiniModelArithmetic::plus_med ("B", d2)
Plus | Test::Int::MiniModelArithmetic::plus_min ("C", d3)
Minus | Test::Int::MiniModelArithmetic::minus_max ("A", d1)
Minus | Test::Int::MiniModelArithmetic::minus_med ("B", d2)
Minus | Test::Int::MiniModelArithmetic::minus_min ("C", d3)
Sqr | Test::Int::MiniModelArithmetic::sqr_max ("A", d1)
Sqr | Test::Int::MiniModelArithmetic::sqr_med ("B", d2)
Sqr | Test::Int::MiniModelArithmetic::sqr_min ("C", d3)
Sqrt | Test::Int::MiniModelArithmetic::sqrt_max ("A", d1)
Sqrt | Test::Int::MiniModelArithmetic::sqrt_med ("B", d2)
Sqrt | Test::Int::MiniModelArithmetic::sqrt_min ("C", d3)
Abs | Test::Int::MiniModelArithmetic::abs_bnd_max ("A", d1, Gecode::IPL_BND)
Abs | Test::Int::MiniModelArithmetic::abs_bnd_med ("B", d2, Gecode::IPL_BND)
Abs | Test::Int::MiniModelArithmetic::abs_bnd_min ("C", d3, Gecode::IPL_BND)
Abs | Test::Int::MiniModelArithmetic::abs_dom_max ("A", d1, Gecode::IPL_DOM)
Abs | Test::Int::MiniModelArithmetic::abs_dom_med ("B", d2, Gecode::IPL_DOM)
Abs | Test::Int::MiniModelArithmetic::abs_dom_min ("C", d3, Gecode::IPL_DOM)
Min | Test::Int::MiniModelArithmetic::min_max ("A", d1)
Min | Test::Int::MiniModelArithmetic::min_med ("B", d2)
Min | Test::Int::MiniModelArithmetic::min_min ("C", d3)
Max | Test::Int::MiniModelArithmetic::max_max ("A", d1)
Max | Test::Int::MiniModelArithmetic::max_med ("B", d2)
Max | Test::Int::MiniModelArithmetic::max_min ("C", d3)
MinNary | Test::Int::MiniModelArithmetic::min_nary
MaxNary | Test::Int::MiniModelArithmetic::max_nary