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);
64 base::PathPtr getLowerSolutionPath()
const;
Definition of a problem to be solved. This includes the start state(s) for the system and a goal spec...
Definition of an abstract state.
Main namespace. Contains everything in this library.