Value consistent global cardinality propagator.
More...
#include <gcc.hh>
List of all members.
Detailed Description
Value consistent global cardinality propagator.
Requires
Constructor & Destructor Documentation
Constructor for posting.
Definition at line 47 of file val.hpp.
Gecode::Int::GCC::Val::Val |
( |
Space & |
home, |
|
|
bool |
share, |
|
|
Val< Card > & |
p |
|
) |
| [inline, protected] |
Constructor for cloning p.
Definition at line 56 of file val.hpp.
Member Function Documentation
Actor * Gecode::Int::GCC::Val::copy |
( |
Space & |
home, |
|
|
bool |
share |
|
) |
| [virtual] |
size_t Gecode::Int::GCC::Val::dispose |
( |
Space & |
home | ) |
[inline, virtual] |
Post propagator for views x and cardinalities k.
Definition at line 284 of file val.hpp.
Member Data Documentation
Views on which to perform value-propagation.
Definition at line 70 of file gcc.hh.
Array containing either fixed cardinalities or CardViews.
Definition at line 72 of file gcc.hh.
The documentation for this class was generated from the following files: