Class LTLProblemDefinition

• Defined in File LTLProblemDefinition.h

Inheritance Relationships

Base Type

• public ompl::base::ProblemDefinition (Class ProblemDefinition)

Class Documentation

class LTLProblemDefinition : public ompl::base::ProblemDefinition

Public Functions

LTLProblemDefinition(const control::LTLSpaceInformationPtr &ltlsi)

~LTLProblemDefinition() override = default

void addLowerStartState(const base::State *s)

base::PathPtr getLowerSolutionPath() const

Protected Functions

void createGoal()

Protected Attributes

LTLSpaceInformationPtr ltlsi_