reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
210 if (sol->context) 211 sol->context->op->free(sol->context); 211 sol->context->op->free(sol->context); 334 n_known = n_div - sol->context->n_unknown; 373 bset = isl_basic_set_dup(sol->context->op->peek_basic_set(sol->context)); 373 bset = isl_basic_set_dup(sol->context->op->peek_basic_set(sol->context)); 375 sol->context->op->peek_tab(sol->context)); 375 sol->context->op->peek_tab(sol->context)); 597 tab = 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)) 675 if (sol->context->op->is_empty(sol->context)) 3651 sol->context = isl_context_alloc(dom); 3652 if (!sol->space || !sol->context) 3829 res = sol->context->op->ineq_sign(sol->context, ineq->el, 3829 res = sol->context->op->ineq_sign(sol->context, ineq->el, 3838 feasible = sol->context->op->test_ineq(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); 3858 feasible = sol->context->op->test_ineq(sol->context, ineq->el); 3892 if (!sol->context) 3894 saved = sol->context->op->save(sol->context); 3894 saved = sol->context->op->save(sol->context); 3900 sol->context->op->add_ineq(sol->context, ineq, 0, 1); 3900 sol->context->op->add_ineq(sol->context, ineq, 0, 1); 3905 sol->context->op->restore(sol->context, saved); 3905 sol->context->op->restore(sol->context, saved); 3907 sol->context->op->discard(saved); 3922 if (!sol->context || sol->error) 3924 saved = sol->context->op->save(sol->context); 3924 saved = sol->context->op->save(sol->context); 3928 sol->context->op->add_ineq(sol->context, ineq->el, 1, 0); 3928 sol->context->op->add_ineq(sol->context, ineq->el, 1, 0); 3929 if (!sol->context) 3939 sol->context->op->restore(sol->context, saved); 3939 sol->context->op->restore(sol->context, saved); 4062 context = sol->context; 4243 sol->context->op->add_eq(sol->context, eq->el, 1, 1); 4243 sol->context->op->add_eq(sol->context, eq->el, 1, 1); 4250 if (sol->context->op->is_empty(sol->context)) 4250 if (sol->context->op->is_empty(sol->context)) 4256 saved = sol->context->op->save(sol->context); 4256 saved = sol->context->op->save(sol->context); 4261 sol->context->op->restore(sol->context, saved); 4261 sol->context->op->restore(sol->context, saved); 4263 sol->context->op->discard(saved); 4380 context = sol->context;