A Cell_of_structured_mesh is a relationship between a Region and a Structured_mesh that defines the Region as a cell of the Structured_mesh.
EXAMPLE - The structured mesh with 2 dimensions, and four cells in each dimension, is shown in Figure 1. The indicated cell is defined by:
- the cell position (3,2);
Figure 1: A cell of a structured mesh
EXPRESS specification:
*) ENTITY Cell_of_structured_mesh cell : Region; mesh : Structured_mesh; identifier_of_cell : ARRAY[1,dimension] OF INTEGER; DERIVE dimension : INTEGER := mesh.dimension; END_ENTITY; (*
Attribute definitions:
cell: the Region that is a cell of the mesh.
mesh: the Structured_mesh that contains the cell.
identifier_of_cell: the position of the cell in the mesh.
dimension: the dimension of the mesh that contains the cell.