Navigation

EXPRESS_real

An <EXPRESS_real> is a <class_of_EXPRESS_information_representation> that represents a real number as defined in ISO 10303-11:1994, 8.1.2.
NOTE The UNIQUE rule ensures that any value is only held once.

EXPRESS specification:

ENTITY EXPRESS_real
SUBTYPE OF ( class_of_EXPRESS_information_representation);
content  :  REAL;
UNIQUE
rule_1  :  content;
END_ENTITY;

Attribute definitions:

content  :  The value of the <EXPRESS_real>

References (1):

Name Type Referred through Express-G
class_of_EXPRESS_information_representation Entity
Subtype
Diagram 18

Inheritance graph

ENTITY EXPRESS_real;
ENTITY thing;
id  :  STRING;
record_copy_created  :  OPTIONAL representation_of_Gregorian_date_and_UTC_time;
record_created  :  OPTIONAL representation_of_Gregorian_date_and_UTC_time;
record_creator  :  OPTIONAL possible_individual;
record_logically_deleted  :  OPTIONAL representation_of_Gregorian_date_and_UTC_time;
why_deleted  :  OPTIONAL class_of_information_representation;
ENTITY abstract_object;
ENTITY class;
ENTITY class_of_individual;
ENTITY class_of_arranged_individual;
ENTITY class_of_information_representation;
ENTITY class_of_EXPRESS_information_representation;
ENTITY EXPRESS_real;
content  :  REAL;
END_ENTITY;