Philipp A. Hartmann d75bb90a5d Avoid inheritance from std::iterator
Instead of inheriting from the deprecated std::iterator
template, define the member typedefs needed for
std::iterator_traits directly.

Closes #1131.
2017-12-12 21:16:07 +01:00
..