|
ENTITY open_path SUBTYPE OF (path); DERIVE ne : INTEGER := SIZEOF(SELF\path.edge_list); WHERE WR1: (SELF\path.edge_list[1].edge_element.edge_start) :<>: (SELF\path.edge_list[ne].edge_element.edge_end); END_ENTITY; -- open_path |
Entity data types and their attributesrepresentation_itemname: label; topological_representation_item - path edge_list: LIST [1:?] OF UNIQUE oriented_edge; open_path (DER) ne: INTEGER; |
Global rules for this entity data type- |