.. _file_src_VALfiles_State.h:

File State.h
============

|exhale_lsh| :ref:`Parent directory <dir_src_VALfiles>` (``src/VALfiles``)

.. |exhale_lsh| unicode:: U+021B0 .. UPWARDS ARROW WITH TIP LEFTWARDS


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

Definition (``src/VALfiles/State.h``)
-------------------------------------


.. toctree::
   :maxdepth: 1

   program_listing_file_src_VALfiles_State.h.rst





Includes
--------


- ``FuncExp.h`` (:ref:`file_src_VALfiles_FuncExp.h`)

- ``Proposition.h`` (:ref:`file_src_VALfiles_Proposition.h`)

- ``StateObserver.h`` (:ref:`file_src_VALfiles_StateObserver.h`)

- ``set``



Included By
-----------


- :ref:`file_src_VALfiles_Events.h`

- :ref:`file_src_VALfiles_Plan.h`

- :ref:`file_src_VALfiles_PlanExecutionTracker.h`

- :ref:`file_src_VALfiles_RepairAdvice.h`

- :ref:`file_src_VALfiles_Validator.h`

- :ref:`file_src_VALfiles_misc_PartialPlan.h`




Namespaces
----------


- :ref:`namespace_VAL`


Classes
-------


- :ref:`exhale_class_classVAL_1_1State`

- :ref:`exhale_class_classVAL_1_1State_1_1const__iterator`


Functions
---------


- :ref:`exhale_function_State_8h_1a342524b965745525247a78e492e395fe`


Typedefs
--------


- :ref:`exhale_typedef_State_8h_1a856eaa9726cfdf3b72278302fd7618f4`

- :ref:`exhale_typedef_State_8h_1a068daa31a71e060012bc5a6deb225dd3`

- :ref:`exhale_typedef_State_8h_1a64bfb4e4ded5dac24dafad05b91587cc`