reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
3823 ineq = get_row_parameter_ineq(tab, row); 3824 if (!ineq) 3827 strict = is_strict(ineq); 3829 res = sol->context->op->ineq_sign(sol->context, ineq->el, 3835 isl_seq_neg(ineq->el, ineq->el, ineq->size); 3835 isl_seq_neg(ineq->el, ineq->el, ineq->size); 3835 isl_seq_neg(ineq->el, ineq->el, ineq->size); 3836 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); 3836 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); 3838 feasible = sol->context->op->test_ineq(sol->context, ineq->el); 3847 isl_seq_neg(ineq->el, ineq->el, ineq->size); 3847 isl_seq_neg(ineq->el, ineq->el, ineq->size); 3847 isl_seq_neg(ineq->el, ineq->el, ineq->size); 3848 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); 3848 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); 3856 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); 3856 isl_int_sub_ui(ineq->el[0], ineq->el[0], 1); 3858 feasible = sol->context->op->test_ineq(sol->context, ineq->el); 3865 isl_vec_free(ineq); 3868 isl_vec_free(ineq);