#include <StaminaArgParse.h>
|
std::string | model_file |
|
std::string | properties_file |
|
double | kappa |
|
double | reduce_kappa |
|
double | approx_factor |
|
double | prob_win |
|
uint64_t | max_approx_count |
|
bool | no_prop_refine |
|
std::string | cudd_max_mem |
|
std::string | export_filename |
|
std::string | export_perimeter_states |
|
std::string | import_filename |
|
std::string | property |
|
std::string | consts |
|
std::string | export_trans |
|
bool | rank_transitions |
|
uint64_t | max_iterations |
|
uint64_t | max_states |
|
uint8_t | method |
|
uint8_t | threads |
|
The documentation for this struct was generated from the following file: