libutap
Public Attributes | List of all members
UTAP::branchpoint_t Struct Reference

Information about a branchpoint. More...

#include <system.h>

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

int32_t UTAP::branchpoint_t::bpNr
symbol_t UTAP::branchpoint_t::uid

The documentation for this struct was generated from the following file: