Searched refs:c_inhomo (Results 1 – 2 of 2) sorted by relevance
957 const Coefficient& c_inhomo = c.inhomogeneous_term(); in refine_no_check() local959 if (c_inhomo < 0 in refine_no_check()960 || (c_inhomo != 0 && c.is_equality()) in refine_no_check()961 || (c_inhomo == 0 && c.is_strict_inequality())) { in refine_no_check()
72011 const Coefficient& c_inhomo = c.inhomogeneous_term();72013 if (c_inhomo < 072014 || (c_inhomo != 0 && c.is_equality())72015 || (c_inhomo == 0 && c.is_strict_inequality())) {