37 #ifndef OMPL_CONTROL_PLANNERS_LTL_LTLPROBLEMDEFINITION_ 38 #define OMPL_CONTROL_PLANNERS_LTL_LTLPROBLEMDEFINITION_ 40 #include "ompl/base/ProblemDefinition.h" 41 #include "ompl/control/planners/ltl/ProductGraph.h" 42 #include "ompl/control/planners/ltl/LTLSpaceInformation.h" 50 OMPL_CLASS_FORWARD(LTLProblemDefinition);
Main namespace. Contains everything in this library.
Definition of an abstract state.
Definition of a problem to be solved. This includes the start state(s) for the system and a goal spec...
A shared pointer wrapper for ompl::base::Path.