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 603 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

template<class View1, class View2>

static bool Gecode::Int::GCC::SharingTest< View1, View2 >::shared	(	Space *	home,
		ViewArray< View1 > &	x0,
		ViewArray< View2 > &	k0
	)			[inline, static]

Test whether the problem views in x0 or the cardinality views in k0 contain shared views.

Definition at line 609 of file bnd.icc.

---

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

• gecode/int/gcc/bnd.icc (Revision: 7285)