CONSTANTs

(* SCHEMA engineering_properties_schema; *)

CONSTANT
      dummy_gri : geometric_representation_item := representation_item('') || geometric_representation_item();
      schema_prefix : STRING := 'ENGINEERING_PROPERTIES_SCHEMA.';
      the_booleans : elementary_space := make_elementary_space(es_booleans);
      the_empty_maths_tuple : maths_tuple := [];
      the_empty_space : finite_space := make_finite_space([]);
      the_complex_numbers : elementary_space := make_elementary_space(es_complex_numbers);
      the_generics : elementary_space := make_elementary_space(es_generics);
      the_integers : elementary_space := make_elementary_space(es_integers);
      the_logicals : elementary_space := make_elementary_space(es_logicals);
      the_numbers : elementary_space := make_elementary_space(es_numbers);
      the_reals : elementary_space := make_elementary_space(es_reals);
      the_strings : elementary_space := make_elementary_space(es_strings);
      the_zero_tuple_space : listed_product_space := make_listed_product_space([]);
      the_complex_tuples : extended_tuple_space := make_extended_tuple_space(the_zero_tuple_space, the_complex_numbers);
      the_integer_tuples : extended_tuple_space := make_extended_tuple_space(the_zero_tuple_space, the_integers);
      the_neg1_one_interval : finite_real_interval := make_finite_real_interval(-1.00000, closed, 1.00000, closed);
      the_nonnegative_reals : real_interval_from_min := make_real_interval_from_min(0.00000, closed);
      the_real_tuples : extended_tuple_space := make_extended_tuple_space(the_zero_tuple_space, the_reals);
      the_binarys : elementary_space := make_elementary_space(es_binarys);
      the_maths_spaces : elementary_space := make_elementary_space(es_maths_spaces);
      the_neghalfpi_halfpi_interval : finite_real_interval := make_finite_real_interval(-0.500000 * 3.14159, closed, 0.500000 * 3.14159, closed);
      the_negpi_pi_interval : finite_real_interval := make_finite_real_interval(-3.14159, open, 3.14159, closed);
      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.00000, closed, 3.14159, closed);
   END_CONSTANT;

Referenced By

Constants are referenced by the following definitions:
DefinitionType
 axis1_placement ENTITY
 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
 base_axis FUNCTION
 build_2axes FUNCTION
 build_axes 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
 cross_product 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
 extremal_position_check FUNCTION
 factor1 FUNCTION
 factor_space FUNCTION
 first_proj_axis 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
 scalar_times_vector FUNCTION
 second_proj_axis 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
 vector_difference FUNCTION


[Top Level Definitions] [Exit]

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