ENTITY listed_data

(* SCHEMA step_merged_ap_schema; *)
-- IN AP242
ENTITY listed_data
   SUBTYPE OF (explicit_table_function, generic_literal);
      values : LIST [1:?] OF maths_value;
      value_range : maths_space;
   DERIVE
      SELF\explicit_table_function.shape : LIST [1:?] OF positive_integer := [ SIZEOF(values) ];
   WHERE
      wr1:
         expression_is_constant(value_range);
      wr2:
         SIZEOF(QUERY (val <* values| NOT member_of(val, value_range))) = 0;
END_ENTITY;

Explicit Attributes

Entity listed_data has the following local and inherited explicit attributes:
AttributeTypeDefined By
 index_basezero_or_one (INTEGER)explicit_table_function
 shape*LIST OF positive_integer (INTEGER)listed_data(Redcl from explicit_table_function)
 valuesLIST OF maths_value (SELECT)listed_data
 value_rangemaths_space (ENTITY)listed_data

* - Explicit attribute redeclared as derived

Derived Attributes

Entity listed_data has the following local and inherited derived attributes:
AttributeTypeDefined By
 domaintuple_space (SELECT)maths_function
 rangetuple_space (SELECT)maths_function
 shapeLIST OF positive_integer (INTEGER)listed_data(Redcl from explicit_table_function)

Inverse Attributes

    No Inverse Attributes

Supertypes

Entity listed_data inherits from the following supertypes:
  generic_expression
    maths_function
      explicit_table_function
  generic_expression
    simple_generic_expression
      generic_literal

Subtypes

    No subtypes

Referenced By

