38 namespace Gecode {
namespace Set {
namespace Distinct {
AtmostOne(Space &home, bool share, AtmostOne &p)
Constructor for cloning p.
Propagator for the AtMostOneIntersection constraint
ViewArray< SetView > x
Array of views.
Multi _c(Gecode::IntArgs(3, 1, 2, 3))
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.
unsigned int c
Cardinality of the sets.
Set view for set variables
Post propagator for SetVar x
Gecode toplevel namespace
int size(void) const
Return size of array (number of elements)
Home class for posting propagators