#include <Options.h>
|
static std::string | model_file |
|
static std::string | properties_file |
|
static double | kappa |
|
static double | reduce_kappa |
|
static double | approx_factor |
|
static double | prob_win |
|
static uint64_t | max_approx_count |
|
static bool | no_prop_refine |
|
static std::string | cudd_max_mem |
|
static std::string | export_filename |
|
static std::string | export_perimeter_states |
|
static std::string | import_filename |
|
static std::string | property |
|
static std::string | consts |
|
static std::string | export_trans |
|
static bool | rank_transitions |
|
static uint64_t | max_iterations |
|
static uint64_t | max_states |
|
static uint8_t | method |
|
static uint8_t | threads |
|
◆ checkOptions()
bool stamina::core::Options::checkOptions |
( |
| ) |
|
|
static |
Checks validity of options
- Returns
- Whether all options are good
◆ setArgs()
void stamina::core::Options::setArgs |
( |
struct arguments * |
arguments | ) |
|
|
static |
Sets the values of these options again
- Parameters
-
arguments | Command-line arguments to pass in |
The documentation for this class was generated from the following files:
- /home/josh/Documents/Work/stamina-cplusplus/src/stamina/core/Options.h
- /home/josh/Documents/Work/stamina-cplusplus/src/stamina/core/Options.cpp