Generated on Wed Nov 1 15:05:23 2006 for Gecode by doxygen 1.4.5

Gecode::Set::ComplementView< ComplementView< View > > Class Template Reference
[Set views]

List of all members.

Detailed Description

template<class View>
class Gecode::Set::ComplementView< ComplementView< View > >

Complement set view specialized for complement set views.

A complement set view $s$ for a complement set view for a set view $t$ provides operations such that $s$ behaves like $\{t\}$ . This eliminates double negation.

Definition at line 976 of file view.icc.

Constructors and initialization

 ComplementView (void)
 Default constructor.
 ComplementView (ComplementView< View > &x)
 Initialize with set view x.


Member Function Documentation

template<class View>
Gecode::Set::ComplementView< ComplementView< View > >::ComplementView void   )  [inline]
 

Default constructor.

Definition at line 263 of file complement.icc.

template<class View>
Gecode::Set::ComplementView< ComplementView< View > >::ComplementView ComplementView< View > &  x  )  [inline]
 

Initialize with set view x.

Definition at line 268 of file complement.icc.


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