CONSTANTs

(* SCHEMA mathematical_functions_schema; *)

CONSTANT
  schema_prefix : STRING := 'MATHEMATICAL_FUNCTIONS_SCHEMA.';
  the_integers        : elementary_space := make_elementary_space(es_integers);
  the_reals           : elementary_space := make_elementary_space(es_reals);
  the_complex_numbers : elementary_space := make_elementary_space(es_complex_numbers);
  the_numbers         : elementary_space := make_elementary_space(es_numbers);
  the_logicals        : elementary_space := make_elementary_space(es_logicals);
  the_booleans        : elementary_space := make_elementary_space(es_booleans);
  the_strings         : elementary_space := make_elementary_space(es_strings);
  the_binarys         : elementary_space := make_elementary_space(es_binarys);
  the_maths_spaces    : elementary_space := make_elementary_space(es_maths_spaces);
  the_generics        : elementary_space := make_elementary_space(es_generics);
  the_empty_space : finite_space := make_finite_space([]);
  the_nonnegative_reals         : real_interval_from_min :=
    make_real_interval_from_min(0.0, closed);
  the_zero_one_interval         : finite_real_interval := make_finite_real_interval(
    0.0, closed, 1.0, closed);
  the_zero_pi_interval          : finite_real_interval := make_finite_real_interval(
    0.0, closed, pi, closed);
  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_zero_tuple_space : listed_product_space := make_listed_product_space([]);
  the_tuples           : extended_tuple_space := make_extended_tuple_space(
    the_zero_tuple_space, the_generics);
  the_integer_tuples   : extended_tuple_space := make_extended_tuple_space(
    the_zero_tuple_space, the_integers);
  the_real_tuples      : extended_tuple_space := make_extended_tuple_space(
    the_zero_tuple_space, the_reals);
  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_maths_value      : maths_value := the_empty_maths_tuple;
  the_empty_atom_based_tuple : atom_based_tuple := [];
  the_empty_atom_based_value : atom_based_value := the_empty_atom_based_tuple;
END_CONSTANT;

Referenced By

Constants are referenced by the following definitions:

Definition	Type
axis1_placement	ENTITY
above_plane	FUNCTION
base_axis	FUNCTION
build_2axes	FUNCTION
build_axes	FUNCTION
cross_product	FUNCTION
first_proj_axis	FUNCTION
normalise	FUNCTION
orthogonal_complement	FUNCTION
scalar_times_vector	FUNCTION
second_proj_axis	FUNCTION
vector_difference	FUNCTION
vector_sum	FUNCTION
closed_shell_reversed	FUNCTION
edge_reversed	FUNCTION
face_bound_reversed	FUNCTION
face_reversed	FUNCTION
open_shell_reversed	FUNCTION
path_reversed	FUNCTION
build_transformed_set	FUNCTION
quantifier_expression	ENTITY
uniform_product_space	ENTITY
listed_product_space	ENTITY
extended_tuple_space	ENTITY
function_space	ENTITY
repackaging_function	ENTITY
b_spline_function	ENTITY
partial_derivative_expression	ENTITY
expression_denoted_function	ENTITY
assoc_product_space	FUNCTION
check_sparse_loc_range	FUNCTION
check_sparse_index_to_loc	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
extremal_position_check	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
number_superspace_of	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:13:59-04:00