partitiondata< T > Class Template Reference

#include <partitionequ.h>

Collaboration diagram for partitiondata< T >:

List of all members.

Public Member Functions
boolc	isInside (T const &x) const
	Forwards the test to the data.
template<typename W >
partitionequadd< partitiondata < T >, W >	operator+ (W const &x)
	Join the partitions.
template<typename W >
partitionequmult < partitiondata< T >, W >	operator* (W const &x)
	Intersect the partitions.
partitionequnot< partitiondata < T > >	operator! ()
	Logically not the partition.
template<typename W >
partitionequmult < partitiondata< T > , partitionequnot< W > >	operator- (W const &x)
	Subtract partition x from this partition.
	partitiondata (partitionspace< T > *_data)
	This class does not manage the reference, it must be kept alive.
Public Attributes
partitionspace< T > *	data
	The client ensures that this reference is alive.

---

Detailed Description

template<typename T>
class partitiondata< T >

Definition at line 180 of file partitionequ.h.

---

Constructor & Destructor Documentation

template<typename T >

partitiondata< T >::partitiondata

(

partitionspace< T > *

_data

)

[inline]

This class does not manage the reference, it must be kept alive.

Definition at line 211 of file partitionequ.h.

    : data(_data) {}

---

Member Function Documentation

template<typename T >

boolc partitiondata< T >::isInside

(

T const &

x

)

const [inline]

Forwards the test to the data.

Definition at line 188 of file partitionequ.h.

References partitiondata< T >::data, and partitionspace< PT >::isInside().

    { return data->isInside(x); }

template<typename T >

partitionequnot< partitiondata<T> > partitiondata< T >::operator!

(

)

[inline]

Logically not the partition.

Definition at line 202 of file partitionequ.h.

    { return partitionequnot< partitiondata<T> >(*this); }

template<typename T >

template<typename W >

partitionequmult< partitiondata<T>, W > partitiondata< T >::operator*

(

W const &

x

)

[inline]

Intersect the partitions.

Definition at line 198 of file partitionequ.h.

    { return partitionequmult< partitiondata<T>, W >(*this,x); }

template<typename T >

template<typename W >

partitionequadd< partitiondata<T>, W > partitiondata< T >::operator+

(

W const &

x

)

[inline]

Join the partitions.

Definition at line 193 of file partitionequ.h.

    { return partitionequadd< partitiondata<T>, W >(*this,x); }

template<typename T >

template<typename W >

partitionequmult< partitiondata<T>, partitionequnot<W> > partitiondata< T >::operator-

(

W const &

x

)

[inline]

Subtract partition x from this partition.

Definition at line 207 of file partitionequ.h.

    { return partitionequmult< partitiondata<T>, partitionequnot<W> >(*this,partitionequnot<W>(x)); }

---

Member Data Documentation

template<typename T >

partitionspace<T>* partitiondata< T >::data

The client ensures that this reference is alive.

Definition at line 185 of file partitionequ.h.

Referenced by partitiondata< T >::isInside().

---

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

• mathlib/partitionequ.h