38 namespace Gecode {
namespace Set {
namespace Distinct {
55 for (
int i=x.
size();
i--;) {
AtmostOne(Space &home, bool share, AtmostOne &p)
Constructor for cloning p.
Propagator for the AtMostOneIntersection constraint
Gecode::FloatVal c(-8, 8)
int p
Number of positive literals for node type.
Gecode::IntArgs i(4, 1, 2, 3, 4)
static ExecStatus post(Home home, ViewArray< SetView > x, unsigned int c)
Post propagator for and .
#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.
Set view for set variables
Node * x
Pointer to corresponding Boolean expression node.
int size(void) const
Return size of array (number of elements)
Gecode toplevel namespace
Home class for posting propagators
Multi _c(Gecode::IntArgs(3, 1, 2, 3))