Gecode::Int::GCC::SharingTest< View1, View2 > Class Template Reference

Sharing test for the bounds consistent global cardinality propagator. More...

#include <bnd.hpp>

List of all members.

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.

---

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

---

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

---

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

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