LTLSpaceInformation.cpp
158 ob::StateSpacePtr regionSpace(new ob::DiscreteStateSpace(0, prod->getDecomp()->getNumRegions()-1));
This namespace contains sampling based planning routines used by planning under differential constrai...
Definition: Control.h:44
A boost shared pointer wrapper for ompl::base::StateSpace.
void lock()
Lock this state space. This means no further spaces can be added as components. This function can be ...
Definition: StateSpace.cpp:1146
virtual void setup(void)
Perform additional setup tasks (run once, before use)
Definition: LTLSpaceInformation.cpp:33
Model the effect of controls on system states.
Definition: StatePropagator.h:62
A boost shared pointer wrapper for ompl::base::StateValidityChecker.
A space to allow the composition of state spaces.
Definition: StateSpace.h:544
Abstract definition for a class checking the validity of states. The implementation of this class mus...
Definition: StateValidityChecker.h:93
A State of a ProductGraph represents a vertex in the graph-based Cartesian product represented by the...
Definition: ProductGraph.h:74
This namespace contains sampling based planning routines shared by both planning under geometric cons...
Definition: Cost.h:44
A boost shared pointer wrapper for ompl::control::SpaceInformation.
void addSubspace(const StateSpacePtr &component, double weight)
Adds a new state space as part of the compound state space. For computing distances within the compou...
Definition: StateSpace.cpp:855
A boost shared pointer wrapper for ompl::control::ProductGraph.
int getSafeState(void) const
Returns this State's safe Automaton state component.
Definition: ProductGraph.cpp:65
A boost shared pointer wrapper for ompl::control::Automaton.
A space representing discrete states; i.e. there are a small number of discrete states the system can...
Definition: DiscreteStateSpace.h:69
int getDecompRegion(void) const
Returns this State's PropositionalDecomposition region component.
Definition: ProductGraph.cpp:55
int getCosafeState(void) const
Returns this State's co-safe Automaton state component.
Definition: ProductGraph.cpp:60
const T * as(const unsigned int index) const
Cast a component of this instance to a desired type.
Definition: State.h:109