ArgParser.h

 
#pragma once
 
#include <iosfwd>
#include <string>
 
// Argparse library is used to parse the command line arguments.
#include <argparse/argparse.hpp>
 
#include "dlinear/util/Config.h"
 
namespace dlinear {
 
class ArgParser {
 public:
  ArgParser();
  void Parse(int argc, const char **argv);
 
  [[nodiscard]] static std::string version();
  [[nodiscard]] static std::string repository_status();
  [[nodiscard]] std::string prompt() const;
 
  [[nodiscard]] Config ToConfig() const;
 
  template <class T>
  [[nodiscard]] T get(const std::string &key) const {
    return parser_.get<T>(key);
  }
 
  friend std::ostream &operator<<(std::ostream &os, const dlinear::ArgParser &parser);
 
 private:
  void AddOptions();
 
  void ValidateOptions();
 
  friend std::ostream &operator<<(std::ostream &os, const ArgParser &parser);
 
  argparse::ArgumentParser parser_;  
  int verbosity_;                    
  const std::string qsoptex_hash_;   
  const std::string soplex_hash_;    
};
 
}  // namespace dlinear