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 |