Class LTLSpaceInformation

Defined in File LTLSpaceInformation.h

Inheritance Relationships

Base Type

public ompl::control::SpaceInformation (Class SpaceInformation)

Class Documentation

class LTLSpaceInformation : public ompl::control::SpaceInformation 

Public Functions

LTLSpaceInformation(const SpaceInformationPtr &si, const ProductGraphPtr &prod)

~LTLSpaceInformation() override = default

virtual void setup() override: Perform additional setup tasks (run once, before use). If state validity checking resolution has not been set, estimateMaxResolution() is called to estimate it.

inline const ProductGraphPtr &getProductGraph() const

inline 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

Values:

enumerator LOW_LEVEL

enumerator REGION

enumerator COSAFE

enumerator SAFE

Protected Functions

void extendPropagator(const SpaceInformationPtr &oldsi)

void extendValidityChecker(const SpaceInformationPtr &oldsi)

Protected Attributes

ProductGraphPtr prod_

SpaceInformationPtr lowSpace_