|
ENTITY maths_space ABSTRACT SUPERTYPE OF (ONEOF (elementary_space, finite_integer_interval, integer_interval_from_min, integer_interval_to_max, finite_real_interval, real_interval_from_min, real_interval_to_max, cartesian_complex_number_region, polar_complex_number_region, finite_space, uniform_product_space, listed_product_space, extended_tuple_space, function_space)) SUBTYPE OF (generic_expression); END_ENTITY; -- maths_space |
Entity data types and their attributesgeneric_expression- maths_space - |
| cartesian_complex_number_region (mathematical_functions_schema) |
| elementary_space (mathematical_functions_schema) |
| extended_tuple_space (mathematical_functions_schema) |
| finite_integer_interval (mathematical_functions_schema) |
| finite_real_interval (mathematical_functions_schema) |
| finite_space (mathematical_functions_schema) |
| function_space (mathematical_functions_schema) |
| integer_interval_from_min (mathematical_functions_schema) |
| integer_interval_to_max (mathematical_functions_schema) |
| listed_product_space (mathematical_functions_schema) |
| mesh_derived_maths_space (mesh_topology_schema) |
| polar_complex_number_region (mathematical_functions_schema) |
| real_interval_from_min (mathematical_functions_schema) |
| real_interval_to_max (mathematical_functions_schema) |
| uniform_product_space (mathematical_functions_schema) |
Global rules for this entity data type- |