|
| | 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: