Header <boost/numeric/odeint/iterator/times

Header <boost/numeric/odeint/iterator/times_iterator.hpp>

namespace boost {
  namespace numeric {
    namespace odeint {
      template<typename Stepper, typename System, typename State, 
               typename TimeIterator> 
        class times_iterator;
      template<typename Stepper, typename System, typename State, 
               typename TimeIterator> 
        times_iterator< Stepper, System, State, TimeIterator > 
        make_times_iterator_begin(Stepper, System, State &, TimeIterator, 
                                  TimeIterator, 
                                  typename traits::time_type< Stepper >::type);
      template<typename TimeIterator, typename Stepper, typename System, 
               typename State> 
        times_iterator< Stepper, System, State, TimeIterator > 
        make_times_iterator_end(Stepper, System, State &);
      template<typename Stepper, typename System, typename State, 
               typename TimeIterator> 
        std::pair< times_iterator< Stepper, System, State, TimeIterator >, times_iterator< Stepper, System, State, TimeIterator > > 
        make_times_range(Stepper, System, State &, TimeIterator, TimeIterator, 
                         typename traits::time_type< Stepper >::type);
    }
  }
}