.. _exhale_class_classVAL_1_1Proposition:

Class Proposition
=================

- Defined in :ref:`file_src_VALfiles_Proposition.h`


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

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

- ``public VAL::Comparison`` (:ref:`exhale_class_classVAL_1_1Comparison`)
- ``public VAL::ConjGoal`` (:ref:`exhale_class_classVAL_1_1ConjGoal`)
- ``public VAL::ConstraintGoal`` (:ref:`exhale_class_classVAL_1_1ConstraintGoal`)
- ``public VAL::DerivedGoal`` (:ref:`exhale_class_classVAL_1_1DerivedGoal`)
- ``public VAL::DisjGoal`` (:ref:`exhale_class_classVAL_1_1DisjGoal`)
- ``public VAL::FalseProposition`` (:ref:`exhale_class_classVAL_1_1FalseProposition`)
- ``public VAL::ImplyGoal`` (:ref:`exhale_class_classVAL_1_1ImplyGoal`)
- ``public VAL::NegGoal`` (:ref:`exhale_class_classVAL_1_1NegGoal`)
- ``public VAL::PreferenceGoal`` (:ref:`exhale_class_classVAL_1_1PreferenceGoal`)
- ``public VAL::QfiedGoal`` (:ref:`exhale_class_classVAL_1_1QfiedGoal`)
- ``public VAL::SimpleProposition`` (:ref:`exhale_class_classVAL_1_1SimpleProposition`)


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


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