ENTITY generic_variable

(* SCHEMA integrated_cnc_schema; *)
ENTITY generic_variable
  ABSTRACT SUPERTYPE
  SUBTYPE OF (simple_generic_expression);
  INVERSE
    interpretation : environment FOR syntactic_representation;
END_ENTITY; -- 13584-20: iso13584_generic_expressions_schema

Explicit Attributes

    No explicit attributes

Derived Attributes

    No derived attributes

Inverse Attributes

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

Supertypes

Entity generic_variable inherits from the following supertypes:
  generic_expression
    simple_generic_expression

Subtypes

Entity generic_variable has the following subtypes:
    int_numeric_variable
    numeric_variable
    real_numeric_variable
    variable*
* - Immediate Subtypes

Referenced By

Entity generic_variable and its supertypes are referenced by the following definitions:
DefinitionTypeReferenced Entity
 acyclic FUNCTION generic_expression
 binary_generic_expression ENTITY generic_expression
 environment ENTITY generic_variable
 generic_expression ENTITY simple_generic_expression
 is_acyclic FUNCTION generic_expression
 multiple_arity_generic_expression ENTITY generic_expression
 simple_generic_expression ENTITY generic_variable
 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