TYPE positive_integer

(* SCHEMA step_merged_cad_schema; *)

-- IN AP203e2/AP242
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
 compute_total_depth FUNCTION
 conical_stepped_hole_transition ENTITY
 definite_integral_check FUNCTION
 definite_integral_expr_check FUNCTION
 derive_function_domain FUNCTION
 explicit_table_function ENTITY
 factor_space FUNCTION
 finite_integer_interval ENTITY
 function_applicability FUNCTION
 generated_finite_numeric_space ENTITY
 input_selector INTEGER
 listed_data ENTITY
 list_selected_components FUNCTION
 make_numeric_set FUNCTION
 make_uniform_product_space FUNCTION
 one_or_two INTEGER
 shape_of_array FUNCTION
 solid_with_circular_pattern ENTITY
 solid_with_incomplete_circular_pattern ENTITY
 solid_with_incomplete_rectangular_pattern ENTITY
 solid_with_rectangular_pattern ENTITY
 solid_with_stepped_round_hole ENTITY
 uniform_product_space ENTITY


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-11-21T15:22:01-05:00