FUNCTION any_space_satisfies

(* SCHEMA step_merged_ap_schema; *)

-- IN AP238 STEP-NC/AP242
FUNCTION any_space_satisfies
      (sc : space_constraint_type;
       spc : maths_space ) : BOOLEAN;
   LOCAL
      spc_id : elementary_space_enumerators;
   END_LOCAL;
      IF (sc = sc_equal) OR NOT ('ELEMENTARY_SPACE' IN stripped_typeof(spc)) THEN
         RETURN (FALSE);
      END_IF;
      spc_id := spc\elementary_space.space_id;
      IF sc = sc_subspace THEN
         RETURN (bool(spc_id = es_generics));
      END_IF;
      IF sc = sc_member THEN
         RETURN (bool((spc_id = es_generics) OR (spc_id = es_maths_spaces)));
      END_IF;
      RETURN (?);
END_FUNCTION;

Referenced By

Defintion any_space_satisfies is references by the following definitions:

Definition	Type
equal_maths_spaces	FUNCTION
function_space	ENTITY

[Top Level Definitions] [Exit]

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