main page
modules
namespaces
classes
files
Gecode home
Generated on Wed Dec 13 2017 05:47:47 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")