ompl::control::Automaton::TransitionMap Struct Reference
Each automaton state has a transition map, which maps from a World to another automaton state. A set of true propositions correponds to the formula
.
More...
#include <ompl/control/planners/ltl/Automaton.h>
Public Member Functions | |
int | eval (const World &w) const |
Returns the automaton state corresponding to a given World in this transition map. Returns -1 if no such transition exists. | |
TransitionMap & | operator= (const TransitionMap &tm) |
Public Attributes | |
boost::unordered_map< World, unsigned int > | entries |
Detailed Description
Each automaton state has a transition map, which maps from a World to another automaton state. A set of true propositions correponds to the formula
.
Definition at line 76 of file Automaton.h.
The documentation for this struct was generated from the following files:
- ompl/control/planners/ltl/Automaton.h
- ompl/control/planners/ltl/src/Automaton.cpp