FUNCTION singleton_member_of
(spc : maths_space) : maths_value;
LOCAL
types : SET OF STRING := stripped_typeof (spc);
END_LOCAL;
IF 'FINITE_SPACE' IN types THEN
IF SIZEOF (spc\finite_space.members) = 1 THEN
RETURN (spc\finite_space.members[1]);
END_IF;
RETURN (?);
END_IF;
IF 'FINITE_INTEGER_INTERVAL' IN types THEN
IF spc\finite_integer_interval.size = 1 THEN
RETURN (spc\finite_integer_interval.min);
END_IF;
RETURN (?);
END_IF;
RETURN (?); END_FUNCTION; -- singleton_member_of
|