Gecode::Int::GCC::Dom< View, Card, isView > Class Template Reference
[Integer propagators]
#include <gcc.hh>
Inherits Gecode::Propagator.
List of all members.
Detailed Description
template<class View, class Card, bool isView>
class Gecode::Int::GCC::Dom< View, Card, isView >
Domain-consistent global cardinality propagator.
- [Reference]
- The algorithm is taken from:
@PROCEEDINGS{improvedgcc,
title = {Improved Algorithms for the
Global Cardinality Constraint},
year = {2004},
volume = {3528},
address = {Toronto, Canada},
month = {September},
author = {Claude-Guy Quimper and Peter van Beek and
Alejandro López-Ortiz and Alexander Golynski},
booktitle = {Proceedings of the 10th International
Conference on Principles and Practice of
Constraint Programming},
url = {http://ai.uwaterloo.ca/~vanbeek/publications},
}
Requires
Definition at line 168 of file gcc.hh.
|
Public Member Functions |
virtual | ~Dom (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.
|
Static Public Member Functions |
static ExecStatus | post (Space *home, ViewArray< View > &, Card &) |
Protected Member Functions |
| Dom (Space *home, bool, Dom< View, VarCard, isView > &) |
| Dom (Space *home, bool, Dom< View, FixCard, isView > &) |
| Dom (Space *home, ViewArray< View > &, Card &) |
Protected Attributes |
ViewArray< View > | x |
ViewArray< View > | y |
Card | k |
Card | l |
VarValGraph< View, Card, isView > * | vvg |
Constructor & Destructor Documentation
Member Function Documentation
template<class View, class Card, bool isView> |
void Gecode::Int::GCC::Dom< View, Card, isView >::flush |
( |
void |
|
) |
[inline, virtual] |
|
Member Data Documentation
The documentation for this class was generated from the following files: