Generated on Tue Sep 25 2012 20:53:29 for Gecode by doxygen 1.7.5
Gecode::Int::Count::IntBase Class Reference

Baseclass for count propagators (integer) More...

#include <count.hh>

List of all members.

Public Member Functions

virtual PropCost cost (const Space &home, const ModEventDelta &med) const
 Cost function (defined as low linear)
virtual size_t dispose (Space &home)
 Delete propagator and return its size.

Protected Member Functions

 IntBase (Space &home, bool share, IntBase &p)
 Constructor for cloning p.
 IntBase (Home home, ViewArray< VX > &x, int n_s, VY y, int c)
 Constructor for creation.

Protected Attributes

ViewArray< VX > x
 Views still to count.
int n_s
 Views from x[0] ... x[n_s-1] have subscriptions.
VY y
 View to compare to.
int c
 Number of views which are equal and have been eliminated.

Detailed Description

Baseclass for count propagators (integer)


Constructor & Destructor Documentation

Gecode::Int::Count::IntBase::IntBase ( Space home,
bool  share,
IntBase p 
) [protected]

Constructor for cloning p.

Gecode::Int::Count::IntBase::IntBase ( Home  home,
ViewArray< VX > &  x,
int  n_s,
VY  y,
int  c 
) [inline, protected]

Constructor for creation.

Definition at line 42 of file int-base.hpp.


Member Function Documentation

PropCost Gecode::Int::Count::IntBase::cost ( const Space home,
const ModEventDelta med 
) const [virtual]

Cost function (defined as low linear)

Implements Gecode::Propagator.

Definition at line 74 of file int-base.hpp.

size_t Gecode::Int::Count::IntBase::dispose ( Space home) [inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

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


Member Data Documentation

Views still to count.

Definition at line 142 of file count.hh.

Views from x[0] ... x[n_s-1] have subscriptions.

Definition at line 144 of file count.hh.

View to compare to.

Definition at line 146 of file count.hh.

Number of views which are equal and have been eliminated.

Definition at line 148 of file count.hh.


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