Entity listed_data and its supertypes are referenced by the following definitions:
DefinitionTypeReferenced Entity
 abstracted_expression_function ENTITY generic_expression
 acyclic FUNCTION generic_expression
 all_members_of_es FUNCTION generic_expression
 basic_sparse_matrix ENTITY maths_function
 binary_generic_expression ENTITY generic_expression
 b_spline_function ENTITY maths_function
 compare_basis_and_coef FUNCTION maths_function
 composable_sequence FUNCTION maths_function
 convert_to_literal FUNCTION generic_literal
 convert_to_maths_function FUNCTION maths_function
 convert_to_operand FUNCTION generic_expression
 convert_to_operands FUNCTION generic_expression
 convert_to_operands_prcmfn FUNCTION maths_function
 convert_to_operands_prcmfn FUNCTION generic_expression
 definite_integral_expression ENTITY generic_expression
 definite_integral_expr_check FUNCTION generic_expression
 definite_integral_function ENTITY maths_function
 derive_function_domain FUNCTION explicit_table_function
 derive_function_domain FUNCTION maths_function
 derive_function_range FUNCTION maths_function
 derive_function_range FUNCTION explicit_table_function
 derive_function_range FUNCTION listed_data
 domain_from FUNCTION maths_function
 equal_maths_functions FUNCTION maths_function
 explicit_table_function ENTITY listed_data
 expression_denoted_function ENTITY generic_expression
 expression_is_constant FUNCTION generic_expression
 format_function ENTITY generic_expression
 free_variables_of FUNCTION generic_expression
 function_applicability FUNCTION generic_expression
 function_application ENTITY generic_expression
 function_is_1d_array FUNCTION maths_function
 function_is_1d_table FUNCTION maths_function
 function_is_2d_table FUNCTION maths_function
 function_is_array FUNCTION maths_function
 function_is_table FUNCTION maths_function
 general_linear_function ENTITY maths_function
 generic_expression ENTITY simple_generic_expression
 has_values_space FUNCTION generic_expression
 homogeneous_linear_function ENTITY maths_function
 index_expression ENTITY generic_expression
 interval_expression ENTITY generic_expression
 is_acyclic FUNCTION generic_expression
 linearized_table_function ENTITY maths_function
 listed_data ENTITY explicit_table_function
 make_atom_based_literal FUNCTION simple_generic_expression
 make_atom_based_literal FUNCTION generic_literal
 make_atom_based_literal FUNCTION generic_expression
 make_binary_literal FUNCTION generic_expression
 make_binary_literal FUNCTION generic_literal
 make_binary_literal FUNCTION simple_generic_expression
 make_boolean_literal FUNCTION generic_literal
 make_boolean_literal FUNCTION generic_expression
 make_boolean_literal FUNCTION simple_generic_expression
 make_cartesian_complex_number_region FUNCTION generic_expression
 make_cartesian_complex_number_region FUNCTION generic_literal
 make_cartesian_complex_number_region FUNCTION simple_generic_expression
 make_complex_number_literal FUNCTION generic_literal
 make_complex_number_literal FUNCTION simple_generic_expression
 make_complex_number_literal FUNCTION generic_expression
 make_elementary_function FUNCTION simple_generic_expression
 make_elementary_function FUNCTION generic_literal
 make_elementary_function FUNCTION generic_expression
 make_elementary_function FUNCTION maths_function
 make_elementary_space FUNCTION simple_generic_expression
 make_elementary_space FUNCTION generic_expression
 make_elementary_space FUNCTION generic_literal
 make_extended_tuple_space FUNCTION generic_expression
 make_extended_tuple_space FUNCTION generic_literal
 make_extended_tuple_space FUNCTION simple_generic_expression
 make_finite_integer_interval FUNCTION simple_generic_expression
 make_finite_integer_interval FUNCTION generic_literal
 make_finite_integer_interval FUNCTION generic_expression
 make_finite_real_interval FUNCTION simple_generic_expression
 make_finite_real_interval FUNCTION generic_literal
 make_finite_real_interval FUNCTION generic_expression
 make_finite_space FUNCTION simple_generic_expression
 make_finite_space FUNCTION generic_expression
 make_finite_space FUNCTION generic_literal
 make_function_application FUNCTION generic_expression
 make_function_space FUNCTION generic_expression
 make_function_space FUNCTION simple_generic_expression
 make_function_space FUNCTION generic_literal
 make_int_literal FUNCTION simple_generic_expression
 make_int_literal FUNCTION generic_expression
 make_int_literal FUNCTION generic_literal
 make_listed_product_space FUNCTION simple_generic_expression
 make_listed_product_space FUNCTION generic_literal
 make_listed_product_space FUNCTION generic_expression
 make_logical_literal FUNCTION generic_literal
 make_logical_literal FUNCTION generic_expression
 make_logical_literal FUNCTION simple_generic_expression
 make_maths_enum_literal FUNCTION generic_expression
 make_maths_enum_literal FUNCTION simple_generic_expression
 make_maths_enum_literal FUNCTION generic_literal
 make_maths_tuple_literal FUNCTION generic_literal
 make_maths_tuple_literal FUNCTION generic_expression
 make_maths_tuple_literal FUNCTION simple_generic_expression
 make_parallel_composed_function FUNCTION maths_function
 make_parallel_composed_function FUNCTION generic_expression
 make_polar_complex_number_region FUNCTION generic_expression
 make_polar_complex_number_region FUNCTION simple_generic_expression
 make_polar_complex_number_region FUNCTION generic_literal
 make_real_interval_from_min FUNCTION simple_generic_expression
 make_real_interval_from_min FUNCTION generic_literal
 make_real_interval_from_min FUNCTION generic_expression
 make_real_interval_to_max FUNCTION simple_generic_expression
 make_real_interval_to_max FUNCTION generic_expression
 make_real_interval_to_max FUNCTION generic_literal
 make_real_literal FUNCTION generic_literal
 make_real_literal FUNCTION generic_expression
 make_real_literal FUNCTION simple_generic_expression
 make_string_literal FUNCTION simple_generic_expression
 make_string_literal FUNCTION generic_expression
 make_string_literal FUNCTION generic_literal
 make_uniform_product_space FUNCTION generic_literal
 make_uniform_product_space FUNCTION simple_generic_expression
 make_uniform_product_space FUNCTION generic_expression
 maths_expression SELECT generic_expression
 maths_function ENTITY explicit_table_function
 maths_function_select SELECT maths_function
 maths_space_or_function SELECT maths_function
 maths_value SELECT generic_expression
 member_of FUNCTION maths_function
 multiple_arity_generic_expression ENTITY generic_expression
 no_cyclic_domain_reference FUNCTION maths_function
 parallel_composed_function ENTITY maths_function
 parallel_composed_function ENTITY generic_expression
 parallel_composed_function_composability_check FUNCTION maths_function
 parallel_composed_function_domain_check FUNCTION maths_function
 partial_derivative_expression ENTITY generic_expression
 partial_derivative_function ENTITY maths_function
 rationalize_function ENTITY maths_function
 reindexed_array_function ENTITY maths_function
 repackaging_function ENTITY maths_function
 series_composed_function ENTITY maths_function
 shape_of_array FUNCTION explicit_table_function
 shape_of_array FUNCTION maths_function
 simple_generic_expression ENTITY generic_literal
 simplify_function_application FUNCTION generic_expression
 simplify_generic_expression FUNCTION generic_literal
 simplify_generic_expression FUNCTION generic_expression
 substitute FUNCTION generic_expression
 substitute FUNCTION maths_function
 substring_expression ENTITY generic_expression
 unary_generic_expression ENTITY generic_expression
 used_variables FUNCTION generic_expression
 validate_dependently_instantiable_entity_data_types RULE explicit_table_function
 validate_dependently_instantiable_entity_data_types RULE maths_function
 validate_dependently_instantiable_entity_data_types RULE listed_data
 values_space_of FUNCTION generic_expression
 values_space_of FUNCTION maths_function


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2017-01-19T11:17:23-05:00