Gecode::Int::Count::BaseView< VX, VY, VZ, shr > Class Template Reference
#include <count.hh>
Inherits Gecode::Propagator.
Inherited by Gecode::Int::Count::EqView< VX, VY, VZ, shr >, Gecode::Int::Count::GqView< VX, VY, VZ, shr >, Gecode::Int::Count::LqView< VX, VY, VZ, shr >, and Gecode::Int::Count::NqView< VX, VY, VZ, shr >.
Detailed Description
template<class VX, class VY, class VZ, bool shr>
class Gecode::Int::Count::BaseView< VX, VY, VZ, shr >
Base-class for count propagators (view).
Definition at line 283 of file count.hh.
Public Member Functions | |
virtual size_t | dispose (Space *home) |
Delete propagator and return its size. | |
virtual PropCost | cost (ModEventDelta med) const |
Cost function (defined as dynamic PC_LINEAR_LO). | |
Protected Member Functions | |
BaseView (Space *home, bool shr, BaseView &p) | |
Constructor for cloning p. | |
BaseView (Space *home, ViewArray< VX > &x, VY y, VZ z, int c) | |
Constructor for creation. | |
Reflection::ActorSpec | spec (const Space *home, Reflection::VarMap &m, const Support::Symbol &name) const |
Specification for this propagator. | |
void | count (Space *home) |
Count how many views are equal now. | |
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. |
Constructor & Destructor Documentation
template<class VX, class VY, class VZ, bool shr>
Gecode::Int::Count::BaseView< VX, VY, VZ, shr >::BaseView | ( | Space * | home, | |
bool | shr, | |||
BaseView< VX, VY, VZ, shr > & | p | |||
) | [inline, protected] |
template<class VX, class VY, class VZ, bool shr>
Gecode::Int::Count::BaseView< VX, VY, VZ, shr >::BaseView | ( | Space * | home, | |
ViewArray< VX > & | x, | |||
VY | y, | |||
VZ | z, | |||
int | c | |||
) | [inline, protected] |
Member Function Documentation
template<class VX, class VY, class VZ, bool shr>
Reflection::ActorSpec Gecode::Int::Count::BaseView< VX, VY, VZ, shr >::spec | ( | const Space * | home, | |
Reflection::VarMap & | m, | |||
const Support::Symbol & | name | |||
) | const [inline, protected] |
template<class VX, class VY, class VZ, bool shr>
size_t Gecode::Int::Count::BaseView< VX, VY, VZ, shr >::dispose | ( | Space * | home | ) | [inline, virtual] |
template<class VX, class VY, class VZ, bool shr>
PropCost Gecode::Int::Count::BaseView< VX, VY, VZ, shr >::cost | ( | ModEventDelta | med | ) | const [inline, virtual] |
template<class VX, class VY, class VZ, bool shr>
void Gecode::Int::Count::BaseView< VX, VY, VZ, shr >::count | ( | Space * | home | ) | [inline, protected] |
template<class VX, class VY, class VZ, bool shr>
int Gecode::Int::Count::BaseView< VX, VY, VZ, shr >::atleast | ( | void | ) | const [inline, protected] |
template<class VX, class VY, class VZ, bool shr>
int Gecode::Int::Count::BaseView< VX, VY, VZ, shr >::atmost | ( | void | ) | const [inline, protected] |
template<class VX, class VY, class VZ, bool shr>
bool Gecode::Int::Count::BaseView< VX, VY, VZ, shr >::sharing | ( | const ViewArray< VX > & | x, | |
const VY & | y, | |||
const VZ & | z | |||
) | [inline, static, protected] |
Member Data Documentation
template<class VX, class VY, class VZ, bool shr>
ViewArray<VX> Gecode::Int::Count::BaseView< VX, VY, VZ, shr >::x [protected] |
template<class VX, class VY, class VZ, bool shr>
VY Gecode::Int::Count::BaseView< VX, VY, VZ, shr >::y [protected] |
template<class VX, class VY, class VZ, bool shr>
VZ Gecode::Int::Count::BaseView< VX, VY, VZ, shr >::z [protected] |
template<class VX, class VY, class VZ, bool shr>
int Gecode::Int::Count::BaseView< VX, VY, VZ, shr >::c [protected] |
The documentation for this class was generated from the following files:
- gecode/int/count.hh (Revision: 7285)
- gecode/int/count/view.icc (Revision: 7289)