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

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviations

4 Information requirements
   4.1 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   EXPRESS-G
D MIM EXPRESS-G   EXPRESS-G
E Computer interpretable listings
Bibliography
Index

(*
ISO TC184/SC4/WG12 N2801 - ISO/TS 10303-1092 Maths value - EXPRESS ARM
Supersedes ISO TC184/SC4/WG12 N1876
*)



SCHEMA Maths_value_arm;


TYPE maths_atom = SELECT
   (maths_boolean,
    maths_complex,
    maths_integer,
    maths_real);
END_TYPE;

TYPE maths_boolean = BOOLEAN;
END_TYPE;

TYPE maths_integer = INTEGER;
END_TYPE;

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

TYPE maths_real = REAL;
END_TYPE;

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

TYPE maths_value = EXTENSIBLE SELECT
   (maths_atom,
    maths_tuple);
END_TYPE;

END_SCHEMA;  -- Maths_value_arm


© ISO 2005 — All rights reserved