Ordered pair structure s.a. More...
#include <ord_pair.hh>
Public Member Functions | |
| void | change_both (const T &first, const T &second) |
| Replace both members of the pair by val, while keeping the relative order. | |
| void | change_first (const T &val) |
| Replace the first member of the pair by val, while keeping the relative order. | |
| void | change_second (const T &val) |
| Replace the second member of the pair by val, while keeping the relative order. | |
| const T & | first () const |
| Get the first (lowest) member of the pair. | |
| const T & | second () const |
| Get the second (highest) member of the pair. | |
Detailed Description
template<typename T>
struct mln::util::ord_pair< T >
Ordered pair structure s.a.
this->first <= this->second; ordered pairs are partially ordered using lexicographical ordering.
Definition at line 50 of file ord_pair.hh.
Member Function Documentation
| void mln::util::ord_pair< T >::change_both | ( | const T & | first, | |
| const T & | second | |||
| ) | [inline] |
Replace both members of the pair by val, while keeping the relative order.
- Postcondition:
- first_ <= second_ (with <= being the mln::util::ord_weak relationship).
Definition at line 211 of file ord_pair.hh.
References mln::util::ord_strict(), and mln::util::ord_weak().
| void mln::util::ord_pair< T >::change_first | ( | const T & | val | ) | [inline] |
Replace the first member of the pair by val, while keeping the relative order.
- Postcondition:
- first_ <= second_ (with <= being the mln::util::ord_weak relationship).
Definition at line 181 of file ord_pair.hh.
References mln::util::ord_strict(), and mln::util::ord_weak().
| void mln::util::ord_pair< T >::change_second | ( | const T & | val | ) | [inline] |
Replace the second member of the pair by val, while keeping the relative order.
- Postcondition:
- first_ <= second_ (with <= being the mln::util::ord_weak relationship).
Definition at line 196 of file ord_pair.hh.
References mln::util::ord_strict(), and mln::util::ord_weak().
| const T & mln::util::ord_pair< T >::first | ( | ) | const [inline] |
Get the first (lowest) member of the pair.
Definition at line 149 of file ord_pair.hh.
| const T & mln::util::ord_pair< T >::second | ( | ) | const [inline] |
Get the second (highest) member of the pair.
Definition at line 165 of file ord_pair.hh.
