Gecode::Int::GCC::SharingTest< View1, View2 > Class Template Reference
List of all members.Detailed Description
template<class View1, class View2>
class Gecode::Int::GCC::SharingTest< View1, View2 >
Sharing test for the bounds-consistent global cardinality propagator.
Due to parametrization on the problem views, View1 and the cardinality views, View2 the test can be applied for both cases of fixed cardinalities and cardinality variables.
Definition at line 561 of file bnd.icc.
Static Public Member Functions | |
| static bool | shared (Space *home, ViewArray< View1 > &x0, ViewArray< View2 > &k0) |
| Test whether the problem views in x0 or the cardinality views in k0 contain shared views. | |
Member Function Documentation
|
||||||||||||||||||||
|
Test whether the problem views in x0 or the cardinality views in k0 contain shared views.
|
The documentation for this class was generated from the following file:
- gecode/int/gcc/bnd.icc (Revision: 3512)