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