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
template<class View, class Card, bool isView>
Gecode::Int::GCC::Val< View, Card, isView >::Val | ( | Space * | home, | |
bool | share, | |||
Val< View, Card, isView > & | p | |||
) | [inline, protected] |
template<class View, class Card, bool isView>
Gecode::Int::GCC::Val< View, Card, isView >::Val | ( | Space * | home, | |
ViewArray< View > & | , | |||
ViewArray< Card > & | , | |||
bool | ||||
) | [inline, protected] |
Member Function Documentation
template<class View, class Card, bool isView>
size_t Gecode::Int::GCC::Val< View, Card, isView >::dispose | ( | Space * | home | ) | [virtual] |
template<class View, class Card, bool isView>
Actor * Gecode::Int::GCC::Val< View, Card, isView >::copy | ( | Space * | home, | |
bool | share | |||
) | [virtual] |
template<class View, class Card, bool isView>
PropCost Gecode::Int::GCC::Val< View, Card, isView >::cost | ( | void | ) | const [virtual] |
Complexity depends on the time needed for value lookup in k which is O(n log n).
Implements Gecode::Propagator.
template<class View, class Card, bool isView>
ExecStatus Gecode::Int::GCC::Val< View, Card, isView >::propagate | ( | Space * | home | ) | [virtual] |
template<class View, class Card, bool isView>
ExecStatus Gecode::Int::GCC::Val< View, Card, isView >::post | ( | Space * | home, | |
ViewArray< View > & | x, | |||
ViewArray< Card > & | k, | |||
bool | all | |||
) | [static] |
Member Data Documentation
template<class View, class Card, bool isView>
ViewArray<View> Gecode::Int::GCC::Val< View, Card, isView >::x [protected] |
template<class View, class Card, bool isView>
ViewArray<Card> Gecode::Int::GCC::Val< View, Card, isView >::k [protected] |
template<class View, class Card, bool isView>
bool Gecode::Int::GCC::Val< View, Card, isView >::card_all [protected] |
The documentation for this class was generated from the following files:
- gecode/int/gcc.hh (Revision: 3512)
- gecode/int/gcc/val.icc (Revision: 3512)