1#ifndef STAMINA_CORE_OPTIONS_H
2#define STAMINA_CORE_OPTIONS_H
6#include "StaminaArgParse.h"
30 inline static std::string model_file;
31 inline static std::string properties_file;
32 inline static double kappa;
33 inline static double reduce_kappa;
34 inline static double approx_factor;
35 inline static double prob_win;
36 inline static uint64_t max_approx_count;
37 inline static bool no_prop_refine;
38 inline static std::string cudd_max_mem;
39 inline static std::string export_filename;
40 inline static std::string export_perimeter_states;
41 inline static std::string import_filename;
42 inline static std::string property;
43 inline static std::string consts;
44 inline static std::string export_trans;
45 inline static bool rank_transitions;
46 inline static uint64_t max_iterations;
47 inline static uint64_t max_states;
48 inline static uint8_t method;
49 inline static uint8_t threads;
57 bool endsWith(std::string full, std::string end);
static void setArgs(struct arguments *arguments)
Definition: Options.cpp:46
static bool checkOptions()
Definition: Options.cpp:9
Definition: ExplicitTruncatedModelBuilder.cpp:40
Definition: StaminaArgParse.h:78