|
ENTITY real_interval_to_max SUBTYPE OF (maths_space, generic_literal); max : REAL; max_closure : open_closed; END_ENTITY; -- real_interval_to_max |
Entity data types and their attributesgeneric_expression- maths_space - simple_generic_expression - generic_literal - real_interval_to_max max: REAL; max_closure: open_closed; |
Global rules for this entity data type- |