|
ENTITY State_cause_effect_definition SUBTYPE OF (State_definition_relationship); SELF\State_definition_relationship.relating RENAMED effect : SET [1:?] OF State_definition; SELF\State_definition_relationship.related RENAMED cause : SET [1:?] OF State_definition; END_ENTITY; -- State_cause_effect_definition |
Entity data types and their attributesState_definition_relationshipname: STRING; relating: SET [1:?] OF State_definition; (OPT) description: STRING; related: SET [1:?] OF State_definition; State_cause_effect_definition (RT) relating->effect: SET [1:?] OF State_definition; (RT) related->cause: SET [1:?] OF State_definition; |
| And_state_cause_effect_definition (State_definition_arm) |
| Or_state_cause_effect_definition (State_definition_arm) |
| Xor_state_cause_effect_definition (State_definition_arm) |
Global rules for this entity data type- |