Generated on Tue Apr 18 10:23:46 2017 for Gecode by doxygen 1.6.3

# Gecode::Int::Count::ViewBase< VX, VY, VZ > Class Template Reference

Base-class for count propagators (view). More...

`#include <count.hh>`

List of all members.

## 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, bool share, 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 267 of file count.hh.

## Constructor & Destructor Documentation

template<class VX , class VY , class VZ >
 Gecode::Int::Count::ViewBase< VX, VY, VZ >::ViewBase ( Space & home, bool share, ViewBase< VX, VY, VZ > & p ) ` [inline, protected]`

Constructor for cloning p.

Definition at line 54 of file view-base.hpp.

template<class VX , class VY , class VZ >
 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 42 of file view-base.hpp.

## Member Function Documentation

template<class VX , class VY , class VZ >
 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 77 of file view-base.hpp.

template<class VX , class VY , class VZ >
 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 63 of file view-base.hpp.

template<class VX , class VY , class VZ >
 void Gecode::Int::Count::ViewBase< VX, VY, VZ >::reschedule ( Space & home ) ` [inline, virtual]`

Schedule function.

Implements Gecode::Propagator.

Definition at line 69 of file view-base.hpp.

template<class VX , class VY , class VZ >
 void Gecode::Int::Count::ViewBase< VX, VY, VZ >::count ( Space & home ) ` [inline, protected]`

Count how many views are equal now.

Definition at line 89 of file view-base.hpp.

template<class VX , class VY , class VZ >
 int Gecode::Int::Count::ViewBase< VX, VY, VZ >::atleast ( void ) const` [inline, protected]`

How many views are at least equal.

Definition at line 110 of file view-base.hpp.

template<class VX , class VY , class VZ >
 int Gecode::Int::Count::ViewBase< VX, VY, VZ >::atmost ( void ) const` [inline, protected]`

How many views are at most equal.

Definition at line 116 of file view-base.hpp.

template<class VX , class VY , class VZ >
 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 127 of file view-base.hpp.

## Member Data Documentation

template<class VX, class VY, class VZ>
 ViewArray Gecode::Int::Count::ViewBase< VX, VY, VZ >::x` [protected]`

Views still to count.

Definition at line 270 of file count.hh.

template<class VX, class VY, class VZ>
 VY Gecode::Int::Count::ViewBase< VX, VY, VZ >::y` [protected]`

View to compare to.

Definition at line 272 of file count.hh.

template<class VX, class VY, class VZ>
 VZ Gecode::Int::Count::ViewBase< VX, VY, VZ >::z` [protected]`

View which yields result of counting.

Definition at line 274 of file count.hh.

template<class VX, class VY, class VZ>
 int Gecode::Int::Count::ViewBase< VX, VY, VZ >::c` [protected]`

Number of views which are equal and have been eliminated.

Definition at line 276 of file count.hh.

The documentation for this class was generated from the following files: