Generated on Thu Apr 11 13:59:24 2019 for Gecode by doxygen 1.6.3

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