 |
STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
|
|
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 |
1.9.3