reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced
2369 if (add_div_constraints(tab, pos - o_div, add_ineq, user) < 0)