Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::settings::modules::AbstractionSettings Member List

This is the complete list of members for storm::settings::modules::AbstractionSettings, including all inherited members.

AbstractionSettings()storm::settings::modules::AbstractionSettings
addOption(std::shared_ptr< Option > const &option)storm::settings::modules::ModuleSettingsprotected
check() conststorm::settings::modules::ModuleSettingsvirtual
finalize()storm::settings::modules::ModuleSettingsvirtual
getAbstractionRefinementMethod() conststorm::settings::modules::AbstractionSettings
getConstraintString() conststorm::settings::modules::AbstractionSettings
getInjectedRefinementPredicates() conststorm::settings::modules::AbstractionSettings
getMaximalAbstractionCount() conststorm::settings::modules::AbstractionSettings
getModuleName() conststorm::settings::modules::ModuleSettings
getOption(std::string const &longName)storm::settings::modules::ModuleSettingsprotected
getOption(std::string const &longName) conststorm::settings::modules::ModuleSettingsprotected
getOptions() conststorm::settings::modules::ModuleSettings
getPivotSelectionHeuristic() conststorm::settings::modules::AbstractionSettings
getPrecision() conststorm::settings::modules::AbstractionSettings
getPrintLengthOfLongestOption(bool includeAdvanced) conststorm::settings::modules::ModuleSettings
getRelativeTerminationCriterion() conststorm::settings::modules::AbstractionSettings
getReuseMode() conststorm::settings::modules::AbstractionSettings
getSolveMode() conststorm::settings::modules::AbstractionSettings
getSplitMode() conststorm::settings::modules::AbstractionSettings
getValidBlockMode() conststorm::settings::modules::AbstractionSettings
isAddAllGuardsSet() conststorm::settings::modules::AbstractionSettings
isAddAllInitialExpressionsSet() conststorm::settings::modules::AbstractionSettings
isConstraintsSet() conststorm::settings::modules::AbstractionSettings
isDebugSet() conststorm::settings::modules::AbstractionSettings
isFixPlayer1StrategySet() conststorm::settings::modules::AbstractionSettings
isFixPlayer2StrategySet() conststorm::settings::modules::AbstractionSettings
isInjectRefinementPredicatesSet() conststorm::settings::modules::AbstractionSettings
isRankRefinementPredicatesSet() conststorm::settings::modules::AbstractionSettings
isRestrictToRelevantStatesSet() conststorm::settings::modules::AbstractionSettings
isSet(std::string const &optionName) conststorm::settings::modules::ModuleSettingsprotected
isUseDecompositionSet() conststorm::settings::modules::AbstractionSettings
isUseEagerRefinementSet() conststorm::settings::modules::AbstractionSettings
isUseInterpolationSet() conststorm::settings::modules::AbstractionSettings
Method enum namestorm::settings::modules::AbstractionSettings
moduleNamestorm::settings::modules::AbstractionSettingsstatic
ModuleSettings(std::string const &moduleName)storm::settings::modules::ModuleSettings
overrideOption(std::string const &name, bool requiredStatus)storm::settings::modules::ModuleSettings
PivotSelectionHeuristic enum namestorm::settings::modules::AbstractionSettings
restoreDefaults()storm::settings::modules::ModuleSettings
ReuseMode enum namestorm::settings::modules::AbstractionSettings
set(std::string const &name)storm::settings::modules::ModuleSettingsprotected
setAddAllGuards(bool value)storm::settings::modules::AbstractionSettings
setAddAllInitialExpressions(bool value)storm::settings::modules::AbstractionSettings
SolveMode enum namestorm::settings::modules::AbstractionSettings
SplitMode enum namestorm::settings::modules::AbstractionSettings
unset(std::string const &name)storm::settings::modules::ModuleSettingsprotected
ValidBlockMode enum namestorm::settings::modules::AbstractionSettings
~ModuleSettings()storm::settings::modules::ModuleSettingsinlinevirtual