Go to the documentation of this file.
34 namespace Gecode {
namespace Int {
namespace Count {
36 template<
class VX,
class VY,
class VZ,
bool shr,
bool dom>
41 template<
class VX,
class VY,
class VZ,
bool shr,
bool dom>
55 template<
class VX,
class VY,
class VZ,
bool shr,
bool dom>
60 template<
class VX,
class VY,
class VZ,
bool shr,
bool dom>
66 template<
class VX,
class VY,
class VZ,
bool shr,
bool dom>
Post propagator for SetVar x
Post propagator for SetVar SetOpType SetVar y
ExecStatus ES_SUBSUMED(Propagator &p)
Base-class for count propagators (view)
const Gecode::ModEvent ME_INT_NONE
Domain operation has not changed domain.
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Base-class for both propagators and branchers.
bool assigned(void) const
Test whether view is assigned.
void atmost(Home home, const IntVarArgs &x, int n, int m, IntPropLevel ipl)
Post constraint .
Gecode toplevel namespace
#define GECODE_ES_CHECK(es)
Check whether execution status es is failed or subsumed, and forward failure or subsumption.
Propagator for counting views (greater or equal integer to number of equal views)
Home class for posting propagators
void dom(Home home, FloatVar x, FloatVal n)
Propagates .
ExecStatus post_true(Home home, VX x, ConstIntView y)
ModEventDelta modeventdelta(void) const
Return the modification event delta.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
bool isval(VY y)
Return whether y is a value.
ExecStatus prune(Space &home, ViewArray< VX > &x, ConstIntView)
virtual Actor * copy(Space &home)
Create copy during cloning.
GqView(Space &home, GqView &p)
Constructor for cloning p.
void count(Home home, const IntVarArgs &x, int n, IntRelType irt, int m, IntPropLevel)
Post propagator for .
Propagation has computed fixpoint.
static ExecStatus post(Home home, ViewArray< VX > &x, VY y, VZ z, int c)
Post propagator for .
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
Gecode::FloatVal c(-8, 8)
Propagator for counting views (greater or equal to number of equal views)
int ModEventDelta
Modification event deltas.
Propagation has not computed fixpoint.
#define GECODE_REWRITE(prop, post)
Rewrite propagator by executing post function.
int p
Number of positive literals for node type.