.. _exhale_class_classVAL_1_1parse__category:

Class parse_category
====================

- Defined in :ref:`file_src_VALfiles_parsing_ptree.h`


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

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

- ``public VAL::pc_list< derivation_rule * >`` (:ref:`exhale_class_classVAL_1_1pc__list`)
- ``public VAL::pc_list< func_decl * >`` (:ref:`exhale_class_classVAL_1_1pc__list`)
- ``public VAL::pc_list< goal * >`` (:ref:`exhale_class_classVAL_1_1pc__list`)
- ``public VAL::pc_list< operator_*>`` (:ref:`exhale_class_classVAL_1_1pc__list`)
- ``public VAL::pc_list< plan_step * >`` (:ref:`exhale_class_classVAL_1_1pc__list`)
- ``public VAL::pc_list< pred_decl * >`` (:ref:`exhale_class_classVAL_1_1pc__list`)
- ``public VAL::pc_list< proposition * >`` (:ref:`exhale_class_classVAL_1_1pc__list`)
- ``public VAL::pc_list< VAL::assignment * >`` (:ref:`exhale_class_classVAL_1_1pc__list`)
- ``public VAL::pc_list< VAL::timed_effect * >`` (:ref:`exhale_class_classVAL_1_1pc__list`)
- ``public VAL::pc_list< VAL::simple_effect * >`` (:ref:`exhale_class_classVAL_1_1pc__list`)
- ``public VAL::pc_list< VAL::forall_effect * >`` (:ref:`exhale_class_classVAL_1_1pc__list`)
- ``public VAL::pc_list< VAL::cond_effect * >`` (:ref:`exhale_class_classVAL_1_1pc__list`)
- ``public VAL::typed_symbol_list< var_symbol >`` (:ref:`exhale_class_classVAL_1_1typed__symbol__list`)
- ``public VAL::domain`` (:ref:`exhale_class_classVAL_1_1domain`)
- ``public VAL::effect`` (:ref:`exhale_class_classVAL_1_1effect`)
- ``public VAL::effect_lists`` (:ref:`exhale_class_classVAL_1_1effect__lists`)
- ``public VAL::expression`` (:ref:`exhale_class_classVAL_1_1expression`)
- ``public VAL::func_decl`` (:ref:`exhale_class_classVAL_1_1func__decl`)
- ``public VAL::goal`` (:ref:`exhale_class_classVAL_1_1goal`)
- ``public VAL::length_spec`` (:ref:`exhale_class_classVAL_1_1length__spec`)
- ``public VAL::metric_spec`` (:ref:`exhale_class_classVAL_1_1metric__spec`)
- ``public VAL::pc_list< pc >`` (:ref:`exhale_class_classVAL_1_1pc__list`)
- ``public VAL::plan_step`` (:ref:`exhale_class_classVAL_1_1plan__step`)
- ``public VAL::pred_decl`` (:ref:`exhale_class_classVAL_1_1pred__decl`)
- ``public VAL::problem`` (:ref:`exhale_class_classVAL_1_1problem`)
- ``public VAL::proposition`` (:ref:`exhale_class_classVAL_1_1proposition`)
- ``public VAL::structure_def`` (:ref:`exhale_class_classVAL_1_1structure__def`)
- ``public VAL::structure_store`` (:ref:`exhale_class_classVAL_1_1structure__store`)
- ``public VAL::symbol`` (:ref:`exhale_class_classVAL_1_1symbol`)
- ``public VAL::typed_symbol_list< symbol_class >`` (:ref:`exhale_class_classVAL_1_1typed__symbol__list`)


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


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