FUNCTION definite_integral_check

(* SCHEMA step_merged_ap_schema; *)

-- IN AP238 STEP-NC/AP242
FUNCTION definite_integral_check
      (domain : tuple_space;
       vrblint : input_selector;
       lowerinf : BOOLEAN;
       upperinf : BOOLEAN ) : BOOLEAN;
   LOCAL
      domn : tuple_space := domain;
      fspc : maths_space;
      dim : nonnegative_integer;
      k : positive_integer;
   END_LOCAL;
      IF (space_dimension(domain) = 1) AND (schema_prefix + 'TUPLE_SPACE' IN TYPEOF(factor1(domain))) THEN
         domn := factor1(domain);
      END_IF;
      dim := space_dimension(domn);
      k := vrblint;
      IF k > dim THEN
         RETURN (FALSE);
      END_IF;
      fspc := factor_space(domn, k);
      IF NOT (schema_prefix + 'REAL_INTERVAL' IN TYPEOF(fspc)) THEN
         RETURN (FALSE);
      END_IF;
      IF lowerinf AND min_exists(fspc) THEN
         RETURN (FALSE);
      END_IF;
      IF upperinf AND max_exists(fspc) THEN
         RETURN (FALSE);
      END_IF;
      RETURN (TRUE);
END_FUNCTION;

Referenced By

Generated by STEP Tools® EXPRESS to HTML Converter
2024-09-06T14:00:33-04:00