reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
4135 d = context->op->get_div(context, tab, div); 4137 if (d < 0) 4139 ineq = ineq_for_div(context->op->peek_basic_set(context), d); 4149 tab = set_row_cst_to_div(tab, row, d);