Gecode::Int::Count::ViewBase< VX, VY, VZ > Class Template Reference
Base-class for count propagators (view). More...
#include <count.hh>
Public Member Functions | |
virtual size_t | dispose (Space &home) |
Delete propagator and return its size. | |
virtual PropCost | cost (const Space &home, const ModEventDelta &med) const |
Cost function (defined as low linear). | |
virtual void | reschedule (Space &home) |
Schedule function. | |
Protected Member Functions | |
ViewBase (Space &home, ViewBase &p) | |
Constructor for cloning p. | |
ViewBase (Home home, ViewArray< VX > &x, VY y, VZ z, int c) | |
Constructor for creation. | |
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. |
Detailed Description
template<class VX, class VY, class VZ>
class Gecode::Int::Count::ViewBase< VX, VY, VZ >
Base-class for count propagators (view).
Definition at line 266 of file count.hh.
Constructor & Destructor Documentation
Gecode::Int::Count::ViewBase< VX, VY, VZ >::ViewBase | ( | Space & | home, | |
ViewBase< VX, VY, VZ > & | p | |||
) | [inline, protected] |
Constructor for cloning p.
Definition at line 50 of file view-base.hpp.
Gecode::Int::Count::ViewBase< VX, VY, VZ >::ViewBase | ( | Home | home, | |
ViewArray< VX > & | x, | |||
VY | y, | |||
VZ | z, | |||
int | c | |||
) | [inline, protected] |
Constructor for creation.
Definition at line 38 of file view-base.hpp.
Member Function Documentation
size_t Gecode::Int::Count::ViewBase< VX, VY, VZ >::dispose | ( | Space & | home | ) | [inline, virtual] |
Delete propagator and return its size.
Reimplemented from Gecode::Actor.
Definition at line 73 of file view-base.hpp.
PropCost Gecode::Int::Count::ViewBase< VX, VY, VZ >::cost | ( | const Space & | home, | |
const ModEventDelta & | med | |||
) | const [inline, virtual] |
Cost function (defined as low linear).
Implements Gecode::Propagator.
Definition at line 59 of file view-base.hpp.
void Gecode::Int::Count::ViewBase< VX, VY, VZ >::reschedule | ( | Space & | home | ) | [inline, virtual] |
void Gecode::Int::Count::ViewBase< VX, VY, VZ >::count | ( | Space & | home | ) | [inline, protected] |
Count how many views are equal now.
Definition at line 85 of file view-base.hpp.
int Gecode::Int::Count::ViewBase< VX, VY, VZ >::atleast | ( | void | ) | const [inline, protected] |
How many views are at least equal.
Definition at line 106 of file view-base.hpp.
int Gecode::Int::Count::ViewBase< VX, VY, VZ >::atmost | ( | void | ) | const [inline, protected] |
How many views are at most equal.
Definition at line 112 of file view-base.hpp.
bool Gecode::Int::Count::ViewBase< VX, VY, VZ >::sharing | ( | const ViewArray< VX > & | x, | |
const VY & | y, | |||
const VZ & | z | |||
) | [inline, static, protected] |
Test whether there is sharing of z with x or y.
Definition at line 123 of file view-base.hpp.
Member Data Documentation
ViewArray<VX> Gecode::Int::Count::ViewBase< VX, VY, VZ >::x [protected] |
VY Gecode::Int::Count::ViewBase< VX, VY, VZ >::y [protected] |
VZ Gecode::Int::Count::ViewBase< VX, VY, VZ >::z [protected] |
int Gecode::Int::Count::ViewBase< VX, VY, VZ >::c [protected] |
The documentation for this class was generated from the following files:
- gecode/int/count.hh
- gecode/int/count/view-base.hpp