.. _exhale_class_classsmc__storm_1_1state__properties_1_1StateDescription:

Template Class StateDescription
===============================

- Defined in :ref:`file__home_runner_work_smc_storm_smc_storm_include_state_properties_state_description.hpp`


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


.. doxygenclass:: smc_storm::state_properties::StateDescription
   :project: smc_storm
   :members:
   :protected-members:
   :undoc-members: