// In header: <boost/numeric/odeint/integrate/check_adapter.hpp>
template<typename Stepper, typename Checker>
class checked_stepper<Stepper, Checker, stepper_tag> {
public:
  // types
  typedef Stepper                  stepper_type;
  typedef Checker                  checker_type;
  typedef stepper_type::state_type state_type;
  typedef stepper_type::value_type value_type;
  typedef stepper_type::deriv_type deriv_type;
  typedef stepper_type::time_type  time_type;
  // construct/copy/destruct
  checked_stepper(stepper_type &, checker_type &);
  // public member functions
  template<typename System, typename StateInOut>
    void do_step(System, StateInOut &, const time_type, const time_type);
};