Driver.cpp

#include "delpi/parser/Driver.h"
 
#include <fstream>
#include <iostream>
#include <sstream>  // IWYU pragma: keep for std::stringstream
#include <string>
 
#include "delpi/libs/gmp.h"
#include "delpi/util/Config.h"
#include "delpi/util/error.h"
 
namespace delpi {
 
Driver::Driver(LpSolver& lp_solver, const std::string& class_name)
    : lp_solver_{lp_solver}, stats_{lp_solver.config().with_timings(), class_name, "Total time spent in parsing"} {}
 
bool Driver::ParseStream(std::istream& in, const std::string& sname) {
  TimerGuard timer_guard(&stats_.m_timer(), stats_.enabled());
  input_name_ = sname;
  return ParseStreamCore(in);
}
 
bool Driver::ParseString(std::string_view input, const std::string& sname) {
  TimerGuard timer_guard(&stats_.m_timer(), stats_.enabled());
  input_name_ = sname;
  return ParseStringCore(input);
}
 
bool Driver::ParseFile(const std::string& filename) {
  TimerGuard timer_guard(&stats_.m_timer(), stats_.enabled());
  return ParseFileCore(filename);
}
 
void Driver::Error(const std::string& m) { std::cerr << m << std::endl; }
 
void Driver::Solve() {
  // Don't consider the time spent solving the LP problem in the time spent parsing.
  stats_.m_timer().Pause();
  lp_solver_.Solve();
  stats_.m_timer().Resume();
}
 
void Driver::GetInfo(const std::string& key) const {
  if (lp_solver_.config().silent()) return;
  std::cout << "get-info ( " << key << " ): " << lp_solver_.GetInfo(key) << std::endl;
}
void Driver::SetInfo(const std::string& key, const std::string& value) { lp_solver_.SetInfo(key, value); }
void Driver::SetOption(const std::string& key, const std::string& value) { lp_solver_.SetOption(key, value); }
void Driver::Exit() { DELPI_DEBUG("Exit"); }
 
}  // namespace delpi