Generated on Mon May 5 05:54:20 2008 for Gecode by doxygen 1.5.5

Test::Set::Distinct Namespace Reference


Detailed Description

Tests for distinctness constraints.


Classes

class  AtmostOne
 Test for the atmostone propagator. More...

Variables

AtmostOne _atmostone ("Distinct::AtmostOne")