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") |