FUNCTION nondecreasing

(* SCHEMA step_merged_ap_schema; *)
-- IN AP242
FUNCTION nondecreasing
      (lr : LIST OF REAL ) : BOOLEAN;
      IF NOT EXISTS(lr) THEN
         RETURN (FALSE);
      END_IF;
      REPEAT j := 2 TO SIZEOF(lr) BY 1;
         IF lr[j] < lr[(j - 1)] THEN
            RETURN (FALSE);
         END_IF;
      END_REPEAT;
      RETURN (TRUE);
END_FUNCTION;

Referenced By

Defintion nondecreasing is references by the following definitions:
DefinitionType
 b_spline_basis ENTITY


[Top Level Definitions] [Exit]

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