Options.h

#ifndef STAMINA_CORE_OPTIONS_H
#define STAMINA_CORE_OPTIONS_H
 
#include <iostream>
#include <string>
#include "StaminaArgParse.h"
#include <functional>
 
namespace stamina {
    namespace core {
 
        class Options {
        public:
 
            static bool checkOptions();
            static void setArgs(struct arguments * arguments);
            inline static std::string model_file;
            inline static std::string properties_file;
            inline static double kappa;
            inline static double reduce_kappa;
            inline static double approx_factor; // Misprediction factor
            inline static double prob_win;
            inline static uint64_t max_approx_count;
            inline static bool no_prop_refine;
            inline static std::string cudd_max_mem;
            inline static std::string export_filename;
            inline static std::string export_perimeter_states;
            inline static std::string import_filename;
            inline static std::string property;
            inline static std::string consts;
            inline static std::string export_trans;
            inline static bool rank_transitions;
            inline static uint64_t max_iterations;
            inline static uint64_t max_states;
            inline static uint8_t method;
            inline static uint8_t threads;
        };
        bool endsWith(std::string full, std::string end);
    } // namespace core
} // namespace stamina
#endif // STAMINA_CORE_OPTIONS_H