5 Module interpreted model

5.1 Mapping specification

• Elementary_space;
• Finite_integer_interval;
• Finite_real_interval;
• Finite_space;
• Hibounded_integer_interval;
• Hibounded_real_interval;
• Integer_interval;
• Listed_product_space;
• Lobounded_integer_interval;
• Lobounded_real_interval;
• Maths_space;
• Product_space;
• Real_interval;
• Tuple_space;
• Uniform_product_space.

5.2 MIM EXPRESS short listing

*)
SCHEMA maths_space_mim;
  USE FROM mathematical_constructs_schema -- ISO 10303-50
    (elementary_space,
    finite_integer_interval,
    finite_real_interval,
    finite_space,
    integer_interval_from_min,
    integer_interval_to_max,
    listed_product_space,
    maths_space,
    product_space,
    real_interval_from_min,
    real_interval_to_max,
    tuple_space,
    uniform_product_space);
(*

5.2.1 MIM EXPRESS types

none.

5.2.2 MIM EXPRESS entities

none.

*)
END_SCHEMA;
(*