Gecode::Int::GCC::SharingTest< IntView, OccurBndsView > Class Template Reference
Detailed Description
template<>
class Gecode::Int::GCC::SharingTest< IntView, OccurBndsView >
Specialization of class SharingTest for the case of fixed cardinalities using IntView as View1 and OccurBndsView as View2.
Definition at line 627 of file bnd.icc.
Static Public Member Functions | |
static bool | shared (Space *, ViewArray< IntView > &xs, ViewArray< OccurBndsView > &) |
Test whether the problem views in x0 contain shared views. |
Member Function Documentation
static bool Gecode::Int::GCC::SharingTest< IntView, OccurBndsView >::shared | ( | Space * | , | |
ViewArray< IntView > & | xs, | |||
ViewArray< OccurBndsView > & | ||||
) | [inline, static] |
The documentation for this class was generated from the following file:
- gecode/int/gcc/bnd.icc (Revision: 7285)