|
libutap
0.93
Uppaal Timed Automata Parser
|
This is the complete list of members for UTAP::cut_t, including all inherited members.
| add(simregion_t s) | UTAP::cut_t | inline |
| contains(simregion_t s) | UTAP::cut_t | |
| cut_t(int number) | UTAP::cut_t | inline |
| equals(const cut_t &y) const | UTAP::cut_t | |
| erase(simregion_t s) | UTAP::cut_t | |
| isInPrechart(const simregion_t &fSimregion) const | UTAP::cut_t | |
| isInPrechart() const | UTAP::cut_t | |
| nr | UTAP::cut_t | |
| simregions | UTAP::cut_t | |
| toString() const | UTAP::cut_t | inline |