ModelOptions.hh

Go to the documentation of this file.

#ifndef MODEL_OPTIONS_HH_
#define MODEL_OPTIONS_HH_
 
#include "Verbosity.hh"
 
struct ModelOptions {
  ModelOptions() {
    verbosity = Verbosity::Silent;
    reachSolver = ReachType::glop;
    sspSolver = SSPType::poly;
    epsilon = 1e-9;
    tranEpsilon = 1e-12;
  }
  enum class ReachType {
    iter = 0, glop = 1
  };
  enum class SSPType {
    iter = 0, glop = 1, poly = 2
  };
  Verbosity::Level verbosity;
  ReachType reachSolver;
  SSPType sspSolver;
  double epsilon;
  double tranEpsilon;
  std::vector<std::pair<std::string,std::string>> defines;
};
 
#endif