reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1023 n = 2 + 1025 dim = isl_space_set_alloc(bset1->ctx, 0, n); 1026 lp = isl_basic_set_alloc_space(dim, 0, d, n); 1029 for (i = 0; i < n; ++i) { 1033 isl_seq_clr(lp->ineq[k] + 1, n); 1041 n = 0; 1042 isl_int_set_si(lp->eq[k][n], 0); n++; 1042 isl_int_set_si(lp->eq[k][n], 0); n++; 1044 isl_int_set_si(lp->eq[k][n], i == 0); n++; 1044 isl_int_set_si(lp->eq[k][n], i == 0); n++; 1046 isl_int_set(lp->eq[k][n], bset1->eq[j][i]); n++; 1046 isl_int_set(lp->eq[k][n], bset1->eq[j][i]); n++; 1047 isl_int_neg(lp->eq[k][n], bset1->eq[j][i]); n++; 1047 isl_int_neg(lp->eq[k][n], bset1->eq[j][i]); n++; 1050 isl_int_set(lp->eq[k][n], bset1->ineq[j][i]); n++; 1050 isl_int_set(lp->eq[k][n], bset1->ineq[j][i]); n++; 1053 isl_int_set_si(lp->eq[k][n], -(i == 0)); n++; 1053 isl_int_set_si(lp->eq[k][n], -(i == 0)); n++; 1055 isl_int_neg(lp->eq[k][n], bset2->eq[j][i]); n++; 1055 isl_int_neg(lp->eq[k][n], bset2->eq[j][i]); n++; 1056 isl_int_set(lp->eq[k][n], bset2->eq[j][i]); n++; 1056 isl_int_set(lp->eq[k][n], bset2->eq[j][i]); n++; 1059 isl_int_neg(lp->eq[k][n], bset2->ineq[j][i]); n++; 1059 isl_int_neg(lp->eq[k][n], bset2->ineq[j][i]); n++;