---

more::partial_ordering Class Reference

a representation of a partial ordering of object. More...

#include <more/partial_ordering.h>

---

Detailed Description

a representation of a partial ordering of object.

An object of this class represents a partial ordering of objects of some other class. That is, it defines a relation which is transitive

and antisymmetric

The container may also be interpreted to represent the relation defined by . In that case, the template argument Unify should be chosen as unify_none or a suitable user defined functional to avoid unification according to the form of the antisymmetric condition, since this then have the form

\fn more::partial_ordering::copy_greatest_lower_bounds copy to it_out all elements such that and there is no element .

\fn more::partial_ordering::copy_range copy to it_out all elements such that .

Todo:

Implment partial_ordering::operator==. Check partial_ordering copy constructor, assignment and range insertion.

---

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

• more/gen/partial_ordering.doxy

---