.. _exhale_class_classompl_1_1control_1_1PropositionalDecomposition:

Class PropositionalDecomposition
================================

- Defined in :ref:`file_src_ompl_control_planners_ltl_PropositionalDecomposition.h`


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

Base Type
*********

- ``public ompl::control::Decomposition`` (:ref:`exhale_class_classompl_1_1control_1_1Decomposition`)


Derived Type
************

- ``public ompl::control::PropositionalTriangularDecomposition`` (:ref:`exhale_class_classompl_1_1control_1_1PropositionalTriangularDecomposition`)


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


.. doxygenclass:: ompl::control::PropositionalDecomposition
   :project: ompl Doxygen Project
   :members:
   :protected-members:
   :undoc-members: