Searched refs:abs_n (Results 276 – 279 of 279) sorted by relevance
1...<<1112
/dports/games/wesnoth/wesnoth-1.14.17/src/actions/ |
H A D | attack.cpp | 975 int& abs_n = attacker_turn ? abs_n_attack_ : abs_n_defend_; in perform_hit() local 1087 abs_n, float_text.str(), drains_damage, "", in perform_hit()
|
/dports/math/yices/yices-2.6.2/src/mcsat/nra/ |
H A D | nra_plugin.c | 475 term_t abs_n = _o_yices_ite(_o_yices_arith_geq0_atom(n), n, _o_yices_neg(n)); in nra_plugin_new_term_notify() local 476 term_t c3 = opposite_term(arith_geq_atom(terms, _o_yices_sub(r, abs_n))); in nra_plugin_new_term_notify()
|
/dports/lang/guile2/guile-2.2.7/libguile/ |
H A D | numbers.c | 9695 scm_t_uintmax abs_n; in scm_is_signed_integer() local 9703 mpz_export (&abs_n, &count, 1, sizeof (scm_t_uintmax), 0, 0, in scm_is_signed_integer() 9708 if (abs_n <= max) in scm_is_signed_integer() 9709 n = abs_n; in scm_is_signed_integer() 9716 if (min < 0 && abs_n - 1 <= -(min + 1)) in scm_is_signed_integer() 9717 n = -1 - (scm_t_intmax)(abs_n - 1); in scm_is_signed_integer()
|
/dports/lang/guile/guile-3.0.7/libguile/ |
H A D | numbers.c | 9712 uintmax_t abs_n; in scm_is_signed_integer() local 9720 mpz_export (&abs_n, &count, 1, sizeof (uintmax_t), 0, 0, in scm_is_signed_integer() 9725 if (abs_n <= max) in scm_is_signed_integer() 9726 n = abs_n; in scm_is_signed_integer() 9733 if (min < 0 && abs_n - 1 <= -(min + 1)) in scm_is_signed_integer() 9734 n = -1 - (intmax_t)(abs_n - 1); in scm_is_signed_integer()
|
1...<<1112