reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1358 if (!bset || !mat) 1361 ctx = bset->ctx; 1362 bset = isl_basic_set_cow(bset); 1362 bset = isl_basic_set_cow(bset); 1363 if (!bset) 1366 isl_assert(ctx, bset->dim->nparam == 0, goto error); 1367 isl_assert(ctx, 1+bset->dim->n_out == mat->n_row, goto error); 1371 bset = isl_basic_set_extend(bset, 0, mat->n_col-1, 0, 0, 0); 1371 bset = isl_basic_set_extend(bset, 0, mat->n_col-1, 0, 0, 0); 1372 if (!bset) 1375 bset->dim = isl_space_cow(bset->dim); 1375 bset->dim = isl_space_cow(bset->dim); 1376 if (!bset->dim) 1378 bset->dim->n_out -= mat->n_row - mat->n_col; 1381 if (preimage(ctx, bset->eq, bset->n_eq, bset->n_div, 0, 1381 if (preimage(ctx, bset->eq, bset->n_eq, bset->n_div, 0, 1381 if (preimage(ctx, bset->eq, bset->n_eq, bset->n_div, 0, 1385 if (preimage(ctx, bset->ineq, bset->n_ineq, bset->n_div, 0, 1385 if (preimage(ctx, bset->ineq, bset->n_ineq, bset->n_div, 0, 1385 if (preimage(ctx, bset->ineq, bset->n_ineq, bset->n_div, 0, 1389 if (preimage(ctx, bset->div, bset->n_div, bset->n_div, 1, mat) < 0) 1389 if (preimage(ctx, bset->div, bset->n_div, bset->n_div, 1, mat) < 0) 1389 if (preimage(ctx, bset->div, bset->n_div, bset->n_div, 1, mat) < 0) 1392 ISL_F_CLR(bset, ISL_BASIC_SET_NO_IMPLICIT); 1393 ISL_F_CLR(bset, ISL_BASIC_SET_NO_REDUNDANT); 1394 ISL_F_CLR(bset, ISL_BASIC_SET_NORMALIZED); 1395 ISL_F_CLR(bset, ISL_BASIC_SET_NORMALIZED_DIVS); 1396 ISL_F_CLR(bset, ISL_BASIC_SET_ALL_EQUALITIES); 1398 bset = isl_basic_set_simplify(bset); 1398 bset = isl_basic_set_simplify(bset); 1399 bset = isl_basic_set_finalize(bset); 1399 bset = isl_basic_set_finalize(bset); 1401 return bset; 1405 isl_basic_set_free(bset);