.. _exhale_struct_structsmc__storm_1_1model__checker_1_1ModelAndProperties:

Struct ModelAndProperties
=========================

- Defined in :ref:`file__home_runner_work_smc_storm_smc_storm_include_model_checker_model_and_properties.hpp`


Struct Documentation
--------------------


.. doxygenstruct:: smc_storm::model_checker::ModelAndProperties
   :project: smc_storm
   :members:
   :protected-members:
   :undoc-members: