MATHS_SPACE_MIM
short
long
du
Atom_based_tuple
du
Atom_based_value
d
Elementary_function_enumerators
eu
Elementary_space
d
Elementary_space_enumerators
e
Extended_tuple_space
d
Extension_options
eu
Finite_integer_interval
eu
Finite_real_interval
eu
Finite_space
e
Generic_expression
e
Generic_literal
eu
Integer_interval_from_min
eu
Integer_interval_to_max
eu
Listed_product_space
d
Lower_upper
d
Maths_atom
d
Maths_binary
du
Maths_boolean
d
Maths_enum_atom
du
Maths_integer
d
Maths_logical
d
Maths_number
du
Maths_real
du
Maths_simple_atom
eu
Maths_space
d
Maths_string
du
Maths_tuple
du
Maths_value
d
Nonnegative_integer
d
Open_closed
d
Ordering_type
d
Positive_integer
du
Product_space
eu
Real_interval_from_min
eu
Real_interval_to_max
d
Repackage_options
e
Simple_generic_expression
d
Space_constraint_type
d
Symmetry_type
du
Tuple_space
eu
Uniform_product_space