Generated on Wed Mar 19 07:30:12 2008 for Gecode by doxygen 1.5.5

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

List of all members.


Detailed Description

template<class View>
class Gecode::Set::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 1202 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::Gecode::Set::ComplementView< ComplementView< View > >::ComplementView ( void   )  [inline]

Default constructor.

Definition at line 367 of file complement.icc.

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

Initialize with set view x.

Definition at line 372 of file complement.icc.


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