reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
670 if (sol->error || !tab) 673 if (tab->empty && !sol->add_empty) 680 if (tab->empty) { 685 off = 2 + tab->M; 687 mat = isl_mat_alloc(tab->mat->ctx, 1 + sol->n_out, 688 1 + tab->n_param + tab->n_div); 688 1 + tab->n_param + tab->n_div); 697 int i = tab->n_param + row; 701 if (!tab->var[i].is_row) { 702 if (tab->M) 708 r = tab->var[i].index; 709 if (tab->M && 710 isl_int_ne(tab->mat->row[r][2], tab->mat->row[r][0])) 710 isl_int_ne(tab->mat->row[r][2], tab->mat->row[r][0])) 713 isl_int_gcd(m, mat->row[0][0], tab->mat->row[r][0]); 714 isl_int_divexact(m, tab->mat->row[r][0], m); 716 isl_int_divexact(m, mat->row[0][0], tab->mat->row[r][0]); 717 isl_int_mul(mat->row[1 + row][0], m, tab->mat->row[r][1]); 718 for (j = 0; j < tab->n_param; ++j) { 720 if (tab->var[j].is_row) 722 col = tab->var[j].index; 724 tab->mat->row[r][off + col]); 726 for (j = 0; j < tab->n_div; ++j) { 728 if (tab->var[tab->n_var - tab->n_div+j].is_row) 728 if (tab->var[tab->n_var - tab->n_div+j].is_row) 728 if (tab->var[tab->n_var - tab->n_div+j].is_row) 730 col = tab->var[tab->n_var - tab->n_div+j].index; 730 col = tab->var[tab->n_var - tab->n_div+j].index; 730 col = tab->var[tab->n_var - tab->n_div+j].index; 731 isl_int_mul(mat->row[1 + row][1 + tab->n_param + j], m, 732 tab->mat->row[r][off + col]);