---

more::gen::partial_ordering Class Template Reference

A container which provides a partially ordering of its elements. More...

#include <more/gen/partial_ordering.h>

Inheritance diagram for more::gen::partial_ordering:

[legend]Collaboration diagram for more::gen::partial_ordering:

[legend]List of all members.

Public Types

• typedef T value_type
• typedef partial_ordering_base::node_base node_base
• typedef infimum_iterator supremum_iterator

  A bidirectional iterator used by supremum_range. More...
  
  

• typedef const_infimum_iterator const_supremum_iterator

  A bidirectional iterator used by supremum_range. More...
  
  

Public Methods

• partial_ordering ()

  construct a partial ordering with only infimun and supremum elements. More...
  
  

• partial_ordering (partial_ordering const &po)

  contruct a deep copy. More...
  
  

• partial_ordering & operator= (partial_ordering const &po)

  assign a deep copy. More...
  
  

• virtual ~partial_ordering ()

  destructs the partial ordering. More...
  
  

• void debug_dump ()

  Not for production code. More...
  
  

• void clear ()

  clear a partial ordering. More...
  
  

• bool constrain_prec (element e0, element e1)

  imposes the constraint . More...
  
  

• element insert (T const &value)

  create a new element with the given value. More...
  
  

• element insert ()

  create a new default constructed element. More...
  
  

• void insert (const_element e_min, const_element e_max)

  insert a range of values. More...
  
  

• void insert (const_element e_min, const_element e_max, element e_min_dest, element e_max_dest)

  insert nodes in (e_min, e_max) into (e_min_dest, e_max_dest). More...
  
  

• void erase (element e)

  erase an element. More...
  
  

• const_element min () const

  returns the element which is less than any other element. More...
  
  

• const_element max () const

  returns the element which is greater than any other element. More...
  
  

• element min ()

  returns the element which is less than any other element. More...
  
  

• element max ()

  returns the element which is greater than any other element. More...
  
  

Static Public Methods

• bool preceq (element e0, element e1)

  returns true iff is implied by the given constraints. More...
  
  

• bool eq (element e0, element e1)

  returns true iff is implied by the given contraits. More...
  
  

• std::pair< const_infimum_iterator,
  const_infimum_iterator > infimum_range (const_element x)

  Returns a range of the infimums of x. More...
  
  

• std::pair< const_supremum_iterator,
  const_supremum_iterator > supremum_range (const_element x)

  Returns a range of the supremums of x. More...
  
  

• std::pair< infimum_iterator,
  infimum_iterator > infimum_range (element x)

  Returns a range of the infimums of x. More...
  
  

• std::pair< supremum_iterator,
  supremum_iterator > supremum_range (element x)

  Returns a range of the supremums of x. More...
  
  

• template<typename OutputIterator> void copy_range (element e0, element e1, OutputIterator it_out)

  copies to it_out the set of elements . More...
  
  

• template<typename OutputIterator> void copy_range (const_element e0, const_element e1, OutputIterator it_out)

• template<typename OutputIterator> void copy_supremums (element e, OutputIterator it_out)

  copies to it_out the set of elements . More...
  
  

• template<typename OutputIterator> void copy_supremums (const_element e, OutputIterator it_out)

• template<typename OutputIterator> void copy_infimums (element e, OutputIterator it_out)

  copyies to it_out the set of elements . More...
  
  

• template<typename OutputIterator> void copy_infimums (const_element e, OutputIterator it_out)

---

Detailed Description

template<typename T>
class more::gen::partial_ordering< T >

A container which provides a partially ordering of its elements.

---

Member Typedef Documentation

template<typename T> typedef const_infimum_iterator more::gen::partial_ordering::const_supremum_iterator

A bidirectional iterator used by supremum_range.

template<typename T> typedef partial_ordering_base::node_base more::gen::partial_ordering::node_base

template<typename T> typedef infimum_iterator more::gen::partial_ordering::supremum_iterator

A bidirectional iterator used by supremum_range.

template<typename T> typedef T more::gen::partial_ordering::value_type

---

Constructor & Destructor Documentation

template<typename T> more::gen::partial_ordering< T >::partial_ordering (    )  [inline]

construct a partial ordering with only infimun and supremum elements.

template<typename T> more::gen::partial_ordering< T >::partial_ordering (  partial_ordering< T > const &    po )  [inline]

contruct a deep copy.

template<typename T> virtual more::gen::partial_ordering< T >::~partial_ordering (    )  [inline, virtual]

destructs the partial ordering. All elements created from the ordering will be invalidated.

---

Member Function Documentation

