STAMINA/STORM
0.1
Infinite state-space truncator which generates a probability within a window
- _ -
__init__() :
xstamina.XStamina
- a -
accumulateProbabilities() :
stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >
addFormButtons() :
xstamina.XStamina
addRowWithBrowse() :
xstamina.XStamina
allocate() :
stamina::util::StateMemoryPool< T >
- b -
BaseThread() :
stamina::builder::threads::BaseThread< StateType, RewardModelType, ValueType >
build() :
stamina::builder::ExplicitTruncatedModelBuilder< ValueType, RewardModelType, StateType >
,
stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >
buildMatrices() :
stamina::builder::StaminaIterativeModelBuilder< ValueType, RewardModelType, StateType >
,
stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >
,
stamina::builder::StaminaPriorityModelBuilder< ValueType, RewardModelType, StateType >
,
stamina::builder::StaminaReExploringModelBuilder< ValueType, RewardModelType, StateType >
,
stamina::builder::StaminaThreadedIterativeModelBuilder< ValueType, RewardModelType, StateType >
,
stamina::builder::StaminaThreadedPriorityModelBuilder< ValueType, RewardModelType, StateType >
buildModelComponents() :
stamina::builder::StaminaIterativeModelBuilder< ValueType, RewardModelType, StateType >
,
stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >
,
stamina::builder::StaminaPriorityModelBuilder< ValueType, RewardModelType, StateType >
,
stamina::builder::StaminaReExploringModelBuilder< ValueType, RewardModelType, StateType >
buildStateLabeling() :
stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >
- c -
checkOptions() :
stamina::core::Options
clear() :
stamina::util::StateIndexArray< StateType, ProbabilityStateType >
connectAllTerminalStatesToAbsorbing() :
stamina::builder::StaminaIterativeModelBuilder< ValueType, RewardModelType, StateType >
connectTerminalStatesToAbsorbing() :
stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >
ControlThread() :
stamina::builder::threads::ControlThread< StateType, RewardModelType, ValueType >
createExtensionMask() :
xstamina.XStamina
createModifiedModel() :
stamina::util::ModelModify
createModifiedProperties() :
stamina::util::ModelModify
createTransition() :
stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >
- e -
emplace_back() :
stamina::builder::threads::ControlThread< StateType, RewardModelType, ValueType >::LockableDeque
error() :
stamina::core::StaminaMessages
errorAndExit() :
stamina::core::StaminaMessages
ExplicitTruncatedModelBuilder() :
stamina::builder::ExplicitTruncatedModelBuilder< ValueType, RewardModelType, StateType >
ExplorationThread() :
stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >
exportExplicitStateLookup() :
stamina::builder::ExplicitTruncatedModelBuilder< ValueType, RewardModelType, StateType >
- f -
flushStatesTerminated() :
stamina::builder::StaminaIterativeModelBuilder< ValueType, RewardModelType, StateType >
flushToTransitionMatrix() :
stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >
freeAll() :
stamina::util::StateMemoryPool< T >
- g -
get() :
stamina::util::StateIndexArray< StateType, ProbabilityStateType >
getExportFilePath() :
xstamina.XStamina
getImportFilePath() :
xstamina.XStamina
getNumberTerminal() :
stamina::util::StateIndexArray< StateType, ProbabilityStateType >
getOrAddStateIndex() :
stamina::builder::StaminaIterativeModelBuilder< ValueType, RewardModelType, StateType >
,
stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >
,
stamina::builder::StaminaPriorityModelBuilder< ValueType, RewardModelType, StateType >
,
stamina::builder::StaminaReExploringModelBuilder< ValueType, RewardModelType, StateType >
getParent() :
stamina::builder::threads::BaseThread< StateType, RewardModelType, ValueType >
getPerimeterStates() :
stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >
,
stamina::util::StateIndexArray< StateType, ProbabilityStateType >
getStateIndexIfKnown() :
stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >
getStateIndexOrAbsorbing() :
stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >
good() :
stamina::core::StaminaMessages
- i -
info() :
stamina::core::StaminaMessages
initialize() :
stamina::core::StaminaModelChecker
,
stamina::Stamina
insertOperand() :
stamina::gui::PropertyWizard
IterativeExplorationThread() :
stamina::builder::threads::IterativeExplorationThread< StateType, RewardModelType, ValueType >
- j -
join() :
stamina::builder::threads::BaseThread< StateType, RewardModelType, ValueType >
- l -
loadPropertyExpressionFromFormula() :
stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >
- m -
mainLoop() :
stamina::builder::threads::BaseThread< StateType, RewardModelType, ValueType >
,
stamina::builder::threads::ControlThread< StateType, RewardModelType, ValueType >
,
stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >
modelCheckProperty() :
stamina::core::StaminaModelChecker
ModelModify() :
stamina::util::ModelModify
- o -
Options() :
stamina::builder::ExplicitTruncatedModelBuilder< ValueType, RewardModelType, StateType >::Options
- p -
put() :
stamina::util::StateIndexArray< StateType, ProbabilityStateType >
- r -
requestCrossExploration() :
stamina::builder::threads::ExplorationThread< StateType, RewardModelType, ValueType >
requestCrossExplorationFromThread() :
stamina::builder::threads::ControlThread< StateType, RewardModelType, ValueType >
requestInsertTransition() :
stamina::builder::threads::ControlThread< StateType, RewardModelType, ValueType >
requestOwnership() :
stamina::builder::threads::ControlThread< StateType, RewardModelType, ValueType >
reserve() :
stamina::util::StateIndexArray< StateType, ProbabilityStateType >
reset() :
stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >
run() :
stamina::Stamina
,
xstamina.XStamina
- s -
setArgs() :
stamina::core::Options
setGenerator() :
stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >
setLocalKappaToGlobal() :
stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >
setPropertyFormula() :
stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >
setUpAbsorbingState() :
stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >
showMoreOptions() :
xstamina.XStamina
sizeToActualSize() :
stamina::util::StateIndexArray< StateType, ProbabilityStateType >
Stamina() :
stamina::Stamina
StaminaIterativeModelBuilder() :
stamina::builder::StaminaIterativeModelBuilder< ValueType, RewardModelType, StateType >
StaminaModelBuilder() :
stamina::builder::StaminaModelBuilder< ValueType, RewardModelType, StateType >
StaminaModelChecker() :
stamina::core::StaminaModelChecker
StaminaPriorityModelBuilder() :
stamina::builder::StaminaPriorityModelBuilder< ValueType, RewardModelType, StateType >
StaminaReExploringModelBuilder() :
stamina::builder::StaminaReExploringModelBuilder< ValueType, RewardModelType, StateType >
StaminaThreadedIterativeModelBuilder() :
stamina::builder::StaminaThreadedIterativeModelBuilder< ValueType, RewardModelType, StateType >
StaminaThreadedPriorityModelBuilder() :
stamina::builder::StaminaThreadedPriorityModelBuilder< ValueType, RewardModelType, StateType >
startThread() :
stamina::builder::threads::BaseThread< StateType, RewardModelType, ValueType >
StateMemoryPool() :
stamina::util::StateMemoryPool< T >
- t -
trace() :
xstamina.XStamina
- w -
warning() :
stamina::core::StaminaMessages
whatIsIndex() :
stamina::builder::threads::ControlThread< StateType, RewardModelType, ValueType >
whoOwns() :
stamina::builder::threads::ControlThread< StateType, RewardModelType, ValueType >
- ~ -
~ModelModify() :
stamina::util::ModelModify
~Stamina() :
stamina::Stamina
~StaminaModelChecker() :
stamina::core::StaminaModelChecker
~StateMemoryPool() :
stamina::util::StateMemoryPool< T >
Generated by
1.9.3