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

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

addOption(std::shared_ptr< Option > const &option)storm::settings::modules::ModuleSettingsprotected
BisimulationSettings()storm::settings::modules::BisimulationSettings
BisimulationType enum namestorm::settings::modules::BisimulationSettings
check() const overridestorm::settings::modules::BisimulationSettingsvirtual
finalize()storm::settings::modules::ModuleSettingsvirtual
getInitialPartitionMode() conststorm::settings::modules::BisimulationSettings
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
getPrintLengthOfLongestOption(bool includeAdvanced) conststorm::settings::modules::ModuleSettings
getQuotientFormat() conststorm::settings::modules::BisimulationSettings
getRefinementMode() conststorm::settings::modules::BisimulationSettings
getReuseMode() conststorm::settings::modules::BisimulationSettings
getSignatureMode() conststorm::settings::modules::BisimulationSettings
InitialPartitionMode enum namestorm::settings::modules::BisimulationSettings
isQuotientFormatSetFromDefaultValue() conststorm::settings::modules::BisimulationSettings
isSet(std::string const &optionName) conststorm::settings::modules::ModuleSettingsprotected
isStrongBisimulationSet() conststorm::settings::modules::BisimulationSettings
isUseOriginalVariablesSet() conststorm::settings::modules::BisimulationSettings
isUseRepresentativesSet() conststorm::settings::modules::BisimulationSettings
isWeakBisimulationSet() conststorm::settings::modules::BisimulationSettings
moduleNamestorm::settings::modules::BisimulationSettingsstatic
ModuleSettings(std::string const &moduleName)storm::settings::modules::ModuleSettings
overrideOption(std::string const &name, bool requiredStatus)storm::settings::modules::ModuleSettings
RefinementMode enum namestorm::settings::modules::BisimulationSettings
restoreDefaults()storm::settings::modules::ModuleSettings
ReuseMode enum namestorm::settings::modules::BisimulationSettings
set(std::string const &name)storm::settings::modules::ModuleSettingsprotected
unset(std::string const &name)storm::settings::modules::ModuleSettingsprotected
useExactArithmeticInDdBisimulation() conststorm::settings::modules::BisimulationSettings
~ModuleSettings()storm::settings::modules::ModuleSettingsinlinevirtual