|
ENTITY abstracted_expression_function SUBTYPE OF (maths_function, quantifier_expression); DERIVE SELF\quantifier_expression.variables : LIST [1:?] OF UNIQUE generic_variable := remove_first(SELF\multiple_arity_generic_expression.operands); expr : generic_expression := SELF\multiple_arity_generic_expression.operands[1]; WHERE WR1: SIZEOF (QUERY ( operand <* SELF\multiple_arity_generic_expression.operands | NOT ( has_values_space( operand)))) = 0; END_ENTITY; -- abstracted_expression_function |
Entity data types and their attributesgeneric_expression- maths_function (DER) domain: tuple_space; (DER) range: tuple_space; multiple_arity_generic_expression operands: LIST [2:?] OF generic_expression; quantifier_expression variables: LIST [1:?] OF UNIQUE generic_variable; abstracted_expression_function (RT) (DER) variables: LIST [1:?] OF UNIQUE generic_variable; (DER) expr: generic_expression; |
Global rules for this entity data type- |