|
|
| ENTITY zone_of_structure_sequence
|
|
|
|
|
| lots
|
:
|
SET OF zone_of_structure_sequence_lot := bag_to_set
(USEDIN(SELF, 'STRUCTURAL_FRAME_SCHEMA.' +
'ZONE_OF_STRUCTURE_SEQUENCE_LOT.' +
'PARENT_SEQUENCE'));
|
| assemblies
|
:
|
SET [1:?] OF located_assembly := bag_to_set
(USEDIN(SELF, 'STRUCTURAL_FRAME_SCHEMA.LOCATED_ASSEMBLY.PARENT_STRUCTURE'));
|
|
|
|
| WRZ3
|
:
|
parent_zone :<>: (SELF);
|
| WRZ4
|
:
|
NOT ('STRUCTURAL_FRAME_SCHEMA.ZONE_OF_STRUCTURE_SEQUENCE_LOT' IN
TYPEOF (parent_zone));
|
|
|
|