Test::Set::Distinct Namespace Reference

---

Detailed Description

Tests for distinctness constraints.

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