A state of timed automata. More...
#include <timed_automaton.hh>
Collaboration diagram for TATransition:
Public Attributes | |
| TAState * | target |
| The pointer to the target state. | |
| std::vector< ClockVariables > | resetVars |
| The clock variables reset after this transition. | |
| std::vector< Constraint > | guard |
| The guard for this transition. | |
Detailed Description
A state of timed automata.
The documentation for this struct was generated from the following file:
