Generated on Fri Oct 19 11:26:29 2018 for Gecode by doxygen 1.6.3

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