.. _exhale_class_classVAL_1_1goal: Class goal ========== - Defined in :ref:`file_src_VALfiles_parsing_ptree.h` Inheritance Relationships ------------------------- Base Type ********* - ``public VAL::parse_category`` (:ref:`exhale_class_classVAL_1_1parse__category`) Derived Types ************* - ``public VAL::comparison`` (:ref:`exhale_class_classVAL_1_1comparison`) - ``public VAL::con_goal`` (:ref:`exhale_class_classVAL_1_1con__goal`) - ``public VAL::disj_goal`` (:ref:`exhale_class_classVAL_1_1disj__goal`) - ``public VAL::imply_goal`` (:ref:`exhale_class_classVAL_1_1imply__goal`) - ``public VAL::neg_goal`` (:ref:`exhale_class_classVAL_1_1neg__goal`) - ``public VAL::simple_goal`` (:ref:`exhale_class_classVAL_1_1simple__goal`) - ``public VAL::timed_goal`` (:ref:`exhale_class_classVAL_1_1timed__goal`) Class Documentation ------------------- .. doxygenclass:: VAL::goal :project: popf Doxygen Project :members: :protected-members: :undoc-members: