|
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 |
|
public class FMax_exists public static Value run(SdaiContext _context, Value spc) |