TYPE positive_integer

(* SCHEMA mathematical_functions_schema; *)

TYPE positive_integer = nonnegative_integer;
WHERE positivity: SELF > 0;
END_TYPE;

Referenced By

Defintion positive_integer is references by the following definitions:

Definition	Type
b_spline_basis	ENTITY
check_sparse_index_domain	FUNCTION
check_sparse_loc_range	FUNCTION
compare_basis_and_coef	FUNCTION
definite_integral_check	FUNCTION
definite_integral_expr_check	FUNCTION
derive_function_domain	FUNCTION
dotted_identifiers_syntax	FUNCTION
explicit_table_function	ENTITY
extremal_position_check	FUNCTION
factor_space	FUNCTION
finite_integer_interval	ENTITY
function_applicability	FUNCTION
input_selector	INTEGER
listed_complex_number_data	ENTITY
listed_data	ENTITY
listed_integer_data	ENTITY
listed_logical_data	ENTITY
listed_real_data	ENTITY
listed_string_data	ENTITY
list_selected_components	FUNCTION
make_banded_matrix	FUNCTION
make_basic_sparse_matrix	FUNCTION
make_regular_table_function	FUNCTION
make_standard_table_function	FUNCTION
make_strict_triangular_matrix	FUNCTION
make_uniform_product_space	FUNCTION
one_or_two	INTEGER
parse_express_identifier	FUNCTION
regular_indexing	FUNCTION
shape_of_array	FUNCTION
uniform_product_space	ENTITY
solid_with_stepped_round_hole	ENTITY
conical_stepped_hole_transition	ENTITY
solid_with_circular_pattern	ENTITY
solid_with_rectangular_pattern	ENTITY
solid_with_incomplete_circular_pattern	ENTITY
solid_with_incomplete_rectangular_pattern	ENTITY

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