ompl::control::LTLSpaceInformation Class Reference
Inheritance diagram for ompl::control::LTLSpaceInformation:

Public Member Functions | |
LTLSpaceInformation (const SpaceInformationPtr &si, const ProductGraphPtr &prod) | |
virtual void | setup (void) |
Perform additional setup tasks (run once, before use) | |
const ProductGraphPtr & | getProductGraph (void) const |
const SpaceInformationPtr & | getLowSpace () |
void | getFullState (const base::State *low, base::State *full) |
base::State * | getLowLevelState (base::State *s) |
const base::State * | getLowLevelState (const base::State *s) |
ProductGraph::State * | getProdGraphState (const base::State *s) const |
Protected Types | |
enum | SpaceIndex { LOW_LEVEL = 0, REGION = 1, COSAFE = 2, SAFE = 3 } |
Protected Member Functions | |
void | extendPropagator (const SpaceInformationPtr &oldsi) |
void | extendValidityChecker (const SpaceInformationPtr &oldsi) |
Protected Attributes | |
ProductGraphPtr | prod_ |
SpaceInformationPtr | lowSpace_ |
Detailed Description
Definition at line 55 of file LTLSpaceInformation.h.
The documentation for this class was generated from the following files:
- ompl/control/planners/ltl/LTLSpaceInformation.h
- ompl/control/planners/ltl/src/LTLSpaceInformation.cpp