Gecode::Int::GCC::Val< View, Card, isView > Class Template Reference
[Integer propagators]
#include <gcc.hh>
Inherits Gecode::Propagator.
Detailed Description
template<class View, class Card, bool isView>
class Gecode::Int::GCC::Val< View, Card, isView >
Value consistent global cardinality propagator.
Requires
#include "int/gcc.hh"
Definition at line 199 of file gcc.hh.
Public Member Functions | |
virtual | ~Val (void) |
virtual Actor * | copy (Space *home, bool share) |
Create copy. | |
virtual PropCost | cost (void) const |
Complexity depends on the time needed for value lookup in k which is O(n log n). | |
virtual ExecStatus | propagate (Space *home) |
Propagation function. | |
Static Public Member Functions | |
static ExecStatus | post (Space *home, ViewArray< View > &, Card &) |
Protected Member Functions | |
Val (Space *home, bool, Val< View, VarCard, isView > &) | |
Val (Space *home, bool, Val< View, FixCard, isView > &) | |
Val (Space *home, ViewArray< View > &, Card &) | |
Protected Attributes | |
ViewArray< View > | x |
Card | k |
Constructor & Destructor Documentation
|
|
|
|
|
|
|
|
Member Function Documentation
|
Create copy.
Implements Gecode::Actor. |
|
Complexity depends on the time needed for value lookup in k which is O(n log n).
Implements Gecode::Propagator. |
|
Propagation function.
Implements Gecode::Propagator. |
|
|
Member Data Documentation
|
|
|
|
The documentation for this class was generated from the following files:
- int/gcc.hh (Revision: 2696)
- int/gcc/val.icc (Revision: 2696)