
Tests for distinctness constraints More...
Classes | |
| class | AtmostOne |
| Test for the atmostone propagator More... | |
Variables | |
| AtmostOne | _atmostone ("Distinct::AtmostOne") |
Tests for distinctness constraints
| AtmostOne Test::Set::Distinct::_atmostone("Distinct::AtmostOne") | ( | "Distinct::AtmostOne" | ) |