Test::Assign::Bool Class Reference

Test branching with distinct propagator More...

Public Member Functions
	Bool (const std::string &s, int n)
	Create and register test.
virtual void	post (Gecode::Space &home, Gecode::BoolVarArray &x)
	Post propagators on variables x.
Public Member Functions inherited from Test::Assign::BoolTest
	BoolTest (const std::string &s, int a)
	Construct and register test.
virtual bool	run (void)
	Perform test.
Public Member Functions inherited from Test::Base
	Base (const 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.
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 (void)
	Throw a coin whether to compute a fixpoint.
Static Public Attributes inherited from Test::Base
static Gecode::Support::RandomGenerator	rand = Gecode::Support::RandomGenerator()
	Random number generator.
Protected Attributes inherited from Test::Assign::BoolTest
int	arity
	Number of variables.
Related Functions inherited from Test::Base
int	main (int argc, char *argv[])
	Main function.

Detailed Description

Test branching with distinct propagator

Definition at line 43 of file bool.cpp.

Constructor & Destructor Documentation

Test::Assign::Bool::Bool ( const std::string &  s, int  n  )

inline

Create and register test.

Definition at line 46 of file bool.cpp.

Member Function Documentation

virtual void Test::Assign::Bool::post ( Gecode::Space &  home, Gecode::BoolVarArray &  x  )

inlinevirtual

Post propagators on variables x.

Implements Test::Assign::BoolTest.

Definition at line 49 of file bool.cpp.

---

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

• test/assign/bool.cpp (Revision: 10684)