.. _exhale_class_classompl_1_1control_1_1PropositionalDecompositionPtr:

Class PropositionalDecompositionPtr
===================================

- Defined in :ref:`file_src_ompl_control_planners_ltl_PropositionalDecomposition.h`


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


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