Timer.h

Go to the documentation of this file.

#pragma once
 
#include <iostream>
#include <typeinfo>
// Timer.h: interface for the Timer class.
//
 
#include <fstream>
#include <math.h>
#include <boost/serialization/serialization.hpp>
#include <boost/archive/text_oarchive.hpp>
#include <boost/archive/text_iarchive.hpp>
#include <boost/serialization/export.hpp>
 
 
class Timer {
 public:
    // Execution-state subset for seeded-container walks. The Weibull parameters
    // and t_minimum are definitions and are not part of it; serialize() carries
    // every member for users that serialize a whole Timer.
    template<class Archive> void timer_state_save(Archive& ar) const {
        ar << remaining_time << total_time_required << number_of_intervals
           << number_of_intervals_passed << time_at_demand;
    }
    template<class Archive> void timer_state_load(Archive& ar) {
        ar >> remaining_time >> total_time_required >> number_of_intervals
           >> number_of_intervals_passed >> time_at_demand;
    }
 
  double calculateRequiredTime();
  double calculateRequiredTime(double);
  double calculateMeanRequiredTime();
  double calculateMeanRequiredTime(double, double);
  double calculateWeibull_pdf(double);
  Timer();
  virtual ~Timer();
  void setRemainingTime(double);
  void setTotalTimeRequired(double);
  void setAlpha_Weibull(double);
  void setBeta_Weibull(double);
  void setT_Minimum(double);
  double getTotalTimeRequired();
  double getRemainingTime();
  double reduceRemainingTime(double);
  double getAlpha_Weibull();
  double getBeta_Weibull();
  double getT_Minimum();
  void copyTimer(Timer &);
  int getNumberOfIntervals() const;
  void setNumberOfIntervals(int);
  int getNumberOfIntervalsPassed() const;
  void setNumberOfIntervalsPassed(int);
  double getTimeAtDemand() const;
  void setTimeAtDemand(double);
  void saveTimerToFile(std::ofstream &);
  void retrieveTimerFromFile(std::ifstream &);
  bool checkIfIsIdenticalTimer(Timer &);
  void setBothTotalTimeRequiredAndRemainingTime(double);
friend class boost::serialization::access;
template<class Archive>
void serialize(Archive & ar, const unsigned int version) {
//     std::cout << "Serializing class: " << typeid(*this).name() << std::endl;
    ar & beta_weibull;
    ar & alpha_weibull;
    ar & t_minimum;
    ar & remaining_time;
    ar & total_time_required;
    ar & number_of_intervals;
    ar & number_of_intervals_passed;
    ar & time_at_demand;
}
 private:
  double beta_weibull;
  double alpha_weibull;
  double t_minimum;
  double remaining_time;
  double total_time_required;
  int number_of_intervals;
  int number_of_intervals_passed;
  double time_at_demand;
};
 
 
BOOST_CLASS_EXPORT_KEY(Timer)