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: