#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 | |
Test | |
General test support. | |
Test::Set | |
Testing finite sets. | |
Test::Set::Distinct | |
Tests for distinctness constraints | |
Variables | |
AtmostOne | Test::Set::Distinct::_atmostone ("Distinct::AtmostOne") |