Generated on Thu Mar 22 10:39:58 2012 for Gecode by doxygen 1.6.3

Gecode::Int::NValues::BoolBase< VY > Class Template Reference
[Integer propagators]

Number of values propagator for Boolean views base class. More...

#include <nvalues.hh>

List of all members.

Public Member Functions

virtual ExecStatus advise (Space &home, Advisor &a, const Delta &d)
 Give advice to propagator.
virtual PropCost cost (const Space &home, const ModEventDelta &med) const
 Cost function (defined as low unary).
virtual size_t dispose (Space &home)
 Delete propagator and return its size.

Protected Member Functions

 BoolBase (Home home, int status, ViewArray< BoolView > &x, VY y)
 Constructor for posting.
 BoolBase (Space &home, bool share, BoolBase< VY > &p)
 Constructor for cloning p.

Protected Attributes

int status
 Status information about the views.
Council< ViewAdvisor< BoolView > > c
 The advisor council.
VY y
 The view for counting the number of values.

Static Protected Attributes

static const int VS_ZERO = 1 << 0
 View status: a zero has already been encountered.
static const int VS_ONE = 1 << 1
 View status: a one has already been encountered.

Detailed Description

template<class VY>
class Gecode::Int::NValues::BoolBase< VY >

Number of values propagator for Boolean views base class.

Requires

Definition at line 299 of file nvalues.hh.


Constructor & Destructor Documentation

template<class VY >
Gecode::Int::NValues::BoolBase< VY >::BoolBase ( Home  home,
int  status,
ViewArray< BoolView > &  x,
VY  y 
) [inline, protected]

Constructor for posting.

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

template<class VY >
Gecode::Int::NValues::BoolBase< VY >::BoolBase ( Space home,
bool  share,
BoolBase< VY > &  p 
) [inline, protected]

Constructor for cloning p.

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


Member Function Documentation

template<class VY >
ExecStatus Gecode::Int::NValues::BoolBase< VY >::advise ( Space home,
Advisor a,
const Delta d 
) [inline, virtual]

Give advice to propagator.

Reimplemented from Gecode::Propagator.

Definition at line 68 of file bool-base.hpp.

template<class VY >
PropCost Gecode::Int::NValues::BoolBase< VY >::cost ( const Space home,
const ModEventDelta med 
) const [inline, virtual]

Cost function (defined as low unary).

Implements Gecode::Propagator.

Definition at line 62 of file bool-base.hpp.

template<class VY >
size_t Gecode::Int::NValues::BoolBase< VY >::dispose ( Space home  )  [inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

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


Member Data Documentation

template<class VY>
const int Gecode::Int::NValues::BoolBase< VY >::VS_ZERO = 1 << 0 [static, protected]

View status: a zero has already been encountered.

Definition at line 302 of file nvalues.hh.

template<class VY>
const int Gecode::Int::NValues::BoolBase< VY >::VS_ONE = 1 << 1 [static, protected]

View status: a one has already been encountered.

Definition at line 304 of file nvalues.hh.

template<class VY>
int Gecode::Int::NValues::BoolBase< VY >::status [protected]

Status information about the views.

Definition at line 306 of file nvalues.hh.

template<class VY>
Council<ViewAdvisor<BoolView> > Gecode::Int::NValues::BoolBase< VY >::c [protected]

The advisor council.

Definition at line 308 of file nvalues.hh.

template<class VY>
VY Gecode::Int::NValues::BoolBase< VY >::y [protected]

The view for counting the number of values.

Definition at line 310 of file nvalues.hh.


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