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 Actor * | copy (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] |
|
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] |
|
Member Function Documentation
template<class View, class Card, bool isView, bool shared> |
void Gecode::Int::GCC::BndImp< View, Card, isView, shared >::flush |
( |
void |
|
) |
[virtual] |
|
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] |
|
template<class View, class Card, bool isView, bool shared> |
PropCost Gecode::Int::GCC::BndImp< View, Card, isView, shared >::cost |
( |
void |
|
) |
const [inline, virtual] |
|
Member Data Documentation
template<class View, class Card, bool isView, bool shared> |
Card Gecode::Int::GCC::BndImp< View, Card, isView, shared >::k [protected] |
|
The documentation for this class was generated from the following files: