|
ENTITY Measurement_path; defined_by : Curve; defined_in : Geometric_coordinate_space; END_ENTITY; -- Measurement_path |
Entity data types and their attributesMeasurement_pathdefined_by: Curve; defined_in: Geometric_coordinate_space; |
Global rules for this entity data type- |