Generated on Wed Sep 5 2012 18:52:36 for Gecode by doxygen 1.8.1.1
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)
- Public Member Functions inherited from Gecode::Propagator
virtual ExecStatus propagate (Space &home, const ModEventDelta &med)=0
 Propagation function.
ModEventDelta modeventdelta (void) const
 Return the modification event delta.
virtual ExecStatus advise (Space &home, Advisor &a, const Delta &d)
 Advise function.
double afc (void) const
 Return the accumlated failure count.

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.
- Protected Member Functions inherited from Gecode::Propagator
 Propagator (Home home)
 Constructor for posting.
 Propagator (Space &home, bool share, Propagator &p)
 Constructor for cloning p.

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 265 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 
)
inlineprotected

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 
)
inlineprotected

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)
inlinevirtual

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Definition at line 69 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
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 >::count ( Space home)
inlineprotected

Count how many views are equal now.

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

template<class VX , class VY , class VZ >
int Gecode::Int::Count::ViewBase< VX, VY, VZ >::atleast ( void  ) const
inlineprotected

How many views are at least equal.

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

template<class VX , class VY , class VZ >
int Gecode::Int::Count::ViewBase< VX, VY, VZ >::atmost ( void  ) const
inlineprotected

How many views are at most equal.

Definition at line 108 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 
)
inlinestaticprotected

Test whether there is sharing of z with x or y.

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


Member Data Documentation

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

Views still to count.

Definition at line 268 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 270 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 272 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 274 of file count.hh.


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