.. _exhale_class_classsmc__storm_1_1state__generation_1_1JaniSmcStatesExpansion:

Template Class JaniSmcStatesExpansion
=====================================

- Defined in :ref:`file__home_runner_work_smc_storm_smc_storm_include_state_generation_jani_smc_states_expansion.hpp`


Nested Relationships
--------------------


Nested Types
************

- :ref:`exhale_struct_structsmc__storm_1_1state__generation_1_1JaniSmcStatesExpansion_1_1ActionDescription`
- :ref:`exhale_struct_structsmc__storm_1_1state__generation_1_1JaniSmcStatesExpansion_1_1ComputedDestinations`
- :ref:`exhale_struct_structsmc__storm_1_1state__generation_1_1JaniSmcStatesExpansion_1_1PairHash`


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


.. doxygenclass:: smc_storm::state_generation::JaniSmcStatesExpansion
   :project: smc_storm
   :members:
   :protected-members:
   :undoc-members: