TYPE space_constraint_type

(* SCHEMA mathematical_functions_schema; *)

TYPE space_constraint_type = ENUMERATION OF
  (sc_equal,
   sc_subspace,
   sc_member);
END_TYPE;

Referenced By

Defintion space_constraint_type is references by the following definitions:
DefinitionType
 any_space_satisfies FUNCTION
 function_space ENTITY
 make_function_space FUNCTION
 maths_enum_atom SELECT


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:13:59-04:00