FUNCTION max_exists
(spc : maths_space) : BOOLEAN;
LOCAL
types : SET OF STRING := TYPEOF (spc);
END_LOCAL;
RETURN (bool(((schema_prefix + 'FINITE_INTEGER_INTERVAL') IN types) OR
((schema_prefix + 'INTEGER_INTERVAL_TO_MAX') IN types) OR
((schema_prefix + 'FINITE_REAL_INTERVAL') IN types) OR
((schema_prefix + 'REAL_INTERVAL_TO_MAX') IN types))); END_FUNCTION; -- max_exists
|