.. _exhale_struct_structVAL_1_1UnsatInvariant: Struct UnsatInvariant ===================== - 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::UnsatInvariant :project: popf Doxygen Project :members: :protected-members: :undoc-members: