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::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...
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 1255 of file arithmetic.cpp.