Struct SmcSettings

Defined in File smc_settings.hpp

Struct Documentation

struct SmcSettings

Data structure holding all configurations required by SMC_STORM.

Public Functions

inline SmcSettings(const UserSettings &user_settings)

Public Members

const std::string stat_method

const std::string traces_file

const double confidence

const double epsilon

const int max_trace_length

const size_t max_n_traces

const size_t n_threads

const size_t batch_size

const bool stop_after_failure

const bool store_only_not_verified

const bool cache_explored_states

const bool show_statistics