namespace boost { namespace numeric { namespace odeint { template<typename Stepper, typename System, typename State> class const_step_time_iterator; template<typename Stepper, typename System, typename State> const_step_time_iterator< Stepper, System, State > make_const_step_time_iterator_begin(Stepper, System, State &, typename traits::time_type< Stepper >::type, typename traits::time_type< Stepper >::type, typename traits::time_type< Stepper >::type); template<typename Stepper, typename System, typename State> const_step_time_iterator< Stepper, System, State > make_const_step_time_iterator_end(Stepper, System, State &); template<typename Stepper, typename System, typename State> std::pair< const_step_time_iterator< Stepper, System, State >, const_step_time_iterator< Stepper, System, State > > make_const_step_time_range(Stepper, System, State &, typename traits::time_type< Stepper >::type, typename traits::time_type< Stepper >::type, typename traits::time_type< Stepper >::type); } } }