qbd_analytic_solver.hpp

#ifndef QBD_ANALYTIC_SOLVER_HPP
#define QBD_ANALYTIC_SOLVER_HPP

#include "probability_solver.hpp"
#include "pmf.hpp"

namespace PrositCore {
class AnalyticResourceReservationProbabilitySolver 
    : public ResourceReservationProbabilitySolver {
protected:
  unique_ptr<PrositAux::pmf> prob_function;
  unsigned int server_period;
  unsigned int budget;
  double pi_0 = 1.0; //where the result probability will be stored

  ///@brief Generates matrices required for the solution
  void pre_process();
  ///@brief checks that everything is ok for computation
  void post_process();
  ///@brief computes the various probababilities after the "core" problem has
  ///been solved
  void fill_in_probability_map();
  ///@brief Applies algorithm
  void apply_algorithm();
public:
  /*
   * @param p probability mass function
   * @param N server period
   * @param Q budget 
   */
  AnalyticResourceReservationProbabilitySolver(unique_ptr<PrositAux::pmf>  p,
                                               unsigned int N,
                                               unsigned int Q)
    : prob_function(std::move(p)), server_period(N), budget(Q){};

  virtual ~AnalyticResourceReservationProbabilitySolver(){};
};
}
#endif