geometric_set_replica
EXPRESS specification:
ENTITY
geometric_set_replica
SUBTYPE
OF
(
geometric_set
);
parent_set
:
geometric_set
;
transformation
:
cartesian_transformation_operator
;
DERIVE
SELF
\geometric_set.elements
:
SET
[1:?]
OF
geometric_set_select
:=
build_transformed_set(transformation, parent_set);
WHERE
WRG3
:
acyclic_set_replica(SELF, parent_set);
END_ENTITY
;
References (1):
Name
Type
Referred through
Express-G
geometric_set
Entity
Subtype
No Diagram
Inheritance graph
ENTITY
geometric_set_replica;
ENTITY
representation_item
;
name
:
label
;
ENTITY
geometric_representation_item
;
DERIVE
dim
:
dimension_count
:= dimension_of(SELF);
ENTITY
geometric_set
;
ENTITY
geometric_set_replica
;
parent_set
:
geometric_set
;
transformation
:
cartesian_transformation_operator
;
DERIVE
elements
:
SET
[1:?]
OF
geometric_set_select
:=
build_transformed_set(transformation, parent_set);
END_ENTITY
;