Test::Assign::Set Class Reference

Test assignment with disjoint union propagator More...

List of all members.

Public Member Functions
	Set (const std::string &s, const Gecode::IntSet &d, int n)
	Create and register test.
virtual void	post (Gecode::Space &home, Gecode::SetVarArray &x)
	Post propagators on variables x.

---

Detailed Description

Test assignment with disjoint union propagator

Definition at line 41 of file set.cpp.

---

Constructor & Destructor Documentation

Test::Assign::Set::Set	(	const std::string &	s,
		const Gecode::IntSet &	d,
		int	n
	)			[inline]

Create and register test.

Definition at line 44 of file set.cpp.

---

Member Function Documentation

virtual void Test::Assign::Set::post	(	Gecode::Space &	home,
		Gecode::SetVarArray &	x
	)			[inline, virtual]

Post propagators on variables x.

Implements Test::Assign::SetTest.

Definition at line 47 of file set.cpp.

---

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

• test/assign/set.cpp