distinct.cpp File Reference

(Revision: 8082)

#include "test/set.hh"

Go to the source code of this file.

Classes
class	Test::Set::Distinct::AtmostOne
	Test for the atmostone propagator. More...
Namespaces
namespace	Test
	General test support.
namespace	Test::Set
	Testing finite sets.
namespace	Test::Set::Distinct
	Tests for distinctness constraints.
Variables
AtmostOne	Test::Set::Distinct::_atmostone ("Distinct::AtmostOne")