ENTITY quantifier_expression

(* SCHEMA mathematical_functions_schema; *)

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;

Explicit Attributes

Entity quantifier_expression has the following local and inherited explicit attributes:

Attribute	Type	Defined By
operands	LIST OF generic_expression (ENTITY)	multiple_arity_generic_expression
variables	LIST OF generic_variable (ENTITY)	quantifier_expression

Derived Attributes

No derived attributes

Inverse Attributes

No Inverse Attributes

Supertypes

Entity quantifier_expression inherits from the following supertypes:
generic_expression
multiple_arity_generic_expression

Subtypes

Entity quantifier_expression has the following subtypes:
abstracted_expression_function*
definite_integral_expression*
* - Immediate Subtypes

Referenced By

Entity quantifier_expression and its supertypes are referenced by the following definitions:

Definition	Type	Referenced Entity
abstracted_expression_function	ENTITY	quantifier_expression
abstracted_expression_function	ENTITY	generic_expression
abstracted_expression_function	ENTITY	multiple_arity_generic_expression
acyclic	FUNCTION	multiple_arity_generic_expression
acyclic	FUNCTION	generic_expression
all_members_of_es	FUNCTION	generic_expression
basic_sparse_matrix	ENTITY	multiple_arity_generic_expression
concat_expression	ENTITY	multiple_arity_generic_expression
convert_to_operand	FUNCTION	generic_expression
convert_to_operands	FUNCTION	generic_expression
convert_to_operands_prcmfn	FUNCTION	generic_expression
definite_integral_expression	ENTITY	multiple_arity_generic_expression
definite_integral_expression	ENTITY	quantifier_expression
definite_integral_expression	ENTITY	generic_expression
definite_integral_expr_check	FUNCTION	generic_expression
expression_denoted_function	ENTITY	generic_expression
expression_is_constant	FUNCTION	generic_expression
free_variables_of	FUNCTION	quantifier_expression
free_variables_of	FUNCTION	generic_expression
free_variables_of	FUNCTION	multiple_arity_generic_expression
function_applicability	FUNCTION	generic_expression
function_application	ENTITY	generic_expression
function_application	ENTITY	multiple_arity_generic_expression
generic_expression	ENTITY	multiple_arity_generic_expression
has_values_space	FUNCTION	generic_expression
interval_expression	ENTITY	multiple_arity_generic_expression
is_acyclic	FUNCTION	generic_expression
make_abstracted_expression_function	FUNCTION	quantifier_expression
make_abstracted_expression_function	FUNCTION	generic_expression
make_abstracted_expression_function	FUNCTION	multiple_arity_generic_expression
make_atom_based_literal	FUNCTION	generic_expression
make_banded_matrix	FUNCTION	generic_expression
make_basic_sparse_matrix	FUNCTION	multiple_arity_generic_expression
make_basic_sparse_matrix	FUNCTION	generic_expression
make_binary_literal	FUNCTION	generic_expression
make_boolean_literal	FUNCTION	generic_expression
make_b_spline_basis	FUNCTION	generic_expression
make_b_spline_function	FUNCTION	generic_expression
make_cartesian_complex_number_region	FUNCTION	generic_expression
make_complex_number_literal	FUNCTION	generic_expression
make_constant_function	FUNCTION	generic_expression
make_cos_expression	FUNCTION	generic_expression
make_definite_integral_expression	FUNCTION	quantifier_expression
make_definite_integral_expression	FUNCTION	multiple_arity_generic_expression
make_definite_integral_expression	FUNCTION	generic_expression
make_definite_integral_function	FUNCTION	generic_expression
make_elementary_function	FUNCTION	generic_expression
make_elementary_space	FUNCTION	generic_expression
make_expression_denoted_function	FUNCTION	generic_expression
make_extended_tuple_space	FUNCTION	generic_expression
make_finite_function	FUNCTION	generic_expression
make_finite_integer_interval	FUNCTION	generic_expression
make_finite_real_interval	FUNCTION	generic_expression
make_finite_space	FUNCTION	generic_expression
make_function_application	FUNCTION	multiple_arity_generic_expression
make_function_application	FUNCTION	generic_expression
make_function_space	FUNCTION	generic_expression
make_general_linear_function	FUNCTION	generic_expression
make_integer_interval_from_min	FUNCTION	generic_expression
make_int_literal	FUNCTION	generic_expression
make_listed_complex_number_data	FUNCTION	generic_expression
make_listed_data	FUNCTION	generic_expression
make_listed_integer_data	FUNCTION	generic_expression
make_listed_product_space	FUNCTION	generic_expression
make_listed_real_data	FUNCTION	generic_expression
make_logical_literal	FUNCTION	generic_expression
make_maths_enum_literal	FUNCTION	generic_expression
make_maths_real_variable	FUNCTION	generic_expression
make_maths_tuple_literal	FUNCTION	generic_expression
make_mult_expression	FUNCTION	multiple_arity_generic_expression
make_mult_expression	FUNCTION	generic_expression
make_parallel_composed_function	FUNCTION	generic_expression
make_parallel_composed_function	FUNCTION	multiple_arity_generic_expression
make_partial_derivative_expression	FUNCTION	generic_expression
make_partial_derivative_function	FUNCTION	generic_expression
make_polar_complex_number_region	FUNCTION	generic_expression
make_rationalize_function	FUNCTION	generic_expression
make_real_interval_from_min	FUNCTION	generic_expression
make_real_interval_to_max	FUNCTION	generic_expression
make_real_literal	FUNCTION	generic_expression
make_regular_table_function	FUNCTION	generic_expression
make_reindexed_array_function	FUNCTION	generic_expression
make_repackaging_function	FUNCTION	generic_expression
make_selector_function	FUNCTION	generic_expression
make_series_composed_function	FUNCTION	generic_expression
make_series_composed_function	FUNCTION	multiple_arity_generic_expression
make_sin_expression	FUNCTION	generic_expression
make_standard_table_function	FUNCTION	generic_expression
make_strict_triangular_matrix	FUNCTION	generic_expression
make_string_literal	FUNCTION	generic_expression
make_unary_minus_expression	FUNCTION	generic_expression
make_uniform_product_space	FUNCTION	generic_expression
maths_expression	SELECT	generic_expression
maths_value	SELECT	generic_expression
multiple_arity_boolean_expression	ENTITY	multiple_arity_generic_expression
multiple_arity_numeric_expression	ENTITY	multiple_arity_generic_expression
parallel_composed_function	ENTITY	generic_expression
parallel_composed_function	ENTITY	multiple_arity_generic_expression
partial_derivative_expression	ENTITY	generic_expression
quantifier_expression	ENTITY	multiple_arity_generic_expression
series_composed_function	ENTITY	multiple_arity_generic_expression
simplify_function_application	FUNCTION	generic_expression
simplify_function_application	FUNCTION	quantifier_expression
simplify_generic_expression	FUNCTION	multiple_arity_generic_expression
simplify_generic_expression	FUNCTION	generic_expression
substitute	FUNCTION	multiple_arity_generic_expression
substitute	FUNCTION	generic_expression
substitute	FUNCTION	quantifier_expression
substring_expression	ENTITY	multiple_arity_generic_expression
used_variables	FUNCTION	multiple_arity_generic_expression
used_variables	FUNCTION	generic_expression
values_space_of	FUNCTION	generic_expression

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:13:59-04:00