.. _file_src_VALfiles_RepairAdvice.h:

File RepairAdvice.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/RepairAdvice.h``)
--------------------------------------------


.. toctree::
   :maxdepth: 1

   program_listing_file_src_VALfiles_RepairAdvice.h.rst





Includes
--------


- ``Action.h`` (:ref:`file_src_VALfiles_Action.h`)

- ``State.h`` (:ref:`file_src_VALfiles_State.h`)

- ``memory``



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


- :ref:`file_src_VALfiles_Validator.h`




Namespaces
----------


- :ref:`namespace_VAL`


Classes
-------


- :ref:`exhale_struct_structVAL_1_1MutexViolation`

- :ref:`exhale_struct_structVAL_1_1UnsatConditionFactory`

- :ref:`exhale_struct_structVAL_1_1UnsatDurationCondition`

- :ref:`exhale_struct_structVAL_1_1UnsatGoal`

- :ref:`exhale_struct_structVAL_1_1UnsatInvariant`

- :ref:`exhale_struct_structVAL_1_1UnsatPrecondition`

- :ref:`exhale_class_classVAL_1_1ErrorLog`

- :ref:`exhale_class_classVAL_1_1UnsatCondition`