.. _exhale_struct_structVAL_1_1UnsatPrecondition:

Struct UnsatPrecondition
========================

- Defined in :ref:`file_src_VALfiles_RepairAdvice.h`


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

Base Type
*********

- ``public VAL::UnsatCondition`` (:ref:`exhale_class_classVAL_1_1UnsatCondition`)


Struct Documentation
--------------------


.. doxygenstruct:: VAL::UnsatPrecondition
   :project: popf Doxygen Project
   :members:
   :protected-members:
   :undoc-members: