ENTITY comparison_expression

(* SCHEMA step_merged_ap_schema; *)
-- DIFF IN AP203e2
-- IN AP203e2/AP214/AP238 STEP-NC/AP242
ENTITY comparison_expression
   ABSTRACT SUPERTYPE OF (ONEOF(comparison_equal, comparison_greater, comparison_greater_equal, comparison_less, comparison_less_equal, comparison_not_equal, like_expression))
   SUBTYPE OF (boolean_expression, binary_generic_expression);
      SELF\binary_generic_expression.operands : LIST [2:2] OF expression;
   WHERE
      WR1:
         (('STEP_MERGED_AP_SCHEMA.NUMERIC_EXPRESSION' IN TYPEOF(SELF\binary_generic_expression.operands[1])) AND ('STEP_MERGED_AP_SCHEMA.NUMERIC_EXPRESSION' IN TYPEOF(SELF\binary_generic_expression.operands[2])) OR ('STEP_MERGED_AP_SCHEMA.BOOLEAN_EXPRESSION' IN TYPEOF(SELF\binary_generic_expression.operands[1])) AND ('STEP_MERGED_AP_SCHEMA.BOOLEAN_EXPRESSION' IN TYPEOF(SELF\binary_generic_expression.operands[2]))) OR ('STEP_MERGED_AP_SCHEMA.STRING_EXPRESSION' IN TYPEOF(SELF\binary_generic_expression.operands[1])) AND ('STEP_MERGED_AP_SCHEMA.STRING_EXPRESSION' IN TYPEOF(SELF\binary_generic_expression.operands[2]));
END_ENTITY;

Explicit Attributes

Entity comparison_expression has the following local and inherited explicit attributes:
AttributeTypeDefined By
 operandsLIST OF expression (ENTITY)comparison_expression(Redcl from binary_generic_expression)

Derived Attributes

    No derived attributes

Inverse Attributes

    No Inverse Attributes

Supertypes

Entity comparison_expression inherits from the following supertypes:
  generic_expression
    expression
      boolean_expression
  generic_expression
    binary_generic_expression

Subtypes

Entity comparison_expression has the following subtypes:
    comparison_equal*
    comparison_greater*
    comparison_greater_equal*
    comparison_less*
    comparison_less_equal*
    comparison_not_equal*
    like_expression*
* - Immediate Subtypes

Referenced By

Entity comparison_expression and its supertypes are referenced by the following definitions:
DefinitionTypeReferenced Entity
 abstracted_expression_function ENTITY generic_expression
 acyclic FUNCTION generic_expression
 acyclic FUNCTION binary_generic_expression
 all_members_of_es FUNCTION generic_expression
 binary_generic_expression ENTITY generic_expression
 binary_numeric_expression ENTITY binary_generic_expression
 boolean_expression ENTITY comparison_expression
 comparison_expression ENTITY binary_generic_expression
 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_expression
 definite_integral_expr_check FUNCTION generic_expression
 expression ENTITY boolean_expression
 expression_denoted_function ENTITY generic_expression
 expression_element SELECT expression
 expression_is_constant FUNCTION generic_expression
 format_function ENTITY generic_expression
 format_function ENTITY binary_generic_expression
 free_form_constraint ENTITY expression
 free_variables_of FUNCTION generic_expression
 free_variables_of FUNCTION binary_generic_expression
 function_applicability FUNCTION generic_expression
 function_application ENTITY generic_expression
 generic_expression ENTITY binary_generic_expression
 has_values_space FUNCTION generic_expression
 index_expression ENTITY binary_generic_expression
 index_expression ENTITY generic_expression
 interval_expression ENTITY generic_expression
 is_acyclic FUNCTION generic_expression
 is_sql_mappable FUNCTION expression
 is_sql_mappable FUNCTION comparison_expression
 is_sql_mappable FUNCTION binary_generic_expression
 like_expression ENTITY binary_generic_expression
 make_atom_based_literal FUNCTION generic_expression
 make_binary_literal FUNCTION generic_expression
 make_boolean_literal FUNCTION boolean_expression
 make_boolean_literal FUNCTION expression
 make_boolean_literal FUNCTION generic_expression
 make_cartesian_complex_number_region FUNCTION generic_expression
 make_complex_number_literal FUNCTION generic_expression
 make_elementary_function FUNCTION generic_expression
 make_elementary_space FUNCTION generic_expression
 make_extended_tuple_space 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 generic_expression
 make_function_space FUNCTION generic_expression
 make_int_literal FUNCTION generic_expression
 make_int_literal FUNCTION expression
 make_listed_product_space FUNCTION generic_expression
 make_logical_literal FUNCTION generic_expression
 make_maths_enum_literal FUNCTION generic_expression
 make_maths_tuple_literal FUNCTION generic_expression
 make_parallel_composed_function FUNCTION generic_expression
 make_polar_complex_number_region FUNCTION generic_expression
 make_real_interval_from_min FUNCTION generic_expression
 make_real_interval_to_max FUNCTION generic_expression
 make_real_literal FUNCTION expression
 make_real_literal FUNCTION generic_expression
 make_string_literal FUNCTION expression
 make_string_literal 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 boolean_expression
 multiple_arity_generic_expression ENTITY generic_expression
 not_expression ENTITY boolean_expression
 parallel_composed_function ENTITY generic_expression
 partial_derivative_expression ENTITY generic_expression
 rational_representation_item ENTITY binary_generic_expression
 simplify_function_application FUNCTION generic_expression
 simplify_generic_expression FUNCTION binary_generic_expression
 simplify_generic_expression FUNCTION generic_expression
 substitute FUNCTION binary_generic_expression
 substitute FUNCTION generic_expression
 substring_expression ENTITY generic_expression
 unary_generic_expression ENTITY generic_expression
 used_variables FUNCTION binary_generic_expression
 used_variables FUNCTION generic_expression
 values_space_of FUNCTION generic_expression
 xor_expression ENTITY boolean_expression
 xor_expression ENTITY binary_generic_expression


[Top Level Definitions] [Exit]

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