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- |
public interface EAbstracted_expression_function extends EMaths_function, EQuantifier_expressionexpr (derived attribute)EGeneric_expression getExpr(EAbstracted_expression_function type)boolean testExpr(EAbstracted_expression_function type) |
public class CAbstracted_expression_function implements EAbstracted_expression_functionstatic EAttribute attributeVariables(EAbstracted_expression_function type)static int usedinVariables(EAbstracted_expression_function type, EGeneric_variable instance, ASdaiModel domain, AAbstracted_expression_function result) static EAttribute attributeExpr(EAbstracted_expression_function type) static int usedinExpr(EAbstracted_expression_function type, EGeneric_expression instance, ASdaiModel domain, AAbstracted_expression_function result) |
public class AAbstracted_expression_function extends AEntitypublic EAbstracted_expression_function getByIndex(int index)public EAbstracted_expression_function getCurrentMember(SdaiIterator it) |