FUNCTION subspace_of_es

(* SCHEMA step_merged_ap_schema; *)

-- DIFF IN AP238 STEP-NC
-- IN AP238 STEP-NC/AP242
FUNCTION subspace_of_es
      (spc : maths_space;
       es : elementary_space_enumerators ) : LOGICAL;
   LOCAL
      types : SET OF STRING := stripped_typeof(spc);
   END_LOCAL;
      IF NOT EXISTS(spc) OR NOT EXISTS(es) THEN
         RETURN (FALSE);
      END_IF;
      IF 'ELEMENTARY_SPACE' IN types THEN
         RETURN (es_subspace_of_es(spc\elementary_space.space_id, es));
      END_IF;
      IF 'FINITE_SPACE' IN types THEN
         RETURN (all_members_of_es(spc\finite_space.members, es));
      END_IF;
      CASE es OF
         es_numbers :
               RETURN (((((((('FINITE_INTEGER_INTERVAL' IN types) OR ('INTEGER_INTERVAL_FROM_MIN' IN types)) OR ('INTEGER_INTERVAL_TO_MAX' IN types)) OR ('FINITE_REAL_INTERVAL' IN types)) OR ('REAL_INTERVAL_FROM_MIN' IN types)) OR ('REAL_INTERVAL_TO_MAX' IN types)) OR ('CARTESIAN_COMPLEX_NUMBER_REGION' IN types)) OR ('POLAR_COMPLEX_NUMBER_REGION' IN types));
         es_complex_numbers :
               RETURN (('CARTESIAN_COMPLEX_NUMBER_REGION' IN types) OR ('POLAR_COMPLEX_NUMBER_REGION' IN types));
         es_reals :
               RETURN ((('FINITE_REAL_INTERVAL' IN types) OR ('REAL_INTERVAL_FROM_MIN' IN types)) OR ('REAL_INTERVAL_TO_MAX' IN types));
         es_integers :
               RETURN ((('FINITE_INTEGER_INTERVAL' IN types) OR ('INTEGER_INTERVAL_FROM_MIN' IN types)) OR ('INTEGER_INTERVAL_TO_MAX' IN types));
         es_logicals :
               RETURN (FALSE);
         es_booleans :
               RETURN (FALSE);
         es_strings :
               RETURN (FALSE);
         es_binarys :
               RETURN (FALSE);
         es_maths_spaces :
               RETURN (FALSE);
         es_maths_functions :
               RETURN ('FUNCTION_SPACE' IN types);
         es_generics :
               RETURN (FALSE);
      END_CASE;
      RETURN (FALSE);
END_FUNCTION;

Referenced By

Defintion subspace_of_es is references by the following definitions:

Definition	Type
all_members_of_es	FUNCTION
compatible_spaces	FUNCTION
drop_numeric_constraints	FUNCTION
general_linear_function	ENTITY
homogeneous_linear_function	ENTITY
maths_boolean_variable	ENTITY
maths_integer_variable	ENTITY
maths_real_variable	ENTITY
maths_string_variable	ENTITY
number_superspace_of	FUNCTION
number_tuple_subspace_check	FUNCTION
partial_derivative_check	FUNCTION
space_is_continuum	FUNCTION
symmetric_matrix	ENTITY

[Top Level Definitions] [Exit]

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