Test::Float::Arithmetic::PowConsistency Class Reference

Regression tests for Pow zero semantics and propagation fixpoints. More...

Classes
class	ZeroSpace
	Space for direct and delayed assignment of the base to zero. More...
class	AdjacentZeroSpace
	Space for an adjacent interval containing zero at one endpoint. More...
class	FixpointSpace
	Space reproducing a Pow inverse-to-forward fixpoint. More...
class	ZeroResultSpace
	Space for direct and delayed assignment of the result to zero. More...

Public Member Functions
	PowConsistency (void)
	Create and register test.
virtual bool	run (void)
	Run zero and fixpoint regressions.
Public Member Functions inherited from Test::Base
	Base (std::string s)
	Create and register test with name s.
const std::string &	name (void) const
	Return name of test.
Base *	next (void) const
	Return next test.
void	next (Base *n)
	Set next test.
bool	fixpoint (void)
	Throw a coin whether to compute a fixpoint.
virtual	~Base (void)
	Destructor.

Protected Member Functions
bool	checkZero (int n) const
	Test one exponent with direct and delayed zero assignment.
bool	checkZeroResult (int n, bool direct) const
	Test that a zero result forces a zero base.
bool	checkAdjacentZero (bool positive) const
	Test exponent zero on an adjacent interval containing zero.

Additional Inherited Members
Static Public Member Functions inherited from Test::Base
static void	sort (void)
	Sort tests alphabetically.
static Base *	tests (void)
	Return all tests.
static bool	fixpoint (Gecode::Support::RandomGenerator &rand)
	Throw a coin whether to compute a fixpoint.
static std::string	str (bool b)
	Map bool to string.
static std::string	str (int i)
	Map integer to string.
static std::string	str (const Gecode::IntArgs &i)
	Map integer array to string.
Gecode::Support::RandomGenerator	_rand
	Random number generator.
Related Symbols inherited from Test::Base
int	main (int argc, char *argv[])
	Main function.

Detailed Description

Regression tests for Pow zero semantics and propagation fixpoints.

Definition at line 183 of file arithmetic.cpp.

Constructor & Destructor Documentation

PowConsistency()

Test::Float::Arithmetic::PowConsistency::PowConsistency ( void )

inline

Create and register test.

Definition at line 367 of file arithmetic.cpp.

Member Function Documentation

checkZero()

bool Test::Float::Arithmetic::PowConsistency::checkZero ( int n ) const

inlineprotected

Test one exponent with direct and delayed zero assignment.

Definition at line 286 of file arithmetic.cpp.

checkZeroResult()

bool Test::Float::Arithmetic::PowConsistency::checkZeroResult ( int n, bool direct ) const

inlineprotected

Test that a zero result forces a zero base.

Definition at line 322 of file arithmetic.cpp.

checkAdjacentZero()

bool Test::Float::Arithmetic::PowConsistency::checkAdjacentZero ( bool positive ) const

inlineprotected

Test exponent zero on an adjacent interval containing zero.

Definition at line 345 of file arithmetic.cpp.

run()

virtual bool Test::Float::Arithmetic::PowConsistency::run ( void )

inlinevirtual

Run zero and fixpoint regressions.

Implements Test::Base.

Definition at line 369 of file arithmetic.cpp.

---

The documentation for this class was generated from the following file:

• test/float/arithmetic.cpp