FUNCTION compatible_intervals

(* SCHEMA step_merged_ap_schema; *)
-- IN AP242
FUNCTION compatible_intervals
      (sp1 : maths_space;
       sp2 : maths_space ) : BOOLEAN;
   LOCAL
      amin : REAL;
      amax : REAL;
   END_LOCAL;
      IF min_exists(sp1) AND max_exists(sp2) THEN
         amin := real_min(sp1);
         amax := real_max(sp2);
         IF amin > amax THEN
            RETURN (FALSE);
         END_IF;
         IF amin = amax THEN
            RETURN (min_included(sp1) AND max_included(sp2));
         END_IF;
      END_IF;
      IF min_exists(sp2) AND max_exists(sp1) THEN
         amin := real_min(sp2);
         amax := real_max(sp1);
         IF amin > amax THEN
            RETURN (FALSE);
         END_IF;
         IF amin = amax THEN
            RETURN (min_included(sp2) AND max_included(sp1));
         END_IF;
      END_IF;
      RETURN (TRUE);
END_FUNCTION;

Referenced By

Defintion compatible_intervals is references by the following definitions:
DefinitionType
 compatible_complex_number_regions FUNCTION
 compatible_spaces FUNCTION


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2017-01-19T11:17:24-05:00