Test::Int::Arithmetic Namespace Reference
Tests for arithmetic constraints More...
Classes | |
class | MultXYZ |
Test for multiplication constraint More... | |
class | MultXXY |
Test for multiplication constraint with shared variables More... | |
class | MultXYX |
Test for multiplication constraint with shared variables More... | |
class | MultXYY |
Test for multiplication constraint with shared variables More... | |
class | MultXXX |
Test for multiplication constraint with shared variables More... | |
class | SqrXY |
Test for squaring constraint More... | |
class | SqrXX |
Test for squaring constraint with shared variables More... | |
class | SqrtXY |
Test for square root constraint More... | |
class | SqrtXX |
Test for square root constraint with shared variables More... | |
class | PowXY |
Test for power constraint More... | |
class | PowXX |
Test for power constraint with shared variables More... | |
class | NrootXY |
Test for nroot constraint More... | |
class | NrootXX |
Test for nroot constraint with shared variables More... | |
class | DivMod |
Test for division/modulo constraint More... | |
class | Div |
Test for division constraint More... | |
class | Mod |
Test for modulo constraint More... | |
class | AbsXY |
Test for absolute value constraint More... | |
class | AbsXX |
Test for absolute value constraint with shared variables More... | |
class | MinXYZ |
Test for binary minimum constraint More... | |
class | MinXXY |
Test for binary minimum constraint with shared variables More... | |
class | MinXYX |
Test for binary minimum constraint with shared variables More... | |
class | MinXYY |
Test for binary minimum constraint with shared variables More... | |
class | MinXXX |
Test for binary minimum constraint with shared variables More... | |
class | MaxXYZ |
Test for binary maximum constraint More... | |
class | MaxXXY |
Test for binary maximum constraint with shared variables More... | |
class | MaxXYX |
Test for binary maximum constraint with shared variables More... | |
class | MaxXYY |
Test for binary maximum constraint with shared variables More... | |
class | MaxXXX |
Test for binary maximum constraint with shared variables More... | |
class | MinNary |
Test for n-ary minimmum constraint More... | |
class | MinNaryShared |
Test for n-ary minimmum constraint with shared variables More... | |
class | MaxNary |
Test for n-ary maximum constraint More... | |
class | MaxNaryShared |
Test for n-ary maximum constraint with shared variables More... | |
class | ArgMax |
Test for argument maximum constraint More... | |
class | ArgMaxShared |
Test for argument maximum constraint with shared variables More... | |
class | ArgMin |
Test for argument minimum constraint More... | |
class | ArgMinShared |
Test for argument minimum constraint with shared variables More... | |
class | Create |
Help class to create and register tests. More... | |
Functions | |
bool | powgr (int n, long long int r, int x) |
int | fnroot (int n, int x) |
bool | powle (int n, long long int r, int x) |
int | cnroot (int n, int x) |
Variables | |
Create | c |
Detailed Description
Tests for arithmetic constraints