Distinctness constraints
[Testing finite sets]

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

---

Variable Documentation

AtmostOne Test::Set::Distinct::_atmostone("Distinct::AtmostOne")