Gecode::Int::GCC::SharingTest< IntView, OccurBndsView > Class Template Reference

Specialization of class SharingTest for the case of fixed cardinalities using IntView as View1 and OccurBndsView as View2. More...

#include <bnd.hpp>

List of all members.

Static Public Member Functions
static bool	shared (Space &home, ViewArray< IntView > &xs, ViewArray< OccurBndsView > &)
	Test whether the problem views in x0 contain shared views.

---

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 589 of file bnd.hpp.

---

Member Function Documentation

static bool Gecode::Int::GCC::SharingTest< IntView, OccurBndsView >::shared	(	Space &	home,
		ViewArray< IntView > &	xs,
		ViewArray< OccurBndsView > &
	)			[inline, static]

Test whether the problem views in x0 contain shared views.

Definition at line 592 of file bnd.hpp.

---

The documentation for this class was generated from the following file:

• gecode/int/gcc/bnd.hpp (Revision: 8129)