reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
579 if (!delta) 581 n_div = isl_basic_set_dim(delta, isl_dim_div); 582 d = isl_basic_set_dim(delta, isl_dim_set); 583 nparam = isl_basic_set_dim(delta, isl_dim_param); 585 d + 1 + delta->n_eq, delta->n_eq + delta->n_ineq + 1); 585 d + 1 + delta->n_eq, delta->n_eq + delta->n_ineq + 1); 585 d + 1 + delta->n_eq, delta->n_eq + delta->n_ineq + 1); 605 div_purity = get_div_purity(delta); 609 path = add_delta_constraints(path, delta, off, nparam, d, 611 path = add_delta_constraints(path, delta, off, nparam, d, 614 isl_space *dim = isl_basic_set_get_space(delta); 615 delta = isl_basic_set_project_out(delta, 615 delta = isl_basic_set_project_out(delta, 617 delta = isl_basic_set_add_dims(delta, isl_dim_param, nparam); 617 delta = isl_basic_set_add_dims(delta, isl_dim_param, nparam); 618 delta = isl_basic_set_reset_space(delta, dim); 618 delta = isl_basic_set_reset_space(delta, dim); 619 if (!delta) 621 path = isl_basic_map_extend_constraints(path, delta->n_eq, 622 delta->n_ineq + 1); 623 path = add_delta_constraints(path, delta, off, nparam, d, 625 path = add_delta_constraints(path, delta, off, nparam, d, 643 isl_basic_set_free(delta); 653 isl_basic_set_free(delta);