distinct.cc File Reference

(Revision: 5260)

#include "test/set.hh"

Go to the source code of this file.

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