Generated on Sat Feb 7 2015 02:01:36 for Gecode by doxygen 1.8.9.1
Minimal modelling constraints (arithmetic)

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...
 

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::ICL_BND)
 
Abs Test::Int::MiniModelArithmetic::abs_bnd_med ("B", d2, Gecode::ICL_BND)
 
Abs Test::Int::MiniModelArithmetic::abs_bnd_min ("C", d3, Gecode::ICL_BND)
 
Abs Test::Int::MiniModelArithmetic::abs_dom_max ("A", d1, Gecode::ICL_DOM)
 
Abs Test::Int::MiniModelArithmetic::abs_dom_med ("B", d2, Gecode::ICL_DOM)
 
Abs Test::Int::MiniModelArithmetic::abs_dom_min ("C", d3, Gecode::ICL_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
 

Detailed Description

Variable Documentation

const int Test::Int::MiniModelArithmetic::v1[7]
Initial value:
= {
-1,0,1,
Gecode::Int::Limits::max-1, Gecode::Int::Limits::max
}
const int max
Largest allowed integer value.
Definition: int.hh:113
const int min
Smallest allowed integer value.
Definition: int.hh:115

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

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)))
}
const int max
Largest allowed integer value.
Definition: int.hh:113
const int min
Smallest allowed integer value.
Definition: int.hh:115
FloatVal sqrt(const FloatVal &x)
Return square root of x.
Definition: val.hpp:373

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

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::ICL_BND)
Abs Test::Int::MiniModelArithmetic::abs_bnd_med("B", d2, Gecode::ICL_BND)
Abs Test::Int::MiniModelArithmetic::abs_bnd_min("C", d3, Gecode::ICL_BND)
Abs Test::Int::MiniModelArithmetic::abs_dom_max("A", d1, Gecode::ICL_DOM)
Abs Test::Int::MiniModelArithmetic::abs_dom_med("B", d2, Gecode::ICL_DOM)
Abs Test::Int::MiniModelArithmetic::abs_dom_min("C", d3, Gecode::ICL_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

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

MaxNary Test::Int::MiniModelArithmetic::max_nary

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