Gecode::Int::Count::Base< VX, VY, VZ, Rel, shr > Class Template Reference
#include <count.hh>
Inherits Gecode::Propagator.
Inherited by Gecode::Int::Count::Eq< VX, VY, VZ, Rel, shr >, Gecode::Int::Count::Gq< VX, VY, VZ, Rel, shr >, Gecode::Int::Count::Lq< VX, VY, VZ, Rel, shr >, and Gecode::Int::Count::Nq< VX, VY, VZ, Rel, shr >.
Detailed Description
template<class VX, class VY, class VZ, class Rel, bool shr>
class Gecode::Int::Count::Base< VX, VY, VZ, Rel, shr >
Base-class for count propagators.
Definition at line 41 of file count.hh.
Public Member Functions | |
virtual | ~Base (void) |
Destructor. | |
virtual PropCost | cost (void) const |
Cost function (defined as dynamic PC_LINEAR_LO). | |
Protected Member Functions | |
Base (Space *home, bool shr, Base &p) | |
Constructor for cloning p. | |
Base (Space *home, ViewArray< VX > &x, VY y, VZ z, int c) | |
Constructor for creation. | |
int | atleast (void) const |
How many views are at least equal. | |
int | atmost (void) const |
How many views are at most equal. | |
Static Protected Member Functions | |
static bool | sharing (const ViewArray< VX > &x, const VY &y, const VZ &z) |
Test whether there is sharing of z with x or y. | |
Protected Attributes | |
ViewArray< VX > | x |
Views still to count. | |
VY | y |
View to compare to. | |
VZ | z |
View which yields result of counting. | |
int | c |
Number of views which are equal and have been eliminated. | |
Rel | r |
Equality relation used in counting. |
Constructor & Destructor Documentation
|
Constructor for cloning p.
|
|
Constructor for creation.
|
|
Destructor.
|
Member Function Documentation
|
Cost function (defined as dynamic PC_LINEAR_LO).
Implements Gecode::Propagator. |
|
How many views are at least equal.
|
|
How many views are at most equal.
|
|
Test whether there is sharing of z with x or y.
|
Member Data Documentation
|
Views still to count.
|
|
View to compare to.
|
|
View which yields result of counting.
|
|
Number of views which are equal and have been eliminated.
|
|
Equality relation used in counting.
|
The documentation for this class was generated from the following files:
- int/count.hh (Revision: 2497)
- int/count/count.icc (Revision: 2497)