Now introduce read()

Author: jajhall

highs/ipm/ipx/timer.cc

@@ -4,33 +4,28 @@ namespace ipx {
 
 Timer::Timer(const double offset)
     : offset_(offset) {
-  if (offset_) printf("Timer::Timer offset_ = %g\n", offset_);
     Reset(true);
-  if (offset_) printf("Timer::Timer offset_ = %g\n", offset_);
 }
 
 double Timer::Elapsed() const {
     return toc(t0_);
 }
 
 void Timer::Reset(const bool first) {
-    using namespace std::chrono;
-    double prev_offset = offset_;
     if (!first)
       offset_ -= duration_cast<duration<double>>(t0_.time_since_epoch()).count();    
     t0_ = tic();
     if (!first) 
       offset_ += duration_cast<duration<double>>(t0_.time_since_epoch()).count();
-    if (offset_) printf("Timer::Reset offset goes from %g to %g\n", prev_offset, offset_);
 }
 
 Timer::TimePoint Timer::tic() {
-    return std::chrono::high_resolution_clock::now();
+    return high_resolution_clock::now();
 }
 
 double Timer::toc(TimePoint start) {
     TimePoint end = tic();
-    std::chrono::duration<double> diff = end-start;
+    duration<double> diff = end-start;
     return diff.count();
 }
 

highs/ipm/ipx/timer.h

@@ -4,6 +4,7 @@
 #include <chrono>
 
 namespace ipx {
+    using namespace std::chrono;
 
 class Timer {
 public:
@@ -12,8 +13,7 @@ class Timer {
     void Reset(const bool first = false);
 
 private:
-    typedef std::chrono::time_point<std::chrono::high_resolution_clock>
-        TimePoint;
+    typedef time_point<high_resolution_clock> TimePoint;
     static TimePoint tic();
     static double toc(TimePoint start);
     TimePoint t0_;