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