Composition of mesh Application Object

A Composition_of_mesh is a relationship that is between two instances of Mesh (whole and part) and that indicates all the cells of the part are also cells of the whole.

EXPRESS specification:

*)
ENTITY Composition_of_mesh;
  part  :  Mesh
  whole  :  Mesh;
WHERE
  consistent_topological_dimension : 
     IF NOT ('MESH_ARM.REGION' IN TYPEOF(whole)) THEN
       TRUE;
     ELSE
       IF NOT ('MESH_ARM.REGION' IN TYPEOF(part)) THEN
         FALSE;
       ELSE
         whole\Region.topological_dimension =  
           part\Region.topological_dimension; 
     ENDIF;
END_ENTITY;
(*

Attribute definitions:

part: the Mesh that is a part of the whole.

whole: the Mesh that contains the part.

Formal propositions:

consistent_topological_dimension: if the whole is a Topological_region, and hence has a single topological_dimension, then the part shall be a Topological_region with the same topological_dimension.