.. _exhale_class_classsmc__storm_1_1model__checker_1_1StatisticalModelCheckingEngine:

Template Class StatisticalModelCheckingEngine
=============================================

- Defined in :ref:`file__home_runner_work_smc_storm_smc_storm_include_model_checker_statistical_model_checking_engine.hpp`


Inheritance Relationships
-------------------------

Base Type
*********

- ``public storm::modelchecker::AbstractModelChecker< ModelType >``


Class Documentation
-------------------


.. doxygenclass:: smc_storm::model_checker::StatisticalModelCheckingEngine
   :project: smc_storm
   :members:
   :protected-members:
   :undoc-members: