 |
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 stamina::Options, including all inherited members.
| approx_factor (defined in stamina::Options) | stamina::Options | inlinestatic |
| checkOptions() | stamina::Options | static |
| consts (defined in stamina::Options) | stamina::Options | inlinestatic |
| cudd_max_mem (defined in stamina::Options) | stamina::Options | inlinestatic |
| export_filename (defined in stamina::Options) | stamina::Options | inlinestatic |
| export_perimeter_states (defined in stamina::Options) | stamina::Options | inlinestatic |
| export_trans (defined in stamina::Options) | stamina::Options | inlinestatic |
| import_filename (defined in stamina::Options) | stamina::Options | inlinestatic |
| kappa (defined in stamina::Options) | stamina::Options | inlinestatic |
| max_approx_count (defined in stamina::Options) | stamina::Options | inlinestatic |
| max_iterations (defined in stamina::Options) | stamina::Options | inlinestatic |
| max_states (defined in stamina::Options) | stamina::Options | inlinestatic |
| model_file (defined in stamina::Options) | stamina::Options | inlinestatic |
| no_prop_refine (defined in stamina::Options) | stamina::Options | inlinestatic |
| prob_win (defined in stamina::Options) | stamina::Options | inlinestatic |
| properties_file (defined in stamina::Options) | stamina::Options | inlinestatic |
| property (defined in stamina::Options) | stamina::Options | inlinestatic |
| rank_transitions (defined in stamina::Options) | stamina::Options | inlinestatic |
| reduce_kappa (defined in stamina::Options) | stamina::Options | inlinestatic |
| setArgs(struct arguments *arguments) | stamina::Options | static |
1.9.3