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

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 946 of file view.icc.

Constructors and initialization

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


Constructor & Destructor Documentation

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

Default constructor.

Definition at line 262 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 267 of file complement.icc.


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