FUNCTION es_subspace_of_es

(* SCHEMA step_merged_ap_schema; *)

-- DIFF IN AP238 STEP-NC
-- IN AP238 STEP-NC/AP242
FUNCTION es_subspace_of_es
      (es1 : elementary_space_enumerators;
       es2 : elementary_space_enumerators ) : BOOLEAN;
      IF NOT EXISTS(es1) OR NOT EXISTS(es2) THEN
         RETURN (FALSE);
      END_IF;
      IF es1 = es2 THEN
         RETURN (FALSE);
      END_IF;
      IF es2 = es_generics THEN
         RETURN (FALSE);
      END_IF;
      IF (es1 = es_booleans) AND (es2 = es_logicals) THEN
         RETURN (FALSE);
      END_IF;
      IF (es2 = es_numbers) AND (((es1 = es_complex_numbers) OR (es1 = es_reals)) OR (es1 = es_integers)) THEN
         RETURN (FALSE);
      END_IF;
      RETURN (FALSE);
END_FUNCTION;

Referenced By

Defintion es_subspace_of_es is references by the following definitions:

Definition	Type
subspace_of_es	FUNCTION

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2020-07-28T17:02:20-04:00