partitionequadd< P, Q > Class Template Reference

And operator. More...

#include <partitionequ.h>

Collaboration diagram for partitionequadd< P, Q >:

List of all members.

Public Member Functions
	partitionequadd (P const &_left, Q const &_right)
	Construct the binary operator from left and right expressions.
template<typename W >
partitionequmult < partitionequadd< P, Q >, W >	operator* (W const &x)
	Intersect the partitions.
template<typename W >
partitionequadd < partitionequadd< P, Q >, W >	operator+ (W const &x)
	Join the partitions.
partitionequnot < partitionequadd< P, Q > >	operator! ()
	Logically negate the partition.
template<typename W >
partitionequmult < partitionequadd< P, Q > , partitionequnot< W > >	operator- (W const &x)
	Subtract partition x from this partition.
template<typename T >
boolc	isInside (T const &x) const
	Union/and the partition spaces.
Public Attributes
P	left
	Left argument of binary operator.
Q	right
	Right argument of binary operator.

---

Detailed Description

template<typename P, typename Q>
class partitionequadd< P, Q >

And operator.

Definition at line 19 of file partitionequ.h.

---

Constructor & Destructor Documentation

template<typename P, typename Q>

partitionequadd< P, Q >::partitionequadd	(	P const &	_left,
		Q const &	_right
	)			[inline]

Construct the binary operator from left and right expressions.

Definition at line 30 of file partitionequ.h.

    : left(_left), right(_right) {}

---

Member Function Documentation

template<typename P, typename Q>

template<typename T >

boolc partitionequadd< P, Q >::isInside

(

T const &

x

)

const [inline]

Union/and the partition spaces.

Definition at line 57 of file partitionequ.h.

References partitionequadd< P, Q >::left, and partitionequadd< P, Q >::right.

  {
    if (left.isInside(x)==true)
      return true;

    return right.isInside(x);
  }

template<typename P, typename Q>

partitionequnot< partitionequadd<P,Q> > partitionequadd< P, Q >::operator!

(

)

[inline]

Logically negate the partition.

Definition at line 47 of file partitionequ.h.

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

template<typename P, typename Q>

template<typename W >

partitionequmult< partitionequadd<P,Q>, W > partitionequadd< P, Q >::operator*

(

W const &

x

)

[inline]

Intersect the partitions.

Definition at line 38 of file partitionequ.h.

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

template<typename P, typename Q>

template<typename W >

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

(

W const &

x

)

[inline]

Join the partitions.

Definition at line 43 of file partitionequ.h.

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

template<typename P, typename Q>

template<typename W >

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

(

W const &

x

)

[inline]

Subtract partition x from this partition.

Definition at line 52 of file partitionequ.h.

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

---

Member Data Documentation

template<typename P, typename Q>

P partitionequadd< P, Q >::left

Left argument of binary operator.

Definition at line 24 of file partitionequ.h.

Referenced by partitionequadd< P, Q >::isInside().

template<typename P, typename Q>

Q partitionequadd< P, Q >::right

Right argument of binary operator.

Definition at line 26 of file partitionequ.h.

Referenced by partitionequadd< P, Q >::isInside().

---

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

• mathlib/partitionequ.h