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);
67 void createGoal(
void);
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 boost shared pointer wrapper for ompl::base::Path.