ENTITY quantifier_expression ABSTRACT SUPERTYPE SUBTYPE OF (multiple_arity_generic_expression); variables : LIST [1:?] OF UNIQUE generic_variable; WHERE wr1: SIZEOF (QUERY (vrbl <* variables | NOT (vrbl IN SELF\multiple_arity_generic_expression.operands))) = 0; wr2: SIZEOF (QUERY (vrbl <* variables | NOT ((schema_prefix + 'BOUND_VARIABLE_SEMANTICS') IN TYPEOF (vrbl.interpretation.semantics)))) = 0; END_ENTITY; -- quantifier_expression |
Entity data types and their attributesgeneric_expression- multiple_arity_generic_expression operands: LIST [2:?] OF generic_expression; quantifier_expression variables: LIST [1:?] OF UNIQUE generic_variable; |
abstracted_expression_function (MATHEMATICAL_FUNCTIONS_SCHEMA) |
definite_integral_expression (MATHEMATICAL_FUNCTIONS_SCHEMA) |
Global rules for this entity data type- |
public interface EQuantifier_expression extends EMultiple_arity_generic_expressionvariables (explicit attribute)boolean testVariables(EQuantifier_expression type)AGeneric_variable getVariables(EQuantifier_expression type) AGeneric_variable createVariables(EQuantifier_expression type) void unsetVariables(EQuantifier_expression type) |
public class CQuantifier_expression implements EQuantifier_expressionstatic EAttribute attributeVariables(EQuantifier_expression type)static int usedinVariables(EQuantifier_expression type, EGeneric_variable instance, ASdaiModel domain, AQuantifier_expression result) |
public class AQuantifier_expression extends AEntitypublic EQuantifier_expression getByIndex(int index)public EQuantifier_expression getCurrentMember(SdaiIterator it) |