TYPE nonnegative_integer

(* SCHEMA step_merged_ap_schema; *)
-- IN AP203e2/AP242
TYPE nonnegative_integer = INTEGER;
   WHERE
      nonnegativity:
         SELF >= 0;
END_TYPE;

Referenced By

Defintion nonnegative_integer is references by the following definitions:
DefinitionType
 b_spline_basis ENTITY
 definite_integral_check FUNCTION
 definite_integral_expr_check FUNCTION
 derive_function_range FUNCTION
 positive_integer INTEGER
 repackaging_function ENTITY
 space_dimension FUNCTION
 zero_or_one INTEGER


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2017-01-19T11:17:22-05:00