|
ENTITY path SUPERTYPE OF (ONEOF (open_path, edge_loop, oriented_path)) SUBTYPE OF (topological_representation_item); edge_list : LIST [1:?] OF UNIQUE oriented_edge; WHERE WR1: path_head_to_tail(SELF); END_ENTITY; -- path |
Entity data types and their attributesrepresentation_itemname: label; topological_representation_item - path edge_list: LIST [1:?] OF UNIQUE oriented_edge; |
| edge_loop (topology_schema) |
| open_path (topology_schema) |
| oriented_path (topology_schema) |
Global rules for this entity data type- |