atmostOne.hpp File Reference
(Revision: 9878)
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace | |
namespace | Gecode::Set |
Finite integer sets. | |
namespace | Gecode::Set::Distinct |
Propagators for global distinctness constraints. |