// In header: <boost/numeric/odeint/integrate/check_adapter.hpp>
template<typename ControlledStepper, typename Checker>
class checked_stepper<ControlledStepper, Checker, controlled_stepper_tag> {
public:
  // types
  typedef ControlledStepper        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>
    controlled_step_result
    try_step(System, StateInOut &, time_type &, time_type &);
};