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);
}
}
}