|
ENTITY Time_interval; id : STRING; name : STRING; description : OPTIONAL STRING; END_ENTITY; -- Time_interval |
Entity data types and their attributesTime_intervalid: STRING; name: STRING; (OPT) description: STRING; |
| Time_interval_with_bounds (Time_interval_arm) |
Global rules for this entity data type- |