main page
modules
namespaces
classes
files
Gecode home
Generated on Thu Jan 14 2016 02:26:03 for Gecode by
doxygen
1.8.5
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")