.. _exhale_class_classVAL_1_1UnsatCondition:

Class UnsatCondition
====================

- Defined in :ref:`file_src_VALfiles_RepairAdvice.h`


Inheritance Relationships
-------------------------

Derived Types
*************

- ``public VAL::MutexViolation`` (:ref:`exhale_struct_structVAL_1_1MutexViolation`)
- ``public VAL::UnsatDurationCondition`` (:ref:`exhale_struct_structVAL_1_1UnsatDurationCondition`)
- ``public VAL::UnsatGoal`` (:ref:`exhale_struct_structVAL_1_1UnsatGoal`)
- ``public VAL::UnsatInvariant`` (:ref:`exhale_struct_structVAL_1_1UnsatInvariant`)
- ``public VAL::UnsatPrecondition`` (:ref:`exhale_struct_structVAL_1_1UnsatPrecondition`)


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


.. doxygenclass:: VAL::UnsatCondition
   :project: popf Doxygen Project
   :members:
   :protected-members:
   :undoc-members: