Test::Set::Distinct Namespace Reference

Tests for distinctness constraints More...

Classes
class	AtmostOne
	Test for the atmostone propagator More...
Variables
AtmostOne	_atmostone ("Distinct::AtmostOne")

---

Detailed Description

Tests for distinctness constraints