reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
590 bset = isl_basic_set_alloc_space(isl_space_copy(pnt1->dim), 0, 0, 2 * total); 596 k = isl_basic_set_alloc_inequality(bset); 599 isl_seq_clr(bset->ineq[k] + 1, total); 601 isl_int_set_si(bset->ineq[k][1 + i], -1); 602 isl_int_set(bset->ineq[k][0], pnt1->vec->el[1 + i]); 604 isl_int_set_si(bset->ineq[k][1 + i], 1); 605 isl_int_neg(bset->ineq[k][0], pnt1->vec->el[1 + i]); 607 isl_int_fdiv_q(bset->ineq[k][0], bset->ineq[k][0], pnt1->vec->el[0]); 607 isl_int_fdiv_q(bset->ineq[k][0], bset->ineq[k][0], pnt1->vec->el[0]); 609 k = isl_basic_set_alloc_inequality(bset); 612 isl_seq_clr(bset->ineq[k] + 1, total); 614 isl_int_set_si(bset->ineq[k][1 + i], 1); 615 isl_int_neg(bset->ineq[k][0], pnt2->vec->el[1 + i]); 617 isl_int_set_si(bset->ineq[k][1 + i], -1); 618 isl_int_set(bset->ineq[k][0], pnt2->vec->el[1 + i]); 620 isl_int_fdiv_q(bset->ineq[k][0], bset->ineq[k][0], pnt2->vec->el[0]); 620 isl_int_fdiv_q(bset->ineq[k][0], bset->ineq[k][0], pnt2->vec->el[0]); 623 bset = isl_basic_set_finalize(bset); 623 bset = isl_basic_set_finalize(bset); 630 return bset; 635 isl_basic_set_free(bset);