•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
LTLProblemDefinition.cpp
81 LTLGoal(const LTLSpaceInformationPtr <lsi) : ob::Goal(ltlsi), ltlsi_(ltlsi), prod_(ltlsi->getProductGraph())
This namespace contains sampling based planning routines shared by both planning under geometric cons...
Definition: ConstrainedSpaceInformation.h:86
A shared pointer wrapper for ompl::control::LTLSpaceInformation.
This namespace contains sampling based planning routines used by planning under differential constrai...
Definition: Control.h:76
A shared pointer wrapper for ompl::control::ProductGraph.