ENTITY oriented_path
(* SCHEMA cast_parts_schema; *)
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
wr1: NOT ('CAST_PARTS_SCHEMA.ORIENTED_PATH' IN TYPEOF(SELF.
path_element));
END_ENTITY; -- oriented_path
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
2012-03-27T17:17:49-04:00