Property space tensor order and symmetry Application Object

A Property_space_tensor_order_and_symmetry is a Class that has instances of Property_space as members and that indicates the tensor order and tensor symmetry of the members of the Property_space.

The instances of Property_space_tensor_order_and_symmetry specified by this part of ISO 10303 are shown in Table 1.

Table 1: Standard instances of Property_space_tensor_order_and_symmetry

code	name	definition
TO001	scalar	zero order tensor or scalar - see ISO 10303-104:2000
TO002	vector_2d	first order tensor or vector in two dimensions - see ISO 10303-104:2000
TO003	vector_3d	first order tensor or vector in three dimensions - see ISO 10303-104:2000
TO004	symmetric_tensor2_2d	symmetric second order tensor in two dimensions - see ISO 10303-104:2000
TO005	symmetric_tensor2_3d	symmetric second order tensor in three dimensions - see ISO 10303-104:2000
TO006	symmetric_tensor4_2d	symmetric fourth order tensor in two dimensions - see ISO 10303-104:2000
TO007	symmetric_tensor4_3d	symmetric fourth order tensor in three dimensions - see ISO 10303-104:2000
TO008	orientation_2d	orientation in two dimensions - see ISO 10303-104:2000
TO009	orientation_3d	orientation in three dimensions - see ISO 10303-104:2000

These standard instances of class are identified using the methodology of IEC 61360, where:

the code is as specified in the preceding table; and
the supplier is this part of ISO 10303.

EXPRESS specification:

*)
ENTITY Property_space_tensor_order_and_symmetry
  SUBTYPE OF (Class);
  code :  STRING;
  supplier :  STRING;
UNIQUE
  single_instance_of_class :  code, supplier; 
WHERE
  valid_standard_class :
   IF (supplier = 'ISO/PDTS 10303-1039') THEN
        code IN ['TO001', 'TO002', 'TO003', 'TO004', 'TO005', 'TO006',
        'TO007', 'TO008', 'TO009'];
    ELSE
      TRUE;
    END_IF;
END_ENTITY;
(*

Attribute definitions:

code: the text string that identifies the Property_space_tensor_order_and_symmetry.

supplier: the text string that identifies the supplier of theProperty_space_tensor_order_and_symmetry.

Formal proposition:

single_instance_of_class: There shall not be more than one instance of Property_space_tensor_order_and_symmetry with the same meaning.

valid_standard_class: If the supplier is 'ISO/PDTS 10303-1080', then the code shall be one those listed in Table 1.