Generated on Mon Aug 25 11:35:51 2008 for Gecode by doxygen 1.5.6

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

Test whether the problem views in x0 contain shared views.

Definition at line 630 of file bnd.icc.


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