STAMINA/STORM
0.1
Infinite state-space truncator which generates a probability within a window
Namespace List
Here is a list of all documented namespaces with brief descriptions:
[detail level
1
2
3
4
5
6
]
▼
N
MoreOptions
C
ITypes
C
MoreOptions
▼
N
stamina
▼
N
builder
▼
N
threads
C
BaseThread
▼
C
ControlThread
C
LockableDeque
C
StateAndThreadIndex
▼
C
ExplorationThread
C
StateAndProbability
C
StateIndexAndThread
C
IterativeExplorationThread
▼
C
ExplicitTruncatedModelBuilder
C
Options
C
ProbabilityState
C
ProbabilityStateComparison
C
ProbabilityStatePair
C
ProbabilityStatePairComparison
C
StaminaIterativeModelBuilder
▼
C
StaminaModelBuilder
C
TransitionInfo
C
TransitionInfoComparison
C
StaminaPriorityModelBuilder
C
StaminaReExploringModelBuilder
C
StaminaThreadedIterativeModelBuilder
C
StaminaThreadedPriorityModelBuilder
▼
N
core
C
Options
C
ResultInformation
C
StaminaMessages
C
StaminaModelChecker
C
StateSpaceInformation
▼
N
gui
▼
N
addons
▼
N
highlighter
C
ColorScheme
C
ColorSchemes
▼
C
Highlighter
C
HighlightingRule
C
PrismHighlighter
C
CodeEditor
C
LineNumberArea
C
About
C
MainWindow
C
OperandAndDescription
C
OperandInformation
C
OperandItem
C
Preferences
▼
C
PrefInfo
C
CounterExampleGeneration
C
General
C
ModelBuilding
C
ModelChecking
C
PropertyRefinement
C
PropertyTreeModel
C
PropertyWizard
▼
N
util
C
ModelModify
C
StateIndexArray
C
StateMemoryPool
C
Stamina
▼
N
Ui
C
About
C
MainWindow
C
Preferences
C
PropertyWizard
▼
N
xstamina
C
XStamina
Generated by
1.9.3
1.9.3