main page
modules
namespaces
classes
files
Gecode home
Generated on Sat Aug 16 2014 17:19:28 for Gecode by
doxygen
1.8.7
Classes
|
Variables
Distinctness constraints
Testing finite sets
Classes
class
Test::Set::Distinct::AtmostOne
Test for the atmostone propagator
More...
Variables
AtmostOne
Test::Set::Distinct::_atmostone
("Distinct::AtmostOne")
Detailed Description
Variable Documentation
AtmostOne Test::Set::Distinct::_atmostone("Distinct::AtmostOne")