Header <boost/numeric/odeint/iterator/times_time

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

namespace boost {
  namespace numeric {
    namespace odeint {
      template<typename Stepper, typename System, typename State, 
               typename TimeIterator> 
        class times_time_iterator;
      template<typename Stepper, typename System, typename State, 
               typename TimeIterator> 
        times_time_iterator< Stepper, System, State, TimeIterator > 
        make_times_time_iterator_begin(Stepper, System, State &, TimeIterator, 
                                       TimeIterator, 
                                       typename traits::time_type< Stepper >::type);
      template<typename TimeIterator, typename Stepper, typename System, 
               typename State> 
        times_time_iterator< Stepper, System, State, TimeIterator > 
        make_times_time_iterator_end(Stepper, System, State &);
      template<typename Stepper, typename System, typename State, 
               typename TimeIterator> 
        std::pair< times_time_iterator< Stepper, System, State, TimeIterator >, times_time_iterator< Stepper, System, State, TimeIterator > > 
        make_times_time_range(Stepper, System, State &, TimeIterator, 
                              TimeIterator, 
                              typename traits::time_type< Stepper >::type);
    }
  }
}