ENTITY oriented_path
(* SCHEMA STRUCTURAL_FRAME_SCHEMA; *)
(* Modified for LPM/6 *)
ENTITY oriented_path
SUBTYPE OF (path);
path_element : path;
orientation : BOOLEAN;
DERIVE
SELF\path.edge_list: LIST [1:?] OF UNIQUE oriented_edge := conditional_reverse
(SELF.orientation, SELF.path_element.edge_list);
WHERE
WRO9 : NOT ('STRUCTURAL_FRAME_SCHEMA.ORIENTED_PATH'
IN TYPEOF (SELF.path_element));
END_ENTITY; (* STEP Part 42 (modified in 2nd edition) *)
Explicit Attributes
Entity oriented_path has the following local and inherited explicit attributes:
* - Explicit attribute redeclared as derived
Derived Attributes
Entity oriented_path has the following local and inherited derived attributes:
Attribute | Type | Defined By |
---|
edge_list | LIST OF oriented_edge (ENTITY) | oriented_path(Redcl from path) |
|
Inverse Attributes
No Inverse AttributesSupertypes
Entity oriented_path inherits from the following supertypes:
representation_item
topological_representation_item
path
Subtypes
No subtypesReferenced By
Entity oriented_path and its supertypes are referenced by the following definitions:
[Top Level Definitions] [Exit]Generated by STEP Tools® EXPRESS to HTML Converter
2023-03-25T00:11:38-04:00