ISO/TS 10303-1092:2019 Maths value


Application module: Maths value	ISO/TS 10303-1092:2019(E) © ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviated terms
3.1 Terms and definitions
3.2 Abbreviated terms

4 Information requirements
4.1 Required AM ARMs
4.2 ARM type definitions
5 Module interpreted model
5.1 Mapping specification
5.2 MIM EXPRESS short listing

A MIM short names
B Information object registration
C ARM EXPRESS-G
D MIM EXPRESS-G
E Computer interpretable listings
F Change history
Bibliography
Index


         (*
ISO/TC 184/SC 4/WG 12 N10491 - ISO/TS 10303-1092 Maths value - EXPRESS ARM
Supersedes 
         ISO/TC 184/SC 4/WG 12 N2801
*)



SCHEMA Maths_value_arm;


         USE FROM
         Generic_expression_arm;
            -- ISO/TS 10303-1341


         USE FROM
         Numeric_expression_arm;
            -- ISO/TS 10303-1526


TYPE maths_atom =
         
         
         SELECT

            (maths_boolean, 
    maths_complex, 
    maths_integer, 
    maths_real);

         END_TYPE;


TYPE maths_boolean =
         BOOLEAN;

         END_TYPE;


TYPE maths_complex =
         LIST[2:2] OF REAL;

         END_TYPE;


TYPE maths_integer =
         INTEGER;

         END_TYPE;


TYPE maths_real =
         REAL;

         END_TYPE;


TYPE maths_tuple =
         LIST[0:?] OF maths_value;

         END_TYPE;


TYPE maths_value =
         
         EXTENSIBLE
         
         
         SELECT

            (Generic_expression, 
    maths_atom, 
    maths_tuple);

         END_TYPE;



         END_SCHEMA;  -- Maths_value_arm