38 namespace Gecode {
namespace Int {
namespace Count {
40 template<
class VX,
class VY,
class VZ,
bool shr,
bool dom>
43 :
ViewBase<VX,VY,VZ>(home,x,y,z,c) {}
45 template<
class VX,
class VY,
class VZ,
bool shr,
bool dom>
59 template<
class VX,
class VY,
class VZ,
bool shr,
bool dom>
63 :
ViewBase<VX,VY,VZ>(home,share,p) {}
65 template<
class VX,
class VY,
class VZ,
bool shr,
bool dom>
71 template<
class VX,
class VY,
class VZ,
bool shr,
bool dom>
#define GECODE_REWRITE(prop, post)
Rewrite propagator by executing post function.
ExecStatus ES_SUBSUMED(Propagator &p)
Base-class for count propagators (view)
void atmost(Home home, const IntVarArgs &x, int n, int m, IntConLevel icl=ICL_DEF)
Post constraint .
void dom(Home home, FloatVar x, FloatVal n)
Propagates .
Propagation has computed fixpoint.
ExecStatus prune(Space &home, ViewArray< VX > &x, ConstIntView)
Base-class for both propagators and branchers.
Propagator for counting views (greater or equal to number of equal views)
#define GECODE_ES_CHECK(es)
Check whether execution status es is failed or subsumed, and forward failure or subsumption.
Gecode::FloatVal c(-8, 8)
int p
Number of positive literals for node type.
ViewTypeDesc vtd(VY y)
Return the view type description of y.
ModEventDelta modeventdelta(void) const
Return the modification event delta.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
static ExecStatus post(Home home, ViewArray< VX > &x, VY y, VZ z, int c)
Post propagator for .
Propagator for counting views (greater or equal integer to number of equal views) ...
Node * x
Pointer to corresponding Boolean expression node.
void count(Home home, const IntVarArgs &x, int n, IntRelType irt, int m, IntConLevel)
Post propagator for .
Propagation has not computed fixpoint.
int size(void) const
Return size of array (number of elements)
Gecode toplevel namespace
int ModEventDelta
Modification event deltas.
Home class for posting propagators
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
const Gecode::ModEvent ME_INT_NONE
Domain operation has not changed domain.
virtual Actor * copy(Space &home, bool share)
Create copy during cloning.
GqView(Space &home, bool share, GqView &p)
Constructor for cloning p.
ExecStatus post_true(Home home, VX x, ConstIntView y)