34#ifndef __GECODE_SET_ATMOSTONE_HH__
35#define __GECODE_SET_ATMOSTONE_HH__
int p
Number of positive literals for node type.
Base-class for both propagators and branchers.
Home class for posting propagators
ModEventDelta med
A set of modification events (used during propagation)
Propagator for the AtMostOneIntersection constraint
AtmostOne(Space &home, AtmostOne &p)
Constructor for cloning p.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
unsigned int c
Cardinality of the sets.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
static ExecStatus post(Home home, ViewArray< SetView > x, unsigned int c)
Post propagator for and .
Propagator for negated equality
#define GECODE_SET_EXPORT
int ModEventDelta
Modification event deltas.
Gecode toplevel namespace