Boost C++ Libraries

...one of the most highly regarded and expertly designed C++ library projects in the world. — Herb Sutter and Andrei Alexandrescu, C++ Coding Standards

Header <boost/numeric/odeint/integrate/check_adapter.hpp>

namespace boost {
  namespace numeric {
    namespace odeint {
      template<typename Stepper, typename Checker, 
               typename StepperCategory = typename base_tag<typename Stepper::stepper_category>::type> 
        class checked_stepper;

      template<typename Stepper, typename Checker> 
        class checked_stepper<Stepper, Checker, stepper_tag>;
      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 Observer, typename Checker> class checked_observer;
    }
  }
}