TYPE elementary_function_enumerators

(* SCHEMA step_merged_ap_schema; *)
-- IN AP242
TYPE elementary_function_enumerators = ENUMERATION OF
      (ef_and,
       ef_or,
       ef_not,
       ef_xor,
       ef_negate_i,
       ef_add_i,
       ef_subtract_i,
       ef_multiply_i,
       ef_divide_i,
       ef_mod_i,
       ef_exponentiate_i,
       ef_eq_i,
       ef_ne_i,
       ef_gt_i,
       ef_lt_i,
       ef_ge_i,
       ef_le_i,
       ef_abs_i,
       ef_max_i,
       ef_min_i,
       ef_if_i,
       ef_negate_r,
       ef_reciprocal_r,
       ef_add_r,
       ef_subtract_r,
       ef_multiply_r,
       ef_divide_r,
       ef_mod_r,
       ef_exponentiate_r,
       ef_exponentiate_ri,
       ef_eq_r,
       ef_ne_r,
       ef_gt_r,
       ef_lt_r,
       ef_ge_r,
       ef_le_r,
       ef_abs_r,
       ef_max_r,
       ef_min_r,
       ef_acos_r,
       ef_asin_r,
       ef_atan2_r,
       ef_cos_r,
       ef_exp_r,
       ef_ln_r,
       ef_log2_r,
       ef_log10_r,
       ef_sin_r,
       ef_sqrt_r,
       ef_tan_r,
       ef_if_r,
       ef_form_c,
       ef_rpart_c,
       ef_ipart_c,
       ef_negate_c,
       ef_reciprocal_c,
       ef_add_c,
       ef_subtract_c,
       ef_multiply_c,
       ef_divide_c,
       ef_exponentiate_c,
       ef_exponentiate_ci,
       ef_eq_c,
       ef_ne_c,
       ef_conjugate_c,
       ef_abs_c,
       ef_arg_c,
       ef_cos_c,
       ef_exp_c,
       ef_ln_c,
       ef_sin_c,
       ef_sqrt_c,
       ef_tan_c,
       ef_if_c,
       ef_subscript_s,
       ef_eq_s,
       ef_ne_s,
       ef_gt_s,
       ef_lt_s,
       ef_ge_s,
       ef_le_s,
       ef_subsequence_s,
       ef_concat_s,
       ef_size_s,
       ef_format,
       ef_value,
       ef_like,
       ef_if_s,
       ef_subscript_b,
       ef_eq_b,
       ef_ne_b,
       ef_gt_b,
       ef_lt_b,
       ef_ge_b,
       ef_le_b,
       ef_subsequence_b,
       ef_concat_b,
       ef_size_b,
       ef_if_b,
       ef_subscript_t,
       ef_eq_t,
       ef_ne_t,
       ef_concat_t,
       ef_size_t,
       ef_entuple,
       ef_detuple,
       ef_insert,
       ef_remove,
       ef_if_t,
       ef_sum_it,
       ef_product_it,
       ef_add_it,
       ef_subtract_it,
       ef_scalar_mult_it,
       ef_dot_prod_it,
       ef_sum_rt,
       ef_product_rt,
       ef_add_rt,
       ef_subtract_rt,
       ef_scalar_mult_rt,
       ef_dot_prod_rt,
       ef_norm_rt,
       ef_sum_ct,
       ef_product_ct,
       ef_add_ct,
       ef_subtract_ct,
       ef_scalar_mult_ct,
       ef_dot_prod_ct,
       ef_norm_ct,
       ef_if,
       ef_ensemble,
       ef_member_of);
END_TYPE;

Referenced By

Defintion elementary_function_enumerators is references by the following definitions:
DefinitionType
 convert_to_maths_function FUNCTION
 derive_elementary_function_domain FUNCTION
 derive_elementary_function_range FUNCTION
 elementary_function ENTITY
 make_elementary_function FUNCTION
 maths_enum_atom SELECT
 maths_function_select SELECT
 simplify_function_application FUNCTION


[Top Level Definitions] [Exit]

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