|
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) |