Propagator for counting views (not equal integer to number of equal views) More...
#include <count.hh>
Public Member Functions | |
virtual Actor * | copy (Space &home, bool share) |
Copy propagator during cloning. | |
virtual PropCost | cost (const Space &home, const ModEventDelta &med) const |
Cost function (defined as low linear) | |
virtual ExecStatus | propagate (Space &home, const ModEventDelta &med) |
Perform propagation. | |
virtual size_t | dispose (Space &home) |
Delete propagator and return its size. | |
Static Public Member Functions | |
static ExecStatus | post (Home home, ViewArray< VX > &x, VY y, int c) |
Post propagator for ![]() | |
Protected Member Functions | |
bool | resubscribe (Space &home, VX &z) |
Update subscription. | |
NqInt (Home home, ViewArray< VX > &x, VY y, int c) | |
Constructor for posting. | |
NqInt (Space &home, bool share, NqInt &p) | |
Constructor for cloning p. | |
Protected Attributes | |
ViewArray< VX > | x |
Views not yet subscribed to. | |
VY | y |
View to compare with. | |
int | c |
Righthandside. |
Propagator for counting views (not equal integer to number of equal views)
Not all combinations of views are possible. The types VX and VY must be either equal, or VY must be ConstIntView.
Requires
#include <gecode/int/count.hh>
Gecode::Int::Count::NqInt< VX, VY >::NqInt | ( | Home | home, |
ViewArray< VX > & | x, | ||
VY | y, | ||
int | c | ||
) | [inline, protected] |
Gecode::Int::Count::NqInt< VX, VY >::NqInt | ( | Space & | home, |
bool | share, | ||
NqInt< VX, VY > & | p | ||
) | [inline, protected] |
bool Gecode::Int::Count::NqInt< VX, VY >::resubscribe | ( | Space & | home, |
VX & | z | ||
) | [inline, protected] |
Actor * Gecode::Int::Count::NqInt< VX, VY >::copy | ( | Space & | home, |
bool | share | ||
) | [virtual] |
PropCost Gecode::Int::Count::NqInt< VX, VY >::cost | ( | const Space & | home, |
const ModEventDelta & | med | ||
) | const [virtual] |
Cost function (defined as low linear)
Reimplemented from Gecode::BinaryPropagator< VX, PC_INT_DOM >.
ExecStatus Gecode::Int::Count::NqInt< VX, VY >::propagate | ( | Space & | home, |
const ModEventDelta & | med | ||
) | [virtual] |
ExecStatus Gecode::Int::Count::NqInt< VX, VY >::post | ( | Home | home, |
ViewArray< VX > & | x, | ||
VY | y, | ||
int | c | ||
) | [inline, static] |
size_t Gecode::Int::Count::NqInt< VX, VY >::dispose | ( | Space & | home | ) | [inline, virtual] |
Delete propagator and return its size.
Reimplemented from Gecode::BinaryPropagator< VX, PC_INT_DOM >.
ViewArray<VX> Gecode::Int::Count::NqInt< VX, VY >::x [protected] |
VY Gecode::Int::Count::NqInt< VX, VY >::y [protected] |
int Gecode::Int::Count::NqInt< VX, VY >::c [protected] |