PropositionalDecompositionPtr Class Reference
A shared pointer wrapper for ompl::control::PropositionalDecomposition. More...
#include <ompl/control/planners/ltl/PropositionalDecomposition.h>
Detailed Description
A shared pointer wrapper for ompl::control::PropositionalDecomposition.
The documentation for this class was generated from the following file:
- ompl/control/planners/ltl/PropositionalDecomposition.h