|
| SafetyProp () |
|
| SafetyProperties () |
|
virtual | ~SafetyProperties () |
|
void | addEventToLevel (int32_t levelId, uint32_t event, int32_t nextLevelId, EventType type) |
|
void | addEventToLevelAndAbove (int32_t levelId, uint32_t event, int32_t nextLevelId, EventType type) |
|
void | addEventToLevelAndBelow (int32_t levelId, uint32_t event, int32_t nextLevelId, EventType type) |
|
void | addEventToAllLevelsBetween (int32_t lowerLevelId, int32_t upperLevelId, uint32_t event, int32_t nextLevelId, EventType type) |
|
SafetyLevel * | entryLevelPtr () |
|
bool | verify () |
|
SafetyProp::SafetyProp |
( |
| ) |
|
|
inline |
The documentation for this class was generated from the following file: