reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
742 isl_basic_set_free(graph->lp); 1821 if (!node || !graph->lp) 1824 total = isl_basic_set_total_dim(graph->lp); 1861 if (!src || !dst || !graph->lp) 1864 total = isl_basic_set_total_dim(graph->lp); 1937 graph->lp = add_constraints_dim_map(graph->lp, coef, dim_map); 1937 graph->lp = add_constraints_dim_map(graph->lp, coef, dim_map); 1966 if (!graph->lp) 1980 edge->start = graph->lp->n_ineq; 1981 graph->lp = add_constraints_dim_map(graph->lp, coef, dim_map); 1981 graph->lp = add_constraints_dim_map(graph->lp, coef, dim_map); 1982 if (!graph->lp) 1984 edge->end = graph->lp->n_ineq; 2057 graph->lp = add_constraints_dim_map(graph->lp, coef, dim_map); 2057 graph->lp = add_constraints_dim_map(graph->lp, coef, dim_map); 2137 graph->lp = add_constraints_dim_map(graph->lp, coef, dim_map); 2137 graph->lp = add_constraints_dim_map(graph->lp, coef, dim_map); 2482 total = isl_basic_set_dim(graph->lp, isl_dim_set); 2488 k = isl_basic_set_alloc_inequality(graph->lp); 2491 isl_seq_clr(graph->lp->ineq[k], 1 + total); 2493 isl_int_set_si(graph->lp->ineq[k][1 + pos], -1); 2494 isl_int_set_si(graph->lp->ineq[k][0], max); 2558 total = isl_basic_set_dim(graph->lp, isl_dim_set); 2566 k = isl_basic_set_alloc_inequality(graph->lp); 2570 isl_seq_clr(graph->lp->ineq[k], 1 + total); 2571 isl_int_set_si(graph->lp->ineq[k][dim], -1); 2572 isl_int_set_si(graph->lp->ineq[k][0], max); 2589 k = isl_basic_set_alloc_inequality(graph->lp); 2592 isl_seq_cpy(graph->lp->ineq[k], ineq->el, 1 + total); 2595 k = isl_basic_set_alloc_inequality(graph->lp); 2598 isl_seq_cpy(graph->lp->ineq[k], ineq->el, 1 + total); 2648 total = isl_basic_set_dim(graph->lp, isl_dim_set); 2650 k = isl_basic_set_alloc_equality(graph->lp); 2653 isl_seq_clr(graph->lp->eq[k], 1 + total); 2654 isl_int_set_si(graph->lp->eq[k][1 + sum_pos], -1); 2656 isl_int_set_si(graph->lp->eq[k][1 + first + i], 1); 2670 total = isl_basic_set_dim(graph->lp, isl_dim_set); 2672 k = isl_basic_set_alloc_equality(graph->lp); 2675 isl_seq_clr(graph->lp->eq[k], 1 + total); 2676 isl_int_set_si(graph->lp->eq[k][1 + sum_pos], -1); 2681 isl_int_set_si(graph->lp->eq[k][pos + j], 1); 2696 total = isl_basic_set_dim(graph->lp, isl_dim_set); 2698 k = isl_basic_set_alloc_equality(graph->lp); 2701 isl_seq_clr(graph->lp->eq[k], 1 + total); 2702 isl_int_set_si(graph->lp->eq[k][1 + sum_pos], -1); 2708 isl_int_set_si(graph->lp->eq[k][pos + j], 1); 2775 isl_basic_set_free(graph->lp); 2778 graph->lp = isl_basic_set_alloc_space(space, 0, n_eq, n_ineq); 2812 con -= graph->lp->n_eq; 2814 if (con >= graph->lp->n_ineq) 2905 lp = isl_basic_set_copy(graph->lp); 3876 graph->lp = add_constraints_dim_map(graph->lp, coef, dim_map); 3876 graph->lp = add_constraints_dim_map(graph->lp, coef, dim_map); 3921 graph->lp = add_constraints_dim_map(graph->lp, coef, dim_map); 3921 graph->lp = add_constraints_dim_map(graph->lp, coef, dim_map); 4198 isl_basic_set_free(graph->lp); 4201 graph->lp = isl_basic_set_alloc_space(dim, 0, n_eq, n_ineq); 4202 graph->lp = isl_basic_set_set_rational(graph->lp); 4202 graph->lp = isl_basic_set_set_rational(graph->lp); 4204 k = isl_basic_set_alloc_equality(graph->lp); 4207 isl_seq_clr(graph->lp->eq[k], 1 + total); 4208 isl_int_set_si(graph->lp->eq[k][0], -n_edge); 4209 isl_int_set_si(graph->lp->eq[k][1], 1); 4211 isl_int_set_si(graph->lp->eq[k][4 + i], 1); 4219 k = isl_basic_set_alloc_inequality(graph->lp); 4222 isl_seq_clr(graph->lp->ineq[k], 1 + total); 4223 isl_int_set_si(graph->lp->ineq[k][4 + i], -1); 4224 isl_int_set_si(graph->lp->ineq[k][0], 1); 5057 lp = isl_basic_set_copy(graph->lp);