34 namespace Gecode {
namespace Set {
namespace Distinct {
51 for (
int i=
x.size();
i--;) {
int p
Number of positive literals for node type.
Node * x
Pointer to corresponding Boolean expression node.
Home class for posting propagators
ViewArray< SetView > x
Array of views.
Propagator for the AtMostOneIntersection constraint
AtmostOne(Space &home, AtmostOne &p)
Constructor for cloning p.
unsigned int c
Cardinality of the sets.
static ExecStatus post(Home home, ViewArray< SetView > x, unsigned int c)
Post propagator for and .
Set view for set variables
@ ES_OK
Execution is okay.
#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::FloatVal c(-8, 8)
Gecode::IntArgs i({1, 2, 3, 4})
Multi _c(Gecode::IntArgs({1, 2, 3}))