---

more::gen::unifying_partial_ordering::const_element Struct Template Reference

an element of the ordering with constant value. 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::const_infimum_iterator infimum_iterator
• typedef unifying_partial_ordering::const_infimum_iterator supremum_iterator
• typedef T const value_type
• typedef T const & reference
• typedef T const * pointer

Public Methods

• const_element ()
• const_element (node_base *p)
• const_element (element const &e)
• const_element (const_element const &e)
• const_element & operator= (const_element const &e)
• reference operator * () const
• pointer operator-> () const
• 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

---

Detailed Description

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

an element of the ordering with constant value.

---

Member Typedef Documentation

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

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

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

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

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

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

template<typename T, typename Unify = unify_if_equal<T>> typedef unifying_partial_ordering::const_infimum_iterator more::gen::unifying_partial_ordering::const_element::supremum_iterator

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

---

Constructor & Destructor Documentation

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

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

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

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

---

Member Function Documentation

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

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

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

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

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

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

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

---

Friends And Related Function Documentation

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

---