.. _exhale_function_model__and__settings__validation_8hpp_1ae40021ebd7041a120060ae33367487d0:

Function smc_storm::model_checker::areModelAndSettingsValid
===========================================================

- Defined in :ref:`file__home_runner_work_smc_storm_smc_storm_include_model_checker_model_and_settings_validation.hpp`


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


.. doxygenfunction:: smc_storm::model_checker::areModelAndSettingsValid(const ModelAndProperties&, const settings::SmcSettings&)
   :project: smc_storm