partitionequnot< Q > Class Template Reference

Logical not operator. More...

#include <partitionequ.h>

Collaboration diagram for partitionequnot< Q >:

List of all members.

Public Member Functions
	partitionequnot (Q const &_right)
	Unary operator.
template<typename W >
partitionequadd < partitionequnot< Q >, W >	operator+ (W const &x)
	Join the partitions.
template<typename W >
partitionequmult < partitionequnot< Q >, W >	operator* (W const &x)
	Intersect the partitions.
partitionequnot < partitionequnot< Q > >	operator! ()
	Logically negate the partition.
template<typename W >
partitionequmult < partitionequnot< Q > , partitionequnot< W > >	operator- (W const &x)
	Subtract partition x from this partition.
template<typename T >
boolc	isInside (T const &x) const
	Logically not the partition spaces.
Public Attributes
Q	right
	Right hand side of the operator.

---

Detailed Description

template<typename Q>
class partitionequnot< Q >

Logical not operator.

Definition at line 124 of file partitionequ.h.

---

Constructor & Destructor Documentation

template<typename Q>

partitionequnot< Q >::partitionequnot

(

Q const &

_right

)

[inline]

Unary operator.

Definition at line 131 of file partitionequ.h.

    : right(_right) {}

---

Member Function Documentation

template<typename Q>

template<typename T >

boolc partitionequnot< Q >::isInside

(

T const &

x

)

const [inline]

Logically not the partition spaces.

Definition at line 155 of file partitionequ.h.

References partitionequnot< Q >::right.

    { return ! right.isInside(x); } 

template<typename Q>

partitionequnot< partitionequnot<Q> > partitionequnot< Q >::operator!

(

)

[inline]

Logically negate the partition.

Definition at line 145 of file partitionequ.h.

    { return partitionequnot< partitionequnot<Q> >(*this); }

template<typename Q>

template<typename W >

partitionequmult< partitionequnot<Q>, W > partitionequnot< Q >::operator*

(

W const &

x

)

[inline]

Intersect the partitions.

Definition at line 141 of file partitionequ.h.

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

template<typename Q>

template<typename W >

partitionequadd< partitionequnot<Q>, W > partitionequnot< Q >::operator+

(

W const &

x

)

[inline]

Join the partitions.

Definition at line 136 of file partitionequ.h.

    { return partitionequadd< partitionequnot<Q>, W >(*this,x); }

template<typename Q>

template<typename W >

partitionequmult< partitionequnot<Q>, partitionequnot<W> > partitionequnot< Q >::operator-

(

W const &

x

)

[inline]

Subtract partition x from this partition.

Definition at line 150 of file partitionequ.h.

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

---

Member Data Documentation

template<typename Q>

Q partitionequnot< Q >::right

Right hand side of the operator.

Definition at line 128 of file partitionequ.h.

Referenced by partitionequnot< Q >::isInside().

---

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

• mathlib/partitionequ.h