ISO/TS 10303-1005:2021 Elemental topology


Application module: Elemental topology	ISO/TS 10303-1005:2021(E) © ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviated terms
3.1 Terms and definitions
3.2 Abbreviated terms

4 Information requirements
4.1 Required AM ARM
4.2 ARM entity definitions
4.3 ARM function definitions
5 Module interpreted model
5.1 Mapping specification
5.2 MIM EXPRESS short listing

A MIM short names
B Information object registration
C ARM EXPRESS-G
D MIM EXPRESS-G
E Computer interpretable listings
F Change history
Bibliography
Index


         (*
ISO/TC 184/SC 4/WG 12 N10669 - ISO/TS 10303-1005 Elemental topology - EXPRESS ARM
Supersedes 
         ISO/TC 184/SC 4/WG 12 N9159
*)



SCHEMA Elemental_topology_arm;


         USE FROM
         Foundation_representation_arm;
            -- ISO/TS 10303-1006


ENTITY Connected_edge_set

           SUBTYPE OF (Detailed_topological_model_element);

           connected_edges : SET[1:?] OF Edge;

         
         END_ENTITY;


ENTITY Connected_edge_sub_set

           SUBTYPE OF (Connected_edge_set);

           parent_edge_set : Connected_edge_set;

         
         END_ENTITY;


ENTITY Connected_face_set

           SUBTYPE OF (Detailed_topological_model_element);

           connected_faces : SET[1:?] OF Face;

         
         END_ENTITY;


ENTITY Connected_face_sub_set

           SUBTYPE OF (Connected_face_set);

           parent_face_set : Connected_face_set;

         
         END_ENTITY;


ENTITY Detailed_topological_model_element

           ABSTRACT SUPERTYPE
         
         OF (ONEOF (Connected_edge_set,
                                Connected_face_set,
                                Edge,
                                Face,
                                Face_bound,
                                Vertex, (
                                Loop
                        ANDOR Path)))

           SUBTYPE OF (Representation_item);

           permanent_id : 
         OPTIONAL 
         identifier;

           permanent_aggregate_id : 
         OPTIONAL 
         identifier;

         
         END_ENTITY;


ENTITY Edge

           SUBTYPE OF (Detailed_topological_model_element);

           edge_start : Vertex;

           edge_end : Vertex;

         
         END_ENTITY;


ENTITY Edge_loop

           SUBTYPE OF (Loop, Path);
DERIVE

           ne : INTEGER := SIZEOF(SELF\Path.edge_list);
WHERE

           WR1: (SELF\Path.edge_list[1].edge_start) :=:
            (SELF\Path.edge_list[ne].edge_end);

         
         END_ENTITY;


ENTITY Face

           SUBTYPE OF (Detailed_topological_model_element);

           bounds : SET[1:?] OF Face_bound;
WHERE

           WR1: SIZEOF(QUERY(temp <* bounds | 'ELEMENTAL_TOPOLOGY_ARM.FACE_OUTER_BOUND' IN
            TYPEOF(temp))) <= 1;

         
         END_ENTITY;


ENTITY Face_bound

           SUBTYPE OF (Detailed_topological_model_element);

           bound : Loop;

           orientation : BOOLEAN;

         
         END_ENTITY;


ENTITY Face_outer_bound

           SUBTYPE OF (Face_bound);

         
         END_ENTITY;


ENTITY Loop

           SUPERTYPE OF 
         (ONEOF (Vertex_loop,
                       Edge_loop))

           SUBTYPE OF (Detailed_topological_model_element);

         
         END_ENTITY;


ENTITY Oriented_edge

           SUBTYPE OF (Edge);

           edge_definition : Edge;

           orientation : BOOLEAN;
DERIVE

           SELF\Edge.edge_start : Vertex := boolean_choice (SELF.orientation,
         SELF.edge_definition.edge_start,
         SELF.edge_definition.edge_end);

           SELF\Edge.edge_end : Vertex := boolean_choice (SELF.orientation,
         SELF.edge_definition.edge_end,
         SELF.edge_definition.edge_start);
WHERE

           WR1: NOT ('ELEMENTAL_TOPOLOGY_ARM.ORIENTED_EDGE' IN TYPEOF (SELF.edge_definition));

         
         END_ENTITY;


ENTITY Path

           SUBTYPE OF (Detailed_topological_model_element);

           edge_list : LIST[1:?] OF 
         UNIQUE
         Oriented_edge;
WHERE

           WR1: path_aligned(SELF);

         
         END_ENTITY;


ENTITY Subedge

           SUBTYPE OF (Edge);

           parent_edge : Edge;

         
         END_ENTITY;


ENTITY Subpath

           SUBTYPE OF (Path);

           parent_path : Path;

         
         END_ENTITY;


ENTITY Vertex

           SUBTYPE OF (Detailed_topological_model_element);

         
         END_ENTITY;


ENTITY Vertex_loop

           SUBTYPE OF (Loop);

           loop_vertex : Vertex;

         
         END_ENTITY;


FUNCTION boolean_choice
 (b : BOOLEAN; choice1 : GENERIC : item; choice2 : GENERIC : item) : GENERIC : item;

IF b THEN
       RETURN (choice1);
     ELSE
       RETURN (choice2);
     END_IF;


         END_FUNCTION;


FUNCTION path_aligned
 (a_path : Path) : LOGICAL;

LOCAL
     n : INTEGER;
     p : LOGICAL := TRUE;
   END_LOCAL;
     
     n := SIZEOF (a_path.edge_list);
     REPEAT i := 2 TO n;
       p := p AND (a_path.edge_list[i-1].edge_end :=:
                   a_path.edge_list[i].edge_start);
     END_REPEAT;
     
     RETURN (p);


         END_FUNCTION;



         END_SCHEMA;  -- Elemental_topology_arm