|
FUNCTION min_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_from_min' ) IN types ) OR ( ( schema_prefix + 'finite_real_interval' ) IN types ) OR ( ( schema_prefix + 'real_interval_from_min' ) IN types ) ) ) ; END_FUNCTION; -- min_exists |
|
public class FMin_exists public static Value run(SdaiContext _context, Value spc) |