|
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) |
| 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- |
public interface EMaths_space extends EGeneric_expression |
public class CMaths_space implements EMaths_space |
public class AMaths_space extends AEntitypublic EMaths_space getByIndex(int index)public EMaths_space getCurrentMember(SdaiIterator it) |