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

Go to the source code of this file.

## Classes

class | Test::Int::Arithmetic::MultXYZ
| Test for multiplication constraint More...
class | Test::Int::Arithmetic::MultXXY
| Test for multiplication constraint with shared variables More...
class | Test::Int::Arithmetic::MultXYX
| Test for multiplication constraint with shared variables More...
class | Test::Int::Arithmetic::MultXYY
| Test for multiplication constraint with shared variables More...
class | Test::Int::Arithmetic::MultXXX
| Test for multiplication constraint with shared variables More...
class | Test::Int::Arithmetic::SqrXY
| Test for squaring constraint More...
class | Test::Int::Arithmetic::SqrXX
| Test for squaring constraint with shared variables More...
class | Test::Int::Arithmetic::SqrtXY
| Test for square root constraint More...
class | Test::Int::Arithmetic::SqrtXX
| Test for square root constraint with shared variables More...
class | Test::Int::Arithmetic::PowXY
| Test for power constraint More...
class | Test::Int::Arithmetic::PowXX
| Test for power constraint with shared variables More...
class | Test::Int::Arithmetic::NrootXY
| Test for nroot constraint More...
class | Test::Int::Arithmetic::NrootXX
| Test for nroot constraint with shared variables More...
class | Test::Int::Arithmetic::DivMod
| Test for division/modulo constraint More...
class | Test::Int::Arithmetic::Div
| Test for division constraint More...
class | Test::Int::Arithmetic::Mod
| Test for modulo constraint More...
class | Test::Int::Arithmetic::AbsXY
| Test for absolute value constraint More...
class | Test::Int::Arithmetic::AbsXX
| Test for absolute value constraint with shared variables More...
class | Test::Int::Arithmetic::MinXYZ
| Test for binary minimum constraint More...
class | Test::Int::Arithmetic::MinXXY
| Test for binary minimum constraint with shared variables More...
class | Test::Int::Arithmetic::MinXYX
| Test for binary minimum constraint with shared variables More...
class | Test::Int::Arithmetic::MinXYY
| Test for binary minimum constraint with shared variables More...
class | Test::Int::Arithmetic::MinXXX
| Test for binary minimum constraint with shared variables More...
class | Test::Int::Arithmetic::MaxXYZ
| Test for binary maximum constraint More...
class | Test::Int::Arithmetic::MaxXXY
| Test for binary maximum constraint with shared variables More...
class | Test::Int::Arithmetic::MaxXYX
| Test for binary maximum constraint with shared variables More...
class | Test::Int::Arithmetic::MaxXYY
| Test for binary maximum constraint with shared variables More...
class | Test::Int::Arithmetic::MaxXXX
| Test for binary maximum constraint with shared variables More...
class | Test::Int::Arithmetic::MinNary
| Test for n-ary minimmum constraint More...
class | Test::Int::Arithmetic::MinNaryShared
| Test for n-ary minimmum constraint with shared variables More...
class | Test::Int::Arithmetic::MaxNary
| Test for n-ary maximum constraint More...
class | Test::Int::Arithmetic::MaxNaryShared
| Test for n-ary maximum constraint with shared variables More...
class | Test::Int::Arithmetic::ArgMax
| Test for argument maximum constraint More...
class | Test::Int::Arithmetic::ArgMaxShared
| Test for argument maximum constraint with shared variables More...
class | Test::Int::Arithmetic::ArgMin
| Test for argument minimum constraint More...
class | Test::Int::Arithmetic::ArgMinShared
| Test for argument minimum constraint with shared variables More...
class | Test::Int::Arithmetic::ArgMaxBool
| Test for Boolean argument maximum constraint More...
class | Test::Int::Arithmetic::ArgMaxBoolShared
| Test for argument maximum constraint with shared variables More...
class | Test::Int::Arithmetic::ArgMinBool
| Test for argument minimum constraint More...
class | Test::Int::Arithmetic::ArgMinBoolShared
| Test for argument minimum constraint with shared variables More...
class | Test::Int::Arithmetic::Create
| Help class to create and register tests. More...

## Namespaces

namespace | Test
| General test support.
namespace | Test::Int
| Testing finite domain integers.
namespace | Test::Int::Arithmetic
| Tests for arithmetic constraints

## Functions

bool | Test::Int::Arithmetic::powgr (int n, long long int r, int x)
int | Test::Int::Arithmetic::fnroot (int n, int x)
bool | Test::Int::Arithmetic::powle (int n, long long int r, int x)
int | Test::Int::Arithmetic::cnroot (int n, int x)

## Variables

Create | Test::Int::Arithmetic::c