Gecode::Int::Count::EqView< VX, VY, VZ, shr, dom > Class Template Reference
[Integer propagators]
Propagator for counting views (equal to number of equal views) More...
#include <count.hh>
Public Member Functions | |
EqView (Home home, ViewArray< VX > &x, VY y, VZ z, int c) | |
Constructor for creation. | |
virtual Actor * | copy (Space &home) |
Create copy during cloning. | |
virtual ExecStatus | propagate (Space &home, const ModEventDelta &med) |
Perform propagation. | |
Static Public Member Functions | |
static ExecStatus | post (Home home, ViewArray< VX > &x, VY y, VZ z, int c) |
Post propagator for . | |
Protected Member Functions | |
EqView (Space &home, EqView &p) | |
Constructor for cloning p. |
Detailed Description
template<class VX, class VY, class VZ, bool shr, bool dom>
class Gecode::Int::Count::EqView< VX, VY, VZ, shr, dom >
Propagator for counting views (equal 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, ZeroIntView, or IntSet.
Requires
#include <gecode/int/count.hh>
Definition at line 309 of file count.hh.
Constructor & Destructor Documentation
template<class VX , class VY , class VZ , bool shr, bool dom>
Gecode::Int::Count::EqView< VX, VY, VZ, shr, dom >::EqView | ( | Space & | home, | |
EqView< VX, VY, VZ, shr, dom > & | p | |||
) | [inline, protected] |
Constructor for cloning p.
Definition at line 59 of file view-eq.hpp.
template<class VX , class VY , class VZ , bool shr, bool dom>
Gecode::Int::Count::EqView< VX, VY, VZ, shr, dom >::EqView | ( | Home | home, | |
ViewArray< VX > & | x, | |||
VY | y, | |||
VZ | z, | |||
int | c | |||
) | [inline] |
Constructor for creation.
Definition at line 38 of file view-eq.hpp.
Member Function Documentation
template<class VX , class VY , class VZ , bool shr, bool dom>
Actor * Gecode::Int::Count::EqView< VX, VY, VZ, shr, dom >::copy | ( | Space & | home | ) | [inline, virtual] |
template<class VX , class VY , class VZ , bool shr, bool dom>
ExecStatus Gecode::Int::Count::EqView< VX, VY, VZ, shr, dom >::propagate | ( | Space & | home, | |
const ModEventDelta & | med | |||
) | [inline, virtual] |
template<class VX , class VY , class VZ , bool shr, bool dom>
ExecStatus Gecode::Int::Count::EqView< VX, VY, VZ, shr, dom >::post | ( | Home | home, | |
ViewArray< VX > & | x, | |||
VY | y, | |||
VZ | z, | |||
int | c | |||
) | [inline, static] |
Post propagator for .
Definition at line 44 of file view-eq.hpp.
The documentation for this class was generated from the following files:
- gecode/int/count.hh
- gecode/int/count/view-eq.hpp