 |
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
|
| ▼ src | |
| ▼ stamina | |
| ▼ builder | |
| ▼ threads | |
| BaseThread.h | |
| ControlThread.h | |
| ExplorationThread.h | |
| IterativeExplorationThread.h | |
| __storm_needed_for_builder.h | |
| ExplicitTruncatedModelBuilder.h | |
| ProbabilityState.h | |
| StaminaIterativeModelBuilder.h | |
| StaminaModelBuilder.h | |
| StaminaPriorityModelBuilder.h | |
| StaminaReExploringModelBuilder.h | |
| StaminaThreadedIterativeModelBuilder.h | |
| StaminaThreadedPriorityModelBuilder.h | |
| ▼ core | |
| __storm_needed_for_checker.h | |
| Options.h | |
| StaminaMessages.h | |
| StaminaModelChecker.h | |
| StateSpaceInformation.h | |
| ▼ gui | |
| ▼ addons | |
| ▼ highlighter | |
| ColorSchemes.h | |
| Highlighter.h | |
| PrismHighlighter.h | |
| CodeEditor.h | |
| LineNumberArea.h | |
| ▼ build | |
| ▼ xstamina_autogen | |
| moc_predefs.h | |
| ▼ ui | |
| ui_About.h | |
| ui_MainWindow.h | |
| ui_Preferences.h | |
| ui_PropertyWizard.h | |
| About.h | |
| MainWindow.h | |
| Preferences.h | |
| PropertyWizard.h | |
| ▼ util | |
| ModelModify.h | |
| StateIndexArray.h | |
| StateMemoryPool.h | |
| ANSIColors.h | |
| Stamina.h | |
| StaminaArgParse.h |
1.9.3