atmostOne.cpp File Reference

(Revision: 8137)

#include <gecode/set/distinct.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.