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

List of all members.

Public Member Functions

 LTLSpaceInformation (const SpaceInformationPtr &si, const ProductGraphPtr &prod)
virtual void setup (void)
 Perform additional setup tasks (run once, before use)
const ProductGraphPtrgetProductGraph (void) const
const SpaceInformationPtrgetLowSpace ()
void getFullState (const base::State *low, base::State *full)
base::StategetLowLevelState (base::State *s)
const base::StategetLowLevelState (const base::State *s)
ProductGraph::StategetProdGraphState (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:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines