reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
4062 context = sol->context; 4066 if (context->op->is_empty(context)) 4066 if (context->op->is_empty(context)) 4095 split = context->op->best_split(context, tab); 4095 split = context->op->best_split(context, tab); 4110 context->op->add_ineq(context, ineq->el, 0, 1); 4110 context->op->add_ineq(context, ineq->el, 0, 1); 4135 d = context->op->get_div(context, tab, div); 4135 d = context->op->get_div(context, tab, div); 4139 ineq = ineq_for_div(context->op->peek_basic_set(context), d); 4139 ineq = ineq_for_div(context->op->peek_basic_set(context), d); 4145 context->op->add_ineq(context, ineq->el, 1, 1); 4145 context->op->add_ineq(context, ineq->el, 1, 1); 4147 if (sol->error || !context->op->is_ok(context)) 4147 if (sol->error || !context->op->is_ok(context)) 4150 if (context->op->is_empty(context)) 4150 if (context->op->is_empty(context)) 4153 row = add_parametric_cut(tab, row, context);