reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
211 sol->context->op->free(sol->context); 373 bset = isl_basic_set_dup(sol->context->op->peek_basic_set(sol->context)); 375 sol->context->op->peek_tab(sol->context)); 597 tab = sol->context->op->peek_tab(sol->context); 675 if (sol->context->op->is_empty(sol->context)) 2086 struct isl_tab *context_tab = context->op->peek_tab(context); 2092 if ((nonneg = context->op->insert_div(context, pos, div)) < 0) 2095 if (!context->op->is_ok(context)) 2111 context->op->invalidate(context); 2137 struct isl_tab *context_tab = context->op->peek_tab(context); 2192 d = context->op->get_div(context, tab, div); 2261 if (d >= n && context->op->detect_equalities(context, tab) < 0) 2508 return context->op->is_ok(context) ? isl_stat_ok : isl_stat_error; 2828 clex->context.op = &isl_context_lex_op; 2839 clex->context.op->free(&clex->context); 3197 return context->op->is_ok(context) ? isl_stat_ok : isl_stat_error; 3588 cgbr->context.op = &isl_context_gbr_op; 3600 cgbr->context.op->free(&cgbr->context); 3628 return context->op->free(context); 3829 res = sol->context->op->ineq_sign(sol->context, ineq->el, 3838 feasible = sol->context->op->test_ineq(sol->context, ineq->el); 3858 feasible = sol->context->op->test_ineq(sol->context, ineq->el); 3894 saved = sol->context->op->save(sol->context); 3900 sol->context->op->add_ineq(sol->context, ineq, 0, 1); 3905 sol->context->op->restore(sol->context, saved); 3907 sol->context->op->discard(saved); 3924 saved = sol->context->op->save(sol->context); 3928 sol->context->op->add_ineq(sol->context, ineq->el, 1, 0); 3939 sol->context->op->restore(sol->context, saved); 4066 if (context->op->is_empty(context)) 4095 split = context->op->best_split(context, tab); 4110 context->op->add_ineq(context, ineq->el, 0, 1); 4135 d = context->op->get_div(context, tab, div); 4139 ineq = ineq_for_div(context->op->peek_basic_set(context), d); 4145 context->op->add_ineq(context, ineq->el, 1, 1); 4147 if (sol->error || !context->op->is_ok(context)) 4150 if (context->op->is_empty(context)) 4243 sol->context->op->add_eq(sol->context, eq->el, 1, 1); 4250 if (sol->context->op->is_empty(sol->context)) 4256 saved = sol->context->op->save(sol->context); 4261 sol->context->op->restore(sol->context, saved); 4263 sol->context->op->discard(saved); 4381 if (isl_basic_set_plain_is_empty(context->op->peek_basic_set(context))) 4386 isl_basic_set_copy(context->op->peek_basic_set(context))); 4389 context->op->peek_basic_set(context), 1, max); 4390 tab = context->op->detect_nonnegative_parameters(context, tab);