Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::storage::SymbolicModelDescription Member List

This is the complete list of members for storm::storage::SymbolicModelDescription, including all inherited members.

asJaniModel() conststorm::storage::SymbolicModelDescription
asJaniModel()storm::storage::SymbolicModelDescription
asPrismProgram() conststorm::storage::SymbolicModelDescription
asPrismProgram()storm::storage::SymbolicModelDescription
getManager() conststorm::storage::SymbolicModelDescription
getModelType() conststorm::storage::SymbolicModelDescription
getParameterNames() conststorm::storage::SymbolicModelDescription
getUndefinedConstants() conststorm::storage::SymbolicModelDescription
hasModel() conststorm::storage::SymbolicModelDescription
hasUndefinedConstants() conststorm::storage::SymbolicModelDescription
isJaniModel() conststorm::storage::SymbolicModelDescription
isPrismProgram() conststorm::storage::SymbolicModelDescription
ModelType enum namestorm::storage::SymbolicModelDescription
operator=(storm::jani::Model const &model)storm::storage::SymbolicModelDescription
operator=(storm::prism::Program const &program)storm::storage::SymbolicModelDescription
parseConstantDefinitions(std::string const &constantDefinitionString) conststorm::storage::SymbolicModelDescription
preprocess(std::string const &constantDefinitionString="") conststorm::storage::SymbolicModelDescription
preprocess(std::map< storm::expressions::Variable, storm::expressions::Expression > const &constantDefinitions) conststorm::storage::SymbolicModelDescription
requireNoUndefinedConstants() conststorm::storage::SymbolicModelDescription
setModel(storm::jani::Model const &model)storm::storage::SymbolicModelDescription
setModel(storm::prism::Program const &program)storm::storage::SymbolicModelDescription
SymbolicModelDescription()=defaultstorm::storage::SymbolicModelDescription
SymbolicModelDescription(storm::jani::Model const &model)storm::storage::SymbolicModelDescription
SymbolicModelDescription(storm::prism::Program const &program)storm::storage::SymbolicModelDescription
toJani(bool makeVariablesGlobal=true) conststorm::storage::SymbolicModelDescription
toJani(std::vector< storm::jani::Property > const &properties, bool makeVariablesGlobal) conststorm::storage::SymbolicModelDescription