UTAP::branchpoint_t Struct Reference
Information about a branchpoint. More...
#include <system.h>
Collaboration diagram for UTAP::branchpoint_t:
Public Attributes | |
| symbol_t | uid |
| int32_t | bpNr |
Detailed Description
Information about a branchpoint.
Branchpoints may be used in construction of edges with the same source, guard and synchronisation channel. They are not present after compilation of a model.
Member Data Documentation
◆ bpNr
| int32_t UTAP::branchpoint_t::bpNr |
Definition at line 74 of file system.h.
Referenced by UTAP::template_t::addBranchpoint().
◆ uid
| symbol_t UTAP::branchpoint_t::uid |
Definition at line 73 of file system.h.
Referenced by UTAP::template_t::addBranchpoint().
The documentation for this struct was generated from the following file:
