34namespace Gecode {
namespace Set {
namespace Distinct {
51 for (
int i=
x.
size(); i--;) {
int p
Number of positive literals for node type.
Home class for posting propagators
Propagator for the AtMostOneIntersection constraint
AtmostOne(Space &home, AtmostOne &p)
Constructor for cloning p.
unsigned int c
Cardinality of the sets.
Set view for set variables
int size(void) const
Return size of array (number of elements)
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
const Gecode::PropCond PC_SET_ANY
Propagate when any bound or the cardinality of a view changes.
Gecode toplevel namespace
@ ES_OK
Execution is okay.
Post propagator for SetVar x