TYPE positive_integer

(* SCHEMA engineering_properties_schema; *)



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

Referenced By

Defintion positive_integer is references by the following definitions:
DefinitionType
 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
 dimension_count INTEGER
 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_uniform_product_space FUNCTION
 one_or_two INTEGER
 parse_express_identifier FUNCTION
 regular_indexing FUNCTION
 shape_of_array FUNCTION
 uniform_product_space ENTITY


[Top Level Definitions] [Exit]

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