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 "gecode/int/gcc.hh"
Definition at line 278 of file gcc.hh.
Public Member Functions | |
virtual size_t | dispose (Space *home) |
Destructor. | |
virtual Actor * | copy (Space *home, bool share) |
Copy propagator during cloning. | |
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) |
Perform propagation. | |
Static Public Member Functions | |
static ExecStatus | post (Space *home, ViewArray< View > &x, ViewArray< Card > &k, bool all) |
Post propagator for views x and cardinalities k. | |
Protected Member Functions | |
Val (Space *home, bool share, Val< View, Card, isView > &p) | |
Constructor for cloning p. | |
Val (Space *home, ViewArray< View > &, ViewArray< Card > &, bool) | |
Constructor for posting. | |
Protected Attributes | |
ViewArray< View > | x |
Views on which to perform value-propagation. | |
ViewArray< Card > | k |
Array containing either fixed cardinalities or CardViews. | |
bool | card_all |
Stores whether all values in domains of the x-views are used for cardinality reasoning or whether we only use a subset of them. |
Constructor & Destructor Documentation
|
Constructor for cloning p.
|
|
Constructor for posting.
|
Member Function Documentation
|
Destructor.
Reimplemented from Gecode::Actor. |
|
Copy propagator during cloning.
Implements Gecode::Actor. |
|
Complexity depends on the time needed for value lookup in k which is O(n log n).
Implements Gecode::Propagator. |
|
Perform propagation.
Implements Gecode::Propagator. |
|
Post propagator for views x and cardinalities k. all denotes whether the propagator uses all value occuring in the domains of the problem vies specified in x. |
Member Data Documentation
|
Views on which to perform value-propagation.
|
|
Array containing either fixed cardinalities or CardViews.
|
|
Stores whether all values in domains of the x-views are used for cardinality reasoning or whether we only use a subset of them.
|
The documentation for this class was generated from the following files:
- gecode/int/gcc.hh (Revision: 3512)
- gecode/int/gcc/val.icc (Revision: 3512)