Generated on Wed Nov 1 15:05:18 2006 for Gecode by doxygen 1.4.5
Gecode::Int::GCC::SharingTest< IntView, OccurBndsView >

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

List of all members.

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 585 of file bnd.icc.

Static Public Member Functions

static bool shared (Space *home, 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 *  home,
ViewArray< IntView > &  xs,
ViewArray< OccurBndsView > & 
)  [inline, static]
 

Test whether the problem views in x0 contain shared views.

Definition at line 588 of file bnd.icc.

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