ENTITY maths_real_variable

(* SCHEMA step_merged_ap_schema; *)

-- IN AP238 STEP-NC/AP242
ENTITY maths_real_variable
   SUBTYPE OF (maths_variable, real_numeric_variable);
   WHERE
      WR1:
         subspace_of_es(SELF\maths_variable.values_space, es_reals);
END_ENTITY;

Explicit Attributes

Entity maths_real_variable has the following local and inherited explicit attributes:
AttributeTypeDefined By
 values_spacemaths_space (ENTITY)maths_variable
 namelabel (STRING)maths_variable

Derived Attributes

Entity maths_real_variable has the following local and inherited derived attributes:
AttributeTypeDefined By
 is_intBOOLEANnumeric_expression
 sql_mappableBOOLEANnumeric_expression

Inverse Attributes

Entity maths_real_variable has the following local and inherited inverse attributes:
AttributeTypeDefined By
 interpretationenvironment (ENTITY)generic_variable

Supertypes

Entity maths_real_variable inherits from the following supertypes:
  generic_expression
    simple_generic_expression
      generic_variable
        maths_variable
  generic_expression
    expression
      numeric_expression
        simple_numeric_expression
          numeric_variable
            real_numeric_variable
  generic_expression
    simple_generic_expression
  generic_expression
    simple_generic_expression
      generic_variable
        variable

Subtypes

    No subtypes

Referenced By

Entity maths_real_variable and its supertypes are referenced by the following definitions:
DefinitionTypeReferenced Entity
 abstracted_expression_function ENTITY generic_variable
 abstracted_expression_function ENTITY generic_expression
 acyclic FUNCTION generic_expression
 all_members_of_es FUNCTION generic_expression
 binary_generic_expression ENTITY generic_expression
 binary_numeric_expression ENTITY numeric_expression
 bound_variational_parameter ENTITY generic_variable
 comparison_expression ENTITY expression
 convert_to_operand FUNCTION generic_expression
 convert_to_operands FUNCTION generic_expression
 convert_to_operands_prcmfn FUNCTION generic_expression
 definite_integral_expression ENTITY generic_variable
 definite_integral_expression ENTITY maths_variable
 definite_integral_expression ENTITY generic_expression
 definite_integral_expr_check FUNCTION generic_expression
 environment ENTITY generic_variable
 expression ENTITY numeric_expression
 expression_denoted_function ENTITY generic_expression
 expression_element SELECT expression
 expression_is_constant FUNCTION generic_expression
 format_function ENTITY generic_expression
 free_form_assignment ENTITY maths_variable
 free_form_constraint ENTITY expression
 free_variables_of FUNCTION generic_expression
 free_variables_of FUNCTION generic_variable
 function_applicability FUNCTION generic_expression
 function_application ENTITY generic_expression
 generic_expression ENTITY simple_generic_expression
 has_values_space FUNCTION generic_expression
 index_expression ENTITY generic_expression
 interval_expression ENTITY generic_expression
 invalidate_vrep_item FUNCTION generic_variable
 is_acyclic FUNCTION generic_expression
 is_int_expr FUNCTION numeric_expression
 is_sql_mappable FUNCTION expression
 make_atom_based_literal FUNCTION simple_generic_expression
 make_atom_based_literal FUNCTION generic_expression
 make_binary_literal FUNCTION simple_generic_expression
 make_binary_literal FUNCTION generic_expression
 make_boolean_literal FUNCTION simple_generic_expression
 make_boolean_literal FUNCTION expression
 make_boolean_literal FUNCTION generic_expression
 make_cartesian_complex_number_region FUNCTION simple_generic_expression
 make_cartesian_complex_number_region FUNCTION generic_expression
 make_complex_number_literal FUNCTION simple_generic_expression
 make_complex_number_literal FUNCTION generic_expression
 make_elementary_function FUNCTION generic_expression
 make_elementary_function FUNCTION simple_generic_expression
 make_elementary_space FUNCTION generic_expression
 make_elementary_space FUNCTION simple_generic_expression
 make_extended_tuple_space FUNCTION simple_generic_expression
 make_extended_tuple_space FUNCTION generic_expression
 make_finite_integer_interval FUNCTION simple_generic_expression
 make_finite_integer_interval FUNCTION generic_expression
 make_finite_real_interval FUNCTION generic_expression
 make_finite_real_interval FUNCTION simple_generic_expression
 make_finite_space FUNCTION generic_expression
 make_finite_space FUNCTION simple_generic_expression
 make_function_application FUNCTION generic_expression
 make_function_space FUNCTION simple_generic_expression
 make_function_space FUNCTION generic_expression
 make_int_literal FUNCTION expression
 make_int_literal FUNCTION numeric_expression
 make_int_literal FUNCTION simple_generic_expression
 make_int_literal FUNCTION generic_expression
 make_int_literal FUNCTION simple_numeric_expression
 make_listed_product_space FUNCTION generic_expression
 make_listed_product_space FUNCTION simple_generic_expression
 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_tuple_literal FUNCTION generic_expression
 make_maths_tuple_literal FUNCTION simple_generic_expression
 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_real_interval_from_min FUNCTION generic_expression
 make_real_interval_from_min FUNCTION simple_generic_expression
 make_real_interval_to_max FUNCTION simple_generic_expression
 make_real_interval_to_max FUNCTION generic_expression
 make_real_literal FUNCTION expression
 make_real_literal FUNCTION numeric_expression
 make_real_literal FUNCTION simple_generic_expression
 make_real_literal FUNCTION generic_expression
 make_real_literal FUNCTION simple_numeric_expression
 make_string_literal FUNCTION expression
 make_string_literal FUNCTION generic_expression
 make_string_literal FUNCTION simple_generic_expression
 make_uniform_product_space FUNCTION generic_expression
 make_uniform_product_space FUNCTION simple_generic_expression
 maths_boolean_variable ENTITY maths_variable
 maths_expression SELECT generic_expression
 maths_integer_variable ENTITY maths_variable
 maths_real_variable ENTITY maths_variable
 maths_string_variable ENTITY maths_variable
 maths_value SELECT generic_expression
 multiple_arity_generic_expression ENTITY generic_expression
 multiple_arity_numeric_expression ENTITY numeric_expression
 numeric_expression ENTITY simple_numeric_expression
 numeric_variable ENTITY real_numeric_variable
 odd_function ENTITY numeric_expression
 parallel_composed_function ENTITY generic_expression
 partial_derivative_expression ENTITY generic_expression
 partial_derivative_expression ENTITY maths_variable
 quantifier_expression ENTITY generic_variable
 simple_generic_expression ENTITY generic_variable
 simple_numeric_expression ENTITY numeric_variable
 simplify_function_application FUNCTION generic_expression
 simplify_generic_expression FUNCTION generic_expression
 substitute FUNCTION generic_variable
 substitute FUNCTION generic_expression
 substring_expression ENTITY generic_expression
 unary_generic_expression ENTITY generic_expression
 unary_numeric_expression ENTITY numeric_expression
 unbound_variational_parameter ENTITY generic_variable
 used_variables FUNCTION generic_expression
 used_variables FUNCTION generic_variable
 values_space_of FUNCTION numeric_expression
 values_space_of FUNCTION generic_expression
 values_space_of FUNCTION maths_variable
 variable ENTITY numeric_variable
 variational_parameter ENTITY maths_variable


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2020-07-28T17:02:16-04:00