STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
|
This is the complete list of members for arguments, including all inherited members.
approx_factor (defined in arguments) | arguments | |
consts (defined in arguments) | arguments | |
cudd_max_mem (defined in arguments) | arguments | |
export_filename (defined in arguments) | arguments | |
export_perimeter_states (defined in arguments) | arguments | |
export_trans (defined in arguments) | arguments | |
import_filename (defined in arguments) | arguments | |
kappa (defined in arguments) | arguments | |
max_approx_count (defined in arguments) | arguments | |
max_iterations (defined in arguments) | arguments | |
max_states (defined in arguments) | arguments | |
method (defined in arguments) | arguments | |
model_file (defined in arguments) | arguments | |
no_prop_refine (defined in arguments) | arguments | |
prob_win (defined in arguments) | arguments | |
properties_file (defined in arguments) | arguments | |
property (defined in arguments) | arguments | |
rank_transitions (defined in arguments) | arguments | |
reduce_kappa (defined in arguments) | arguments | |
threads (defined in arguments) | arguments |