Arithmetic constraints
[Testing finite domain integers]
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::Create |
Help class to create and register tests. More... | |
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 |
Function Documentation
bool Test::Int::Arithmetic::powgr | ( | int | n, | |
long long int | r, | |||
int | x | |||
) |
Definition at line 285 of file arithmetic.cpp.
int Test::Int::Arithmetic::fnroot | ( | int | n, | |
int | x | |||
) |
Definition at line 297 of file arithmetic.cpp.
bool Test::Int::Arithmetic::powle | ( | int | n, | |
long long int | r, | |||
int | x | |||
) |
Definition at line 312 of file arithmetic.cpp.
int Test::Int::Arithmetic::cnroot | ( | int | n, | |
int | x | |||
) |
Definition at line 325 of file arithmetic.cpp.
Variable Documentation
Create Test::Int::Arithmetic::c |
Definition at line 1076 of file arithmetic.cpp.