Home
last modified time | relevance | path

Searched refs:isl_basic_set_dim (Results 1 – 25 of 31) sorted by relevance

12

/netbsd-src/external/mit/isl/dist/
H A Disl_morph.c239 return isl_basic_set_dim(morph->dom, type); in isl_morph_dom_dim()
247 return isl_basic_set_dim(morph->ran, type); in isl_morph_ran_dim()
317 n = isl_basic_set_dim(morph->dom, isl_dim_set); in isl_morph_dom_params()
340 n = isl_basic_set_dim(morph->ran, isl_dim_set); in isl_morph_ran_params()
390 total = isl_basic_set_dim(bset, isl_dim_all); in isl_morph_identity()
410 total = isl_basic_set_dim(bset, isl_dim_all); in isl_morph_empty()
431 total = isl_basic_set_dim(bset, isl_dim_all); in copy_equalities()
498 ntype = isl_basic_set_dim(bset, type); in isl_basic_set_variable_compression()
499 total = isl_basic_set_dim(bset, isl_dim_all); in isl_basic_set_variable_compression()
588 nparam = isl_basic_set_dim(bset, isl_dim_param); in isl_basic_set_parameter_compression()
[all …]
H A Disl_range.c39 nparam = isl_basic_set_dim(bset, isl_dim_param); in has_sign()
107 nvar = isl_basic_set_dim(bset, isl_dim_set); in monotonicity()
362 nvar = isl_basic_set_dim(bset, isl_dim_set); in propagate_on_bound_pair()
363 nparam = isl_basic_set_dim(bset, isl_dim_param); in propagate_on_bound_pair()
432 d = isl_basic_set_dim(bset, isl_dim_set); in propagate_on_domain()
477 isl_size nparam = isl_basic_set_dim(bset, isl_dim_param); in basic_guarded_poly_bound()
478 isl_size dim = isl_basic_set_dim(bset, isl_dim_set); in basic_guarded_poly_bound()
479 isl_size total = isl_basic_set_dim(bset, isl_dim_all); in basic_guarded_poly_bound()
512 isl_size nparam = isl_basic_set_dim(bset, isl_dim_param); in qpolynomial_bound_on_domain_range()
513 isl_size nvar = isl_basic_set_dim(bset, isl_dim_set); in qpolynomial_bound_on_domain_range()
H A Dpip.c72 nparam = isl_basic_set_dim(bset, isl_dim_param); in ISL_ARGS_START()
95 dim = isl_basic_set_dim(context, isl_dim_set); in to_parameter_domain()
112 nparam = isl_basic_set_dim(context, isl_dim_param); in move_parameters()
113 nparam_bset = isl_basic_set_dim(bset, isl_dim_param); in move_parameters()
118 dim = isl_basic_set_dim(bset, isl_dim_set); in move_parameters()
137 n = isl_basic_set_dim(bset, isl_dim_param); in plug_in_parameters()
188 dim = isl_basic_set_dim(bset, isl_dim_set); in opt_at()
H A Disl_bernstein.c47 nvar = isl_basic_set_dim(vertex, isl_dim_set); in vertex_is_integral()
48 nparam = isl_basic_set_dim(vertex, isl_dim_param); in vertex_is_integral()
73 nvar = isl_basic_set_dim(vertex, isl_dim_set); in vertex_coordinate()
74 nparam = isl_basic_set_dim(vertex, isl_dim_param); in vertex_coordinate()
75 total = isl_basic_set_dim(vertex, isl_dim_all); in vertex_coordinate()
379 nvar = isl_basic_set_dim(bset, isl_dim_set); in bernstein_coefficients_base()
514 nvar = isl_basic_set_dim(bset, isl_dim_set); in bernstein_coefficients_full_recursive()
560 nvar = isl_basic_set_dim(bset, isl_dim_set); in isl_qpolynomial_bound_on_domain_bernstein()
H A Disl_sample.c48 dim = isl_basic_set_dim(bset, isl_dim_all); in zero_sample()
559 n = isl_basic_set_dim(bset, isl_dim_set); in factor_sample()
590 total = isl_basic_set_dim(bset, isl_dim_all); in factored_sample()
640 dim = isl_basic_set_dim(bset, isl_dim_all); in sample_bounded()
707 total = isl_basic_set_dim(bset, isl_dim_all); in plug_in()
794 total = isl_basic_set_dim(cone, isl_dim_all); in shift_cone()
858 total = isl_basic_set_dim(cone, isl_dim_all); in round_up_in_cone()
957 total = isl_basic_set_dim(cone, isl_dim_all); in isl_basic_set_sample_with_cone()
1135 dim = isl_basic_set_dim(bset, isl_dim_all); in gbr_sample()
1163 dim = isl_basic_set_dim(bset, isl_dim_set); in basic_set_sample()
[all …]
H A Disl_affine_hull.c126 total = isl_basic_set_dim(bset1, isl_dim_set); in construct_column()
172 total = isl_basic_set_dim(bset1, isl_dim_set); in transform_column()
210 dim = isl_basic_set_dim(bset1, isl_dim_set); in affine_hull()
368 dim = isl_basic_set_dim(hull, isl_dim_set); in add_adjacent_points()
509 dim = isl_basic_set_dim(bset, isl_dim_set); in uset_affine_hull_bounded()
590 dim = isl_basic_set_dim(bset, isl_dim_set); in initial_hull()
738 total = isl_basic_set_dim(cone, isl_dim_all); in affine_hull_with_cone()
828 total = isl_basic_set_dim(cone, isl_dim_all); in uset_affine_hull()
929 total = isl_basic_set_dim(hull, isl_dim_all); in isl_basic_map_detect_equalities()
H A Disl_factorization.c108 nvar = isl_basic_set_dim(bset, isl_dim_set); in isl_factorizer_groups()
277 nvar = isl_basic_set_dim(bset, isl_dim_set); in isl_basic_set_factorizer()
358 nparam = isl_basic_set_dim(f->bset, isl_dim_param); in isl_factorizer_every_factor_basic_set()
359 nvar = isl_basic_set_dim(f->bset, isl_dim_set); in isl_factorizer_every_factor_basic_set()
H A Disl_convex_hull.c219 lp_dim = isl_basic_set_dim(lp, isl_dim_set); in wrap_constraints()
752 dim = isl_basic_set_dim(bset1, isl_dim_set); in convex_hull_pair_elim()
878 dim = isl_basic_set_dim(bset1, isl_dim_all); in induced_lineality_space()
952 isl_size total = isl_basic_set_dim(lin, isl_dim_all); in modulo_lineality()
1003 total = isl_basic_set_dim(bset1, isl_dim_all); in valid_direction_lp()
1097 d = isl_basic_set_dim(bset1, isl_dim_all); in valid_direction()
1147 total = isl_basic_set_dim(bset, isl_dim_all); in homogeneous_map()
1321 total = isl_basic_set_dim(lin, isl_dim_all); in convex_hull_pair()
1354 n_div = isl_basic_set_dim(bset, isl_dim_div); in isl_basic_set_lineality_space()
1355 dim = isl_basic_set_dim(bset, isl_dim_all); in isl_basic_set_lineality_space()
[all …]
H A Disl_ilp.c50 total = isl_basic_set_dim(bset, isl_dim_all); in unit_box_base_points()
114 total = isl_basic_set_dim(bset, isl_dim_all); in add_bounds()
276 dim = isl_basic_set_dim(bset, isl_dim_all); in solve_ilp_with_eq()
329 dim = isl_basic_set_dim(bset, isl_dim_all); in isl_basic_set_solve_ilp()
383 bset_n_div = isl_basic_set_dim(bset, isl_dim_div); in isl_basic_set_opt()
H A Disl_tab_lexopt_templ.c112 n_div = isl_basic_set_dim(dom, isl_dim_div); in SF()
220 if (isl_basic_set_dim(dom, isl_dim_all) == 0) in SF()
H A Disl_transitive_closure.c308 n_div = isl_basic_set_dim(bset, isl_dim_div); in parametric_constant_never_positive()
309 d = isl_basic_set_dim(bset, isl_dim_set); in parametric_constant_never_positive()
310 nparam = isl_basic_set_dim(bset, isl_dim_param); in parametric_constant_never_positive()
311 total = isl_basic_set_dim(bset, isl_dim_all); in parametric_constant_never_positive()
356 n_div = isl_basic_set_dim(bset, isl_dim_div); in purity()
357 d = isl_basic_set_dim(bset, isl_dim_set); in purity()
358 nparam = isl_basic_set_dim(bset, isl_dim_param); in purity()
400 n_div = isl_basic_set_dim(bset, isl_dim_div); in get_div_purity()
401 d = isl_basic_set_dim(bset, isl_dim_set); in get_div_purity()
402 nparam = isl_basic_set_dim(bset, isl_dim_param); in get_div_purity()
[all …]
H A Disl_vertices.c131 nvar = isl_basic_set_dim(bset, isl_dim_set); in add_vertex()
450 nvar = isl_basic_set_dim(bset, isl_dim_set); in isl_basic_set_compute_vertices()
1186 total = isl_basic_set_dim(bset, isl_dim_all); in tab_for_shifted_cone()
1537 d = isl_basic_set_dim(cell->vertices->bset, isl_dim_set); in triangulate()
1538 nparam = isl_basic_set_dim(cell->vertices->bset, isl_dim_param); in triangulate()
1595 d = isl_basic_set_dim(cell->vertices->bset, isl_dim_set); in isl_cell_foreach_simplex()
1596 total = isl_basic_set_dim(cell->vertices->bset, isl_dim_all); in isl_cell_foreach_simplex()
H A Disl_equalities.c641 dim = isl_basic_set_dim(bset, isl_dim_set); in return_with_identity()
678 dim = isl_basic_set_dim(bset, isl_dim_set); in compress_variables()
755 total = isl_basic_set_dim(bset, isl_dim_all); in isl_basic_set_dim_residue_class()
756 nparam = isl_basic_set_dim(bset, isl_dim_param); in isl_basic_set_dim_residue_class()
H A Dpolytope_scan.c59 dim = isl_basic_set_dim(bset, isl_dim_all); in isl_basic_set_scan_samples()
H A Dpolyhedron_minimize.c70 dim = isl_basic_set_dim(bset, isl_dim_all); in main()
H A Disl_farkas.c246 total = isl_basic_set_dim(bset, isl_dim_all); in farkas()
438 dim = isl_basic_set_dim(bset, isl_dim_set); in isl_basic_set_coefficients_factor()
819 nparam = isl_basic_set_dim(bset, isl_dim_param); in basic_set_coefficients()
H A Disl_scan.c115 dim = isl_basic_set_dim(bset, isl_dim_all); in isl_basic_set_scan()
H A Disl_map.c200 isl_size isl_basic_set_dim(__isl_keep isl_basic_set *bset, in isl_basic_set_dim() function
208 return isl_basic_set_dim(bset, isl_dim_set); in isl_basic_set_n_dim()
213 return isl_basic_set_dim(bset, isl_dim_param); in isl_basic_set_n_param()
1081 nparam = isl_basic_set_dim(bset, isl_dim_param); in isl_basic_set_eq_is_stride()
1082 d = isl_basic_set_dim(bset, isl_dim_set); in isl_basic_set_eq_is_stride()
1083 n_div = isl_basic_set_dim(bset, isl_dim_div); in isl_basic_set_eq_is_stride()
1538 nparam = isl_basic_set_dim(bset, isl_dim_param); in isl_basic_set_check_no_params()
1554 n_div = isl_basic_set_dim(bset, isl_dim_div); in isl_basic_set_check_no_locals()
3001 n = isl_basic_set_dim(bset, isl_dim_div); in isl_basic_set_involves_locals()
3588 dim = isl_basic_set_dim(bset, isl_dim_set); in isl_basic_map_intersect_domain()
[all …]
H A Dbasis_reduction_templ.c333 isl_size nvar = isl_basic_set_dim(bset, isl_dim_all); in isl_basic_set_reduced_basis()
H A Disl_lp.c275 bset_n_div = isl_basic_set_dim(bset, isl_dim_div); in isl_basic_set_opt_lp_val_aligned()
H A Disl_scheduler.c593 n = isl_basic_set_dim(bset, isl_dim_set); in has_any_defining_equality()
1803 total = isl_basic_set_dim(graph->lp, isl_dim_all); in intra_dim_map()
1843 total = isl_basic_set_dim(graph->lp, isl_dim_all); in inter_dim_map()
2487 total = isl_basic_set_dim(graph->lp, isl_dim_set); in add_bound_constant_constraints()
2565 total = isl_basic_set_dim(graph->lp, isl_dim_set); in node_add_coefficient_constraints()
2657 total = isl_basic_set_dim(graph->lp, isl_dim_set); in add_sum_constraint()
2681 total = isl_basic_set_dim(graph->lp, isl_dim_set); in add_param_sum_constraint()
2709 total = isl_basic_set_dim(graph->lp, isl_dim_set); in add_var_sum_constraint()
4822 dim = isl_basic_set_dim(hull, isl_dim_set); in add_lineality()
H A Disl_map_simplify.c2024 dim = isl_basic_set_dim(bset, isl_dim_set); in isl_basic_set_reduce_using_equalities()
2263 dim = isl_basic_set_dim(context, isl_dim_set); in alloc_groups()
2345 dim = isl_basic_set_dim(bset, isl_dim_set); in drop_irrelevant_constraints()
2392 dim = isl_basic_set_dim(context, isl_dim_set); in drop_irrelevant_constraints_marked()
2633 total = isl_basic_set_dim(bset, isl_dim_all); in extract_ineq()
2763 n = isl_basic_set_dim(template, isl_dim_set); in project_onto_involved()
2816 total = isl_basic_set_dim(bset, isl_dim_all); in uset_gist()
H A Disl_constraint.c817 total = isl_basic_set_dim(bset, isl_dim_all); in isl_basic_set_has_defining_inequalities()
877 total = isl_basic_set_dim(bset, isl_dim_all); in add_larger_bound_constraint()
H A Disl_tab_pip.c362 n_div = isl_basic_set_dim(dom, isl_dim_div); in sol_push_sol_mat()
1042 total = isl_basic_set_dim(bset, isl_dim_all); in ineq_for_div()
2346 dom_total = isl_basic_set_dim(dom, isl_dim_all); in tab_for_lexmin()
2948 isl_size dim = isl_basic_set_dim(bset, isl_dim_all); in gbr_init_shifted()
3690 n_div = isl_basic_set_dim(dom, isl_dim_div); in isl_context_alloc()
/netbsd-src/external/mit/isl/dist/include/isl/
H A Dset.h32 isl_size isl_basic_set_dim(__isl_keep isl_basic_set *bset,

12