.. _exhale_class_classVAL_1_1AdviceProposition: Class AdviceProposition ======================= - Defined in :ref:`file_src_VALfiles_Proposition.h` Inheritance Relationships ------------------------- Derived Types ************* - ``public VAL::AdvicePropositionComp`` (:ref:`exhale_class_classVAL_1_1AdvicePropositionComp`) - ``public VAL::AdvicePropositionConj`` (:ref:`exhale_class_classVAL_1_1AdvicePropositionConj`) - ``public VAL::AdvicePropositionDP`` (:ref:`exhale_class_classVAL_1_1AdvicePropositionDP`) - ``public VAL::AdvicePropositionDisj`` (:ref:`exhale_class_classVAL_1_1AdvicePropositionDisj`) - ``public VAL::AdvicePropositionLiteral`` (:ref:`exhale_class_classVAL_1_1AdvicePropositionLiteral`) Class Documentation ------------------- .. doxygenclass:: VAL::AdviceProposition :project: popf Doxygen Project :members: :protected-members: :undoc-members: