LTLProblemDefinition.h
Definition of a problem to be solved. This includes the start state(s) for the system and a goal spec...
Definition: ProblemDefinition.h:153
A shared pointer wrapper for ompl::control::LTLSpaceInformation.
Main namespace. Contains everything in this library.
Definition: ConstrainedSpaceInformation.h:53