namespace boost {
namespace numeric {
namespace odeint {
template<typename Observer, typename Checker> class checked_observer;
template<typename Stepper, typename Checker,
typename StepperCategory = typename base_tag<typename Stepper::stepper_category>::type>
class checked_stepper;
template<typename ControlledStepper, typename Checker>
class checked_stepper<ControlledStepper, Checker, controlled_stepper_tag>;
template<typename DenseOutStepper, typename Checker>
class checked_stepper<DenseOutStepper, Checker, dense_output_stepper_tag>;
template<typename Stepper, typename Checker>
class checked_stepper<Stepper, Checker, stepper_tag>;
}
}
}