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>
42 template<
class VX,
class VY,
class VZ,
bool shr,
bool dom>
57 template<
class VX,
class VY,
class VZ,
bool shr,
bool dom>
62 template<
class VX,
class VY,
class VZ,
bool shr,
bool dom>
68 template<
class VX,
class VY,
class VZ,
bool shr,
bool dom>
88 ::
post(home(*
this),
x,yc,
z.val()+
c)));
Post propagator for SetVar x
Post propagator for SetVar SetOpType SetVar y
ExecStatus ES_SUBSUMED(Propagator &p)
Base-class for count propagators (view)
void atleast(Home home, const IntVarArgs &x, int n, int m, IntPropLevel ipl)
Post constraint .
const Gecode::ModEvent ME_INT_NONE
Domain operation has not changed domain.
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
ExecStatus post_false(Home home, VX x, ConstIntView y)
Propagator for counting views (equal integer to number of equal views)
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 .
virtual Actor * copy(Space &home)
Create copy during cloning.
Gecode toplevel namespace
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
#define GECODE_ES_CHECK(es)
Check whether execution status es is failed or subsumed, and forward failure or subsumption.
Home class for posting propagators
void dom(Home home, FloatVar x, FloatVal n)
Propagates .
ExecStatus post_true(Home home, VX x, ConstIntView y)
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
ModEventDelta modeventdelta(void) const
Return the modification event delta.
bool isval(VY y)
Return whether y is a value.
ExecStatus prune(Space &home, ViewArray< VX > &x, ConstIntView)
EqView(Space &home, EqView &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.
Propagator for counting views (equal to number of equal views)
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
Gecode::FloatVal c(-8, 8)
static ExecStatus post(Home home, ViewArray< VX > &x, VY y, VZ z, int c)
Post propagator for .
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.