.. _namespace_smc_storm__state_properties__state_info:

Namespace smc_storm::state_properties::state_info
=================================================


Keep a list of constexpr values that represent state properties. A state can get more than one value assigned. 




.. contents:: Contents
   :local:
   :backlinks: none





Functions
---------


- :ref:`exhale_function_namespacesmc__storm_1_1state__properties_1_1state__info_1a4408eb737bb932d5c0b161a1c0d27342`

- :ref:`exhale_function_namespacesmc__storm_1_1state__properties_1_1state__info_1a205e255f6a9dbaa254c951084d108c83`

- :ref:`exhale_function_namespacesmc__storm_1_1state__properties_1_1state__info_1a9f539e65eb74761b7f3c090a2c102b5a`

- :ref:`exhale_function_namespacesmc__storm_1_1state__properties_1_1state__info_1ae195ac6ddf77f7d533b5190335049559`


Variables
---------


- :ref:`exhale_variable_namespacesmc__storm_1_1state__properties_1_1state__info_1a91a135865e90a90f1349e6bdf2ac06e7`

- :ref:`exhale_variable_namespacesmc__storm_1_1state__properties_1_1state__info_1a5d0b55e9069730d8f035a4a22e398afc`

- :ref:`exhale_variable_namespacesmc__storm_1_1state__properties_1_1state__info_1ad1ebf48b265ab5bf848924bec61a8c7a`

- :ref:`exhale_variable_namespacesmc__storm_1_1state__properties_1_1state__info_1aae7af2e8035eb050e8d77f4bae6694fa`