|
ENTITY mesh_function SUBTYPE OF (application_defined_function, unary_generic_expression); mesh : mesh; basis : LIST [0:?] OF mesh_function_basis; uniform : BOOLEAN; vertex_values : BOOLEAN; DERIVE control_values : maths_function := SELF\unary_generic_expression.operand; WHERE wr1: function_is_table(control_values); wr2: (uniform AND (SIZEOF(basis) = 1)) XOR (NOT uniform); END_ENTITY; -- mesh_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; application_defined_function explicit_domain: tuple_space; explicit_range: tuple_space; parameters: LIST [0:?] OF maths_value; unary_generic_expression operand: generic_expression; mesh_function mesh: mesh; basis: LIST [0:?] OF mesh_function_basis; uniform: BOOLEAN; vertex_values: BOOLEAN; (DER) control_values: maths_function; |
Global rules for this entity data type- |