ENTITY generic_expression

(* SCHEMA integrated_cnc_schema; *)

ENTITY generic_expression
  ABSTRACT SUPERTYPE OF (ONEOF(simple_generic_expression, 
      unary_generic_expression, binary_generic_expression, 
      multiple_arity_generic_expression));
  WHERE
    WR1: is_acyclic(SELF);
END_ENTITY; -- 13584-20: iso13584_generic_expressions_schema

Explicit Attributes

    No explicit attributes

Derived Attributes

    No derived attributes

Inverse Attributes

    No Inverse Attributes

Supertypes

    No supertypes

Subtypes

Entity generic_expression has the following subtypes:
    and_expression     binary_boolean_expression     binary_generic_expression*     boolean_expression     comparison_equal     comparison_expression     comparison_greater     comparison_greater_equal     comparison_less     comparison_less_equal     comparison_not_equal     expression*     expression_representation_item*     generic_literal     generic_variable     int_literal     int_numeric_variable     literal_number     multiple_arity_boolean_expression     multiple_arity_generic_expression*     not_expression     numeric_expression     numeric_variable     or_expression     real_literal     real_numeric_variable     simple_generic_expression*     simple_numeric_expression     unary_boolean_expression     unary_generic_expression*     variable     xor_expression
* - Immediate Subtypes

Referenced By

Entity generic_expression and its supertypes are referenced by the following definitions:
DefinitionTypeReferenced Entity
 acyclic FUNCTION generic_expression
 binary_generic_expression ENTITY generic_expression
 is_acyclic FUNCTION generic_expression
 multiple_arity_generic_expression ENTITY generic_expression
 unary_generic_expression ENTITY generic_expression


[Top Level Definitions]

Generated by STEP ToolsTM EXPRESS to HTML Converter
on 2010-01-12T10:42:20-02:00