STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
Public Attributes | List of all members
arguments Struct Reference

#include <StaminaArgParse.h>

Public Attributes

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
 

Detailed Description

Arguments that we have

The documentation for this struct was generated from the following file:
Generated by doxygen 1.9.3