|
ENTITY product_of_mesh; operands : LIST [2:2] OF mesh; product : mesh; WHERE wr1: (this_schema+'.STRUCTURED_MESH' IN TYPEOF(operands[1])) AND (this_schema+'.STRUCTURED_MESH' IN TYPEOF(operands[2])) AND (this_schema+'.STRUCTURED_MESH' IN TYPEOF(product)); wr2: operands[1].index_count = 1; wr3: operands[1].index_count + operands[2].index_count = product.index_count; END_ENTITY; -- product_of_mesh |
Entity data types and their attributesproduct_of_meshoperands: LIST [2:2] OF mesh; product: mesh; |
Users: by entity attributesproduct_of_meshUsers: by defined types, not used by any entity attributeproduct_of_mesh- |
Global rules for this entity data type- |