Generated on Thu Jul 6 07:06:59 2006 for Gecode by doxygen 1.4.7

Gecode::ViewTuple< View, n > Class Template Reference
[Programming views for variables]

List of all members.

Detailed Description

template<class View, unsigned int n>
class Gecode::ViewTuple< View, n >

Tuple of views.

Note that when tuples of views are stored inside ViewArrays, then operations that check for sharing or equality on these arrays do not work like expected.

Definition at line 231 of file view.icc.

Initialization

 ViewTuple (void)
 Default constructor.

Component access

View & operator[] (unsigned int i)
 Return i-th component of tuple.
const View & operator[] (unsigned int i) const
 Return i-th component of tuple.

Dependencies

void subscribe (Space *home, Propagator *p, PropCond pc)
 Subscribe propagator p with propagation condition pc to all views.
void cancel (Space *home, Propagator *p, PropCond pc)
 Cancel subscription of propagator p with propagation condition pc to view.

Cloning

void update (Space *home, bool share, ViewTuple &xs)
 Update this view to be a clone of view tuple xs.

View comparison

bool same (const ViewTuple< View, n > &x, const ViewTuple< View, n > &y)
 Test whether tuples x and y are the same.
bool before (const ViewTuple< View, n > &x, const ViewTuple< View, n > &y)
 Test whether tuple x is before y (arbitrary order).


Constructor & Destructor Documentation

template<class View, unsigned int n>
Gecode::ViewTuple< View, n >::ViewTuple ( void   )  [inline]

Default constructor.

Definition at line 503 of file view.icc.


Member Function Documentation

template<class View, unsigned int n>
View & Gecode::ViewTuple< View, n >::operator[] ( unsigned int  i  )  [inline]

Return i-th component of tuple.

Definition at line 513 of file view.icc.

template<class View, unsigned int n>
const View & Gecode::ViewTuple< View, n >::operator[] ( unsigned int  i  )  const [inline]

Return i-th component of tuple.

Definition at line 507 of file view.icc.

template<class View, unsigned int n>
void Gecode::ViewTuple< View, n >::subscribe ( Space home,
Propagator p,
PropCond  pc 
) [inline]

Subscribe propagator p with propagation condition pc to all views.

Definition at line 520 of file view.icc.

template<class View, unsigned int n>
void Gecode::ViewTuple< View, n >::cancel ( Space home,
Propagator p,
PropCond  pc 
) [inline]

Cancel subscription of propagator p with propagation condition pc to view.

Definition at line 526 of file view.icc.

template<class View, unsigned int n>
void Gecode::ViewTuple< View, n >::update ( Space home,
bool  share,
ViewTuple< View, n > &  xs 
) [inline]

Update this view to be a clone of view tuple xs.

Definition at line 532 of file view.icc.


Friends And Related Function Documentation

template<class View, unsigned int n>
bool same ( const ViewTuple< View, n > &  x,
const ViewTuple< View, n > &  y 
) [related]

Test whether tuples x and y are the same.

Definition at line 539 of file view.icc.

template<class View, unsigned int n>
bool before ( const ViewTuple< View, n > &  x,
const ViewTuple< View, n > &  y 
) [related]

Test whether tuple x is before y (arbitrary order).

Definition at line 547 of file view.icc.


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