reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
4098 ineq = get_row_parameter_ineq(tab, split); 4099 if (!ineq) 4101 is_strict(ineq); 4105 find_in_pos(sol, tab, ineq->el); 4107 isl_seq_neg(ineq->el, ineq->el, ineq->size); 4107 isl_seq_neg(ineq->el, ineq->el, ineq->size); 4107 isl_seq_neg(ineq->el, ineq->el, ineq->size); 4108 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); 4108 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); 4110 context->op->add_ineq(context, ineq->el, 0, 1); 4111 isl_vec_free(ineq);