Test::Int::MiniModelCount::IntArrayVar Class Reference

Test number of several equal integers equal to integer variable More...

Public Member Functions
	IntArrayVar (Gecode::IntRelType irt0)
	Create and register test.
virtual bool	solution (const Assignment &x) const
	Test whether x is solution
virtual void	post (Gecode::Space &home, Gecode::IntVarArray &x)
	Post constraint on x.
	Test (const std::string &p, const std::string &s, int a, const Gecode::IntSet &d, bool r=false, Gecode::IntPropLevel i=Gecode::IPL_DEF)
	Constructor.
	Test (const std::string &s, int a, const Gecode::IntSet &d, bool r=false, Gecode::IntPropLevel i=Gecode::IPL_DEF)
	Constructor.
	Test (const std::string &p, const std::string &s, int a, int min, int max, bool r=false, Gecode::IntPropLevel i=Gecode::IPL_DEF)
	Constructor.
	Test (const std::string &s, int a, int min, int max, bool r=false, Gecode::IntPropLevel i=Gecode::IPL_DEF)
	Constructor.
virtual Assignment *	assignment (void) const
	Create assignment.
virtual bool	ignore (const Assignment &) const
	Whether to ignore assignment for reification.
virtual void	post (Gecode::Space &home, Gecode::IntVarArray &x, Gecode::Reify r)
	Post reified constraint.
virtual bool	run (void)
	Perform 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.

Protected Attributes
Gecode::IntRelType	irt
	Integer relation type to propagate.
Protected Attributes inherited from Test::Int::Test
int	arity
	Number of variables.
Gecode::IntSet	dom
	Domain of variables.
bool	reified
	Does the constraint also exist as reified constraint.
int	rms
	Which reification modes are supported.
Gecode::IntPropLevel	ipl
	Propagation level.
ConTestLevel	contest
	Whether to test for certain consistency.
bool	testsearch
	Whether to perform search test.
bool	testfix
	Whether to perform fixpoint test.

Additional Inherited Members
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.
static std::string	str (Gecode::IntPropLevel ipl)
	Map integer propagation level to string.
static std::string	str (Gecode::IntRelType irl)
	Map integer relation to string.
static std::string	str (Gecode::BoolOpType bot)
	Map Boolean operation to string.
template<class T>
static bool	cmp (T x, Gecode::IntRelType r, T y)
	Compare x and y with respect to r.
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.
bool	eqv (void) const
	Test whether equivalence as reification mode is supported.
bool	imp (void) const
	Test whether implication as reification mode is supported.
bool	pmi (void) const
	Test whether reverse implication as reification mode is supported.
Related Symbols inherited from Test::Base
int	main (int argc, char *argv[])
	Main function.

Detailed Description

Test number of several equal integers equal to integer variable

Definition at line 231 of file mm-count.cpp.

Constructor & Destructor Documentation

IntArrayVar()

Test::Int::MiniModelCount::IntArrayVar::IntArrayVar ( Gecode::IntRelType irt0 )

inline

Create and register test.

Definition at line 237 of file mm-count.cpp.

Member Function Documentation

solution()

virtual bool Test::Int::MiniModelCount::IntArrayVar::solution ( const Assignment & x ) const

inlinevirtual

Test whether x is solution

Implements Test::Int::Test.

Definition at line 241 of file mm-count.cpp.

post()

virtual void Test::Int::MiniModelCount::IntArrayVar::post ( Gecode::Space & home, Gecode::IntVarArray & x )

inlinevirtual

Post constraint on x.

Implements Test::Int::Test.

Definition at line 249 of file mm-count.cpp.

Member Data Documentation

irt

Gecode::IntRelType Test::Int::MiniModelCount::IntArrayVar::irt

protected

Integer relation type to propagate.

Definition at line 234 of file mm-count.cpp.

---

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

• test/int/mm-count.cpp