.. _exhale_function_parsers_8hpp_1a631d129ef25a5471e1720943133c66ed:

Function smc_storm::parser::parsePrismModelAndProperties
========================================================

- Defined in :ref:`file__home_runner_work_smc_storm_smc_storm_include_parser_parsers.hpp`


Function Documentation
----------------------


.. doxygenfunction:: smc_storm::parser::parsePrismModelAndProperties(const smc_storm::settings::UserSettings&)
   :project: smc_storm