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.