CONSTANTs

(* SCHEMA FUNCTIONAL_DATA_AND_SCHEMATIC_REPRESENTATION_MIM_LF; *)

CONSTANT
  cnlit : STRING := schema_prefix + 'COMPLEX_NUMBER_LITERAL';
  dummy_gri : geometric_representation_item := representation_item('')||
  geometric_representation_item();
  schema_prefix : STRING := 
  'FUNCTIONAL_DATA_AND_SCHEMATIC_REPRESENTATION_MIM_LF.';
  the_binarys : elementary_space := make_elementary_space(es_binarys);
  the_booleans : elementary_space := make_elementary_space(es_booleans);
  the_complex_numbers : elementary_space := make_elementary_space(
  es_complex_numbers);
  the_complex_tuples : extended_tuple_space := make_extended_tuple_space(
  the_zero_tuple_space, the_complex_numbers);
  the_empty_maths_tuple : maths_tuple := [];
  the_empty_space : finite_space := make_finite_space([]);
  the_generics : elementary_space := make_elementary_space(es_generics);
  the_integer_tuples : extended_tuple_space := make_extended_tuple_space(
  the_zero_tuple_space, the_integers);
  the_integers : elementary_space := make_elementary_space(es_integers);
  the_logicals : elementary_space := make_elementary_space(es_logicals);
  the_maths_spaces : elementary_space := make_elementary_space(es_maths_spaces)
  ;
  the_neg1_one_interval : finite_real_interval := make_finite_real_interval(-
  1.0, closed, 1.0, closed);
  the_neghalfpi_halfpi_interval : finite_real_interval := 
  make_finite_real_interval(-0.5 * PI, closed, 0.5 * PI, closed);
  the_negpi_pi_interval : finite_real_interval := make_finite_real_interval(-PI
  , open, PI, closed);
  the_nonnegative_reals : real_interval_from_min := make_real_interval_from_min
  (0.0, closed);
  the_numbers : elementary_space := make_elementary_space(es_numbers);
  the_real_tuples : extended_tuple_space := make_extended_tuple_space(
  the_zero_tuple_space, the_reals);
  the_reals : elementary_space := make_elementary_space(es_reals);
  the_strings : elementary_space := make_elementary_space(es_strings);
  the_tuples : extended_tuple_space := make_extended_tuple_space(
  the_zero_tuple_space, the_generics);
  the_zero_pi_interval : finite_real_interval := make_finite_real_interval(0.0
  , closed, PI, closed);
  the_zero_tuple_space : listed_product_space := make_listed_product_space([]);
END_CONSTANT;

Referenced By

Constants are referenced by the following definitions:
DefinitionType
 b_spline_function ENTITY
 expression_denoted_function ENTITY
 extended_tuple_space ENTITY
 function_space ENTITY
 listed_product_space ENTITY
 partial_derivative_expression ENTITY
 quantifier_expression ENTITY
 repackaging_function ENTITY
 uniform_product_space ENTITY
 assoc_product_space FUNCTION
 build_2axes FUNCTION
 check_sparse_index_to_loc FUNCTION
 check_sparse_loc_range FUNCTION
 compatible_spaces FUNCTION
 convert_to_literal FUNCTION
 convert_to_maths_function FUNCTION
 convert_to_maths_value FUNCTION
 definite_integral_check FUNCTION
 derive_definite_integral_domain FUNCTION
 derive_elementary_function_domain FUNCTION
 derive_elementary_function_range FUNCTION
 derive_function_range FUNCTION
 enclose_pregion_in_cregion FUNCTION
 extract_factors FUNCTION
 factor1 FUNCTION
 factor_space FUNCTION
 function_applicability FUNCTION
 function_is_1d_array FUNCTION
 function_is_1d_table FUNCTION
 function_is_array FUNCTION
 function_is_table FUNCTION
 max_exists FUNCTION
 max_included FUNCTION
 member_of FUNCTION
 min_exists FUNCTION
 min_included FUNCTION
 no_cyclic_domain_reference FUNCTION
 no_cyclic_space_reference FUNCTION
 normalise FUNCTION
 number_superspace_of FUNCTION
 orthogonal_complement FUNCTION
 parallel_composed_function_composability_check FUNCTION
 partial_derivative_check FUNCTION
 real_max FUNCTION
 real_min FUNCTION
 shape_of_array FUNCTION
 simplify_function_application FUNCTION
 space_dimension FUNCTION
 space_is_continuum FUNCTION
 stripped_typeof FUNCTION
 subspace_of FUNCTION
 values_space_of FUNCTION


[Top Level Definitions] [Exit]

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