|
ENTITY cartesian_complex_number_region SUBTYPE OF (maths_space, generic_literal); real_constraint : real_interval; imag_constraint : real_interval; WHERE WR1: min_exists(real_constraint) OR max_exists(real_constraint) OR min_exists(imag_constraint) OR max_exists(imag_constraint); END_ENTITY; -- cartesian_complex_number_region |
Entity data types and their attributesgeneric_expression- maths_space - simple_generic_expression - generic_literal - cartesian_complex_number_region real_constraint: real_interval; imag_constraint: real_interval; |
Global rules for this entity data type- |