dreal_main.h

#pragma once

#include <iostream>
#include <string>
#include <vector>

// TODO(soonho): Fix ezoptionparser to remove those pragmas.
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wold-style-cast"
#ifdef __clang__
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wshadow"
#endif
#include "./ezOptionParser.hpp"
#ifdef __clang__
#pragma clang diagnostic pop
#endif
#pragma GCC diagnostic pop

#include "dreal/solver/config.h"

namespace dreal {

/// dReal's main program. It parses options from command line and
/// process a given file (either .smt2 or .dr file).
class MainProgram {
 public:
  /// Constructs a main program using given command-line arguments.
  MainProgram(int argc, const char* argv[]);
  /// Executes the main program.
  int Run();

 private:
  void PrintUsage();
  void AddOptions();
  bool ValidateOptions();

  // Extracts options from `opt_` and construts `config_`.
  void ExtractOptions();

  bool is_options_all_valid_{false};
  ez::ezOptionParser opt_;
  std::vector<const std::string*> args_;  // List of valid option arguments.
  Config config_;
};
}  // namespace dreal