.. _exhale_struct_structVAL_1_1UnsatConditionFactory:

Struct UnsatConditionFactory
============================

- Defined in :ref:`file_src_VALfiles_RepairAdvice.h`


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


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