template<typename T> void more::gen::partial_ordering< T >::clear (    )

clear a partial ordering. All elements of the ordering are invalidated.

template<typename T> bool more::gen::partial_ordering< T >::constrain_prec (  element    e0, element    e1 )  [inline]

imposes the constraint .

template<typename T> template<typename OutputIterator> void more::gen::partial_ordering< T >::copy_infimums (  const_element    e, OutputIterator    it_out )  [inline, static]

template<typename T> template<typename OutputIterator> void more::gen::partial_ordering< T >::copy_infimums (  element    e, OutputIterator    it_out )  [inline, static]

copyies to it_out the set of elements .

template<typename T> template<typename OutputIterator> void more::gen::partial_ordering< T >::copy_range (  const_element    e0, const_element    e1, OutputIterator    it_out )  [inline, static]

template<typename T> template<typename OutputIterator> void more::gen::partial_ordering< T >::copy_range (  element    e0, element    e1, OutputIterator    it_out )  [inline, static]

copies to it_out the set of elements .

template<typename T> template<typename OutputIterator> void more::gen::partial_ordering< T >::copy_supremums (  const_element    e, OutputIterator    it_out )  [inline, static]

template<typename T> template<typename OutputIterator> void more::gen::partial_ordering< T >::copy_supremums (  element    e, OutputIterator    it_out )  [inline, static]

copies to it_out the set of elements . In contrast to full orderings, there may be more than one element fulfilling this condition.

template<typename T> void more::gen::partial_ordering< T >::debug_dump (    )  [inline]

Not for production code.

template<typename T> bool more::gen::partial_ordering< T >::eq (  element    e0, element    e1 )  [inline, static]

returns true iff is implied by the given contraits. Equivalent to prec(e0, e1) && preceq(e1, e0)

template<typename T> void more::gen::partial_ordering< T >::erase (  element    e )  [inline]

erase an element. Unimplemented, does nothing.

template<typename T> std::pair<infimum_iterator, infimum_iterator> more::gen::partial_ordering< T >::infimum_range (  element    x )  [inline, static]

Returns a range of the infimums of x. See infimum_range(const_element) const.

template<typename T> std::pair<const_infimum_iterator, const_infimum_iterator> more::gen::partial_ordering< T >::infimum_range (  const_element    x )  [inline, static]

Returns a range of the infimums of x. Note that the value_type of the iterator is const_element, so a double dereference is needed to obtain a value_type of this container.

template<typename T> void more::gen::partial_ordering< T >::insert (  const_element    e_min, const_element    e_max, element    e_min_dest, element    e_max_dest )  [inline]

insert nodes in (e_min, e_max) into (e_min_dest, e_max_dest).

template<typename T> void more::gen::partial_ordering< T >::insert (  const_element    e_min, const_element    e_max )  [inline]

insert a range of values. Equivalent to insert(e_min, e_max, min(), max()).

template<typename T> element more::gen::partial_ordering< T >::insert (    )  [inline]

create a new default constructed element.

template<typename T> element more::gen::partial_ordering< T >::insert (  T const &    value )  [inline]

create a new element with the given value.

template<typename T> element more::gen::partial_ordering< T >::max (    )  [inline]

returns the element which is greater than any other element. It is dereferenceable with an lvalue as the result.

template<typename T> const_element more::gen::partial_ordering< T >::max (    )  const [inline]

returns the element which is greater than any other element. It is derferenceable.

template<typename T> element more::gen::partial_ordering< T >::min (    )  [inline]

returns the element which is less than any other element. It is dereferenceable with an lvalue as the result.

template<typename T> const_element more::gen::partial_ordering< T >::min (    )  const [inline]

returns the element which is less than any other element. It is dereferenceable.

template<typename T> partial_ordering& more::gen::partial_ordering< T >::operator= (  partial_ordering< T > const &    po )  [inline]

assign a deep copy.

template<typename T> bool more::gen::partial_ordering< T >::preceq (  element    e0, element    e1 )  [inline, static]

returns true iff is implied by the given constraints.

template<typename T> std::pair<supremum_iterator, supremum_iterator> more::gen::partial_ordering< T >::supremum_range (  element    x )  [inline, static]

Returns a range of the supremums of x. See infimum_range(const_element) const.

template<typename T> std::pair<const_supremum_iterator, const_supremum_iterator> more::gen::partial_ordering< T >::supremum_range (  const_element    x )  [inline, static]

Returns a range of the supremums of x. See infimum_range(const_element) const.

---

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

• more/gen/partial_ordering.h
• more/gen/partial_ordering.tcc

---