---

more::gen::unifying_partial_ordering::element Struct Template Reference

an element of the ordering. More...

#include <unifying_partial_ordering.h>

List of all members.

Public Types

• typedef unifying_partial_ordering container
• typedef trivial_iterator_tag iterator_category
• typedef void difference_type
• typedef unifying_partial_ordering::infimum_iterator infimum_iterator
• typedef unifying_partial_ordering::infimum_iterator supremum_iterator
• typedef T value_type
• typedef T & reference
• typedef T * pointer

Public Methods

• element ()
• element (node_base *p)
• element (element const &e)
• element & operator= (element const &e)
• reference operator * ()
• pointer operator-> ()
• infimum_iterator infimums_begin ()
• infimum_iterator infimums_end ()
• supremum_iterator supremums_begin ()
• supremum_iterator supremums_end ()

Friends

• class unifying_partial_ordering_base
• class unifying_partial_ordering
• class const_element

---

Detailed Description

template<typename T, typename Unify = unify_if_equal<T>>
struct more::gen::unifying_partial_ordering< T, Unify >::element

an element of the ordering.

---

Member Typedef Documentation

template<typename T, typename Unify = unify_if_equal<T>> typedef unifying_partial_ordering more::gen::unifying_partial_ordering::element::container

template<typename T, typename Unify = unify_if_equal<T>> typedef void more::gen::unifying_partial_ordering::element::difference_type

template<typename T, typename Unify = unify_if_equal<T>> typedef unifying_partial_ordering::infimum_iterator more::gen::unifying_partial_ordering::element::infimum_iterator

template<typename T, typename Unify = unify_if_equal<T>> typedef trivial_iterator_tag more::gen::unifying_partial_ordering::element::iterator_category

template<typename T, typename Unify = unify_if_equal<T>> typedef T* more::gen::unifying_partial_ordering::element::pointer

template<typename T, typename Unify = unify_if_equal<T>> typedef T& more::gen::unifying_partial_ordering::element::reference

template<typename T, typename Unify = unify_if_equal<T>> typedef unifying_partial_ordering::infimum_iterator more::gen::unifying_partial_ordering::element::supremum_iterator

template<typename T, typename Unify = unify_if_equal<T>> typedef T more::gen::unifying_partial_ordering::element::value_type

---

Constructor & Destructor Documentation

template<typename T, typename Unify = unify_if_equal<T>> more::gen::unifying_partial_ordering< T, Unify >::element::element (    )  [inline]

template<typename T, typename Unify = unify_if_equal<T>> more::gen::unifying_partial_ordering< T, Unify >::element::element (  node_base *    p )  [inline]

template<typename T, typename Unify = unify_if_equal<T>> more::gen::unifying_partial_ordering< T, Unify >::element::element (  element const &    e )  [inline]

---

Member Function Documentation

template<typename T, typename Unify> unifying_partial_ordering< T, Unify >::element::infimum_iterator more::gen::unifying_partial_ordering< T, Unify >::element::infimums_begin (    )  [inline]

template<typename T, typename Unify> unifying_partial_ordering< T, Unify >::element::infimum_iterator more::gen::unifying_partial_ordering< T, Unify >::element::infimums_end (    )  [inline]

template<typename T, typename Unify = unify_if_equal<T>> reference more::gen::unifying_partial_ordering< T, Unify >::element::operator * (    )  [inline]

template<typename T, typename Unify = unify_if_equal<T>> pointer more::gen::unifying_partial_ordering< T, Unify >::element::operator-> (    )  [inline]

template<typename T, typename Unify = unify_if_equal<T>> element& more::gen::unifying_partial_ordering< T, Unify >::element::operator= (  element const &    e )  [inline]

template<typename T, typename Unify> unifying_partial_ordering< T, Unify >::element::supremum_iterator more::gen::unifying_partial_ordering< T, Unify >::element::supremums_begin (    )  [inline]

template<typename T, typename Unify> unifying_partial_ordering< T, Unify >::element::supremum_iterator more::gen::unifying_partial_ordering< T, Unify >::element::supremums_end (    )  [inline]

---

Friends And Related Function Documentation

template<typename T, typename Unify = unify_if_equal<T>> friend class const_element [friend]

template<typename T, typename Unify = unify_if_equal<T>> friend class unifying_partial_ordering [friend]

template<typename T, typename Unify = unify_if_equal<T>> friend class unifying_partial_ordering_base [friend]

---

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

• more/gen/unifying_partial_ordering.h

---