Searched refs:sc_denom (Results 1 – 7 of 7) sorted by relevance
46 double sc_denom, sc_num; variable
200 scEng = scFact1 * scFact1 * scFact2 * sc_denom; in compute()201 scDer = k3 * scEng - 6 * scFact1 * (rs - tmpr) * sc_denom; in compute()447 sc_denom = tmpfact * tmpfact * tmpfact; in coeff()
3413 PPL_ASSERT(sc_denom > 0); in deduce_v_minus_u_bounds()3442 if (expr_u >= sc_denom) { in deduce_v_minus_u_bounds()3480 PPL_ASSERT(sc_denom > 0); in deduce_u_minus_v_bounds()3512 if (expr_u >= sc_denom) { in deduce_u_minus_v_bounds()3927 if (sc_denom != 1) { in refine()3987 if (sc_denom != 1) { in refine()4309 if (sc_denom != 1) { in affine_image()4336 if (sc_denom != 1) { in affine_image()5457 if (sc_denom != 1) { in bounded_affine_image()5866 if (sc_denom != 1) { in generalized_affine_image()[all …]
4188 PPL_ASSERT(sc_denom > 0); in deduce_v_pm_u_bounds()4307 PPL_ASSERT(sc_denom > 0); in deduce_minus_v_pm_u_bounds()4810 if (sc_denom != 1) { in refine()4862 if (sc_denom != 1) { in refine()4964 if (sc_denom != 1) { in refine()5057 if (sc_denom != 1) { in refine()5422 if (sc_denom != 1) { in affine_image()5472 if (sc_denom != 1) { in affine_image()6358 if (sc_denom != 1) { in generalized_affine_image()6461 if (sc_denom != 1) { in generalized_affine_image()[all …]
2074 Coefficient_traits::const_reference sc_denom,2108 Coefficient_traits::const_reference sc_denom,
2217 Coefficient_traits::const_reference sc_denom,2307 Coefficient_traits::const_reference sc_denom,
76476 if (sc_denom != 1) {76526 if (sc_denom != 1) {77412 if (sc_denom != 1) {78022 if (sc_denom != 1) {84474 if (sc_denom != 1) {84534 if (sc_denom != 1) {84856 if (sc_denom != 1) {84883 if (sc_denom != 1) {86004 if (sc_denom != 1) {86413 if (sc_denom != 1) {[all …]