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