Test::Int::Extensional::SparseTupleSetReifiedModes Class Reference

Sparse reified posting should support all reify modes for positive/negative. More...

Public Member Functions
	SparseTupleSetReifiedModes (void)
virtual bool	run (void)
	Run test.
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.

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

Sparse reified posting should support all reify modes for positive/negative.

Definition at line 1738 of file extensional.cpp.

Constructor & Destructor Documentation

SparseTupleSetReifiedModes()

Test::Int::Extensional::SparseTupleSetReifiedModes::SparseTupleSetReifiedModes ( void )

inline

Definition at line 1740 of file extensional.cpp.

Member Function Documentation

run()

virtual bool Test::Int::Extensional::SparseTupleSetReifiedModes::run ( void )

inlinevirtual

Run test.

Implements Test::Base.

Definition at line 1743 of file extensional.cpp.

---

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

• test/int/extensional.cpp