Generated on Wed Jan 4 17:49:21 2006 for Gecode by doxygen 1.4.6

Gecode::Int::GCC::BndImp< View, Card, isView, shared > Class Template Reference

#include <gcc.hh>

Inherits Gecode::Propagator.

List of all members.


Detailed Description

template<class View, class Card, bool isView, bool shared>
class Gecode::Int::GCC::BndImp< View, Card, isView, shared >

Implementation of bounds-consistent global cardinality propagator.

Definition at line 122 of file gcc.hh.

Public Member Functions

virtual ~BndImp (void)
virtual void flush (void)
 Flush cache datastructures.
virtual Actorcopy (Space *home, bool share)
 Create copy.
virtual PropCost cost (void) const
 Cost function.
virtual ExecStatus propagate (Space *home)
 Propagation function.

Protected Member Functions

 BndImp (Space *home, bool, BndImp< View, VarCard, isView, shared > &)
 BndImp (Space *home, bool, BndImp< View, FixCard, isView, shared > &)
 BndImp (Space *home, ViewArray< View > &, Card &)

Protected Attributes

ViewArray< View > x
ViewArray< View > y
Card k
PartialSum< Card > * lps
PartialSum< Card > * ups


Constructor & Destructor Documentation

template<class View, class Card, bool isView, bool shared>
Gecode::Int::GCC::BndImp< View, Card, isView, shared >::BndImp Space home,
bool  ,
BndImp< View, VarCard, isView, shared > & 
[inline, protected]
 

Definition at line 149 of file bnd.icc.

template<class View, class Card, bool isView, bool shared>
Gecode::Int::GCC::BndImp< View, Card, isView, shared >::BndImp Space home,
bool  ,
BndImp< View, FixCard, isView, shared > & 
[inline, protected]
 

Definition at line 159 of file bnd.icc.

template<class View, class Card, bool isView, bool shared>
Gecode::Int::GCC::BndImp< View, Card, isView, shared >::BndImp Space home,
ViewArray< View > &  ,
Card & 
[inline, protected]
 

Definition at line 137 of file bnd.icc.

template<class View, class Card, bool isView, bool shared>
Gecode::Int::GCC::BndImp< View, Card, isView, shared >::~BndImp void   )  [inline, virtual]
 

Definition at line 169 of file bnd.icc.


Member Function Documentation

template<class View, class Card, bool isView, bool shared>
void Gecode::Int::GCC::BndImp< View, Card, isView, shared >::flush void   )  [virtual]
 

Flush cache datastructures.

Reimplemented from Gecode::Actor.

Definition at line 352 of file bnd.icc.

template<class View, class Card, bool isView, bool shared>
Actor * Gecode::Int::GCC::BndImp< View, Card, isView, shared >::copy Space home,
bool  share
[inline, virtual]
 

Create copy.

Implements Gecode::Actor.

Definition at line 180 of file bnd.icc.

template<class View, class Card, bool isView, bool shared>
PropCost Gecode::Int::GCC::BndImp< View, Card, isView, shared >::cost void   )  const [inline, virtual]
 

Cost function.

Implements Gecode::Propagator.

Definition at line 186 of file bnd.icc.

template<class View, class Card, bool isView, bool shared>
ExecStatus Gecode::Int::GCC::BndImp< View, Card, isView, shared >::propagate Space home  )  [inline, virtual]
 

Propagation function.

Implements Gecode::Propagator.

Definition at line 201 of file bnd.icc.


Member Data Documentation

template<class View, class Card, bool isView, bool shared>
ViewArray<View> Gecode::Int::GCC::BndImp< View, Card, isView, shared >::x [protected]
 

Definition at line 125 of file gcc.hh.

template<class View, class Card, bool isView, bool shared>
ViewArray<View> Gecode::Int::GCC::BndImp< View, Card, isView, shared >::y [protected]
 

Definition at line 126 of file gcc.hh.

template<class View, class Card, bool isView, bool shared>
Card Gecode::Int::GCC::BndImp< View, Card, isView, shared >::k [protected]
 

Definition at line 127 of file gcc.hh.

template<class View, class Card, bool isView, bool shared>
PartialSum<Card>* Gecode::Int::GCC::BndImp< View, Card, isView, shared >::lps [protected]
 

Definition at line 128 of file gcc.hh.

template<class View, class Card, bool isView, bool shared>
PartialSum<Card>* Gecode::Int::GCC::BndImp< View, Card, isView, shared >::ups [protected]
 

Definition at line 129 of file gcc.hh.


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