atmostOne.cpp File Reference
#include <gecode/set/distinct.hh>
#include <gecode/set.hh>
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. |