TYPE nonnegative_integer

(* SCHEMA FUNCTIONAL_DATA_AND_SCHEMATIC_REPRESENTATION_MIM_LF; *)

 
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
2012-03-27T17:17:31-04:00