| /netbsd-src/external/mit/isl/dist/ |
| H A D | isl_sample.c | 30 static __isl_give isl_vec *empty_sample(__isl_take isl_basic_set *bset) in empty_sample()
43 static __isl_give isl_vec *zero_sample(__isl_take isl_basic_set *bset) in zero_sample()
63 static __isl_give isl_vec *interval_sample(__isl_take isl_basic_set *bset) in interval_sample()
130 static __isl_give isl_vec *sample_eq(__isl_take isl_basic_set *bset, in sample_eq()
157 struct isl_basic_set *bset; in tab_equalities() local
553 static isl_bool factor_sample(__isl_keep isl_basic_set *bset, void *user) in factor_sample()
581 static __isl_give isl_vec *factored_sample(__isl_take isl_basic_set *bset, in factored_sample()
627 static __isl_give isl_vec *sample_bounded(__isl_take isl_basic_set *bset) in sample_bounded()
700 static __isl_give isl_basic_set *plug_in(__isl_take isl_basic_set *bset, in plug_in()
736 static __isl_give isl_vec *rational_sample(__isl_take isl_basic_set *bset) in rational_sample()
[all …]
|
| H A D | isl_affine_hull.c | 63 __isl_take isl_basic_set *bset) in isl_basic_set_implicit_equalities()
96 static void delete_row(__isl_keep isl_basic_set *bset, unsigned row) in delete_row()
318 __isl_take isl_basic_set *bset) in isl_basic_set_recession_cone()
363 __isl_keep isl_basic_set *bset) in add_adjacent_points()
422 __isl_take isl_basic_set *hull, __isl_keep isl_basic_set *bset) in extend_affine_hull()
478 static __isl_give isl_basic_set *initialize_hull(__isl_keep isl_basic_set *bset, in initialize_hull()
499 __isl_take isl_basic_set *bset) in uset_affine_hull_bounded()
580 struct isl_basic_set *bset = NULL; in initial_hull() local
731 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *cone) in affine_hull_with_cone()
809 __isl_take isl_basic_set *bset) in uset_affine_hull()
[all …]
|
| H A D | isl_farkas.c | 216 isl_basic_set *bset; in rational_universe() local
237 static __isl_give isl_basic_set *farkas(__isl_take isl_basic_set *bset, in farkas()
322 __isl_take isl_basic_set *bset) in isl_basic_set_coefficients_base()
414 static int is_ray(__isl_keep isl_basic_set *bset, int ineq) in is_ray()
426 __isl_keep isl_basic_set *bset, void *user) in isl_basic_set_coefficients_factor()
491 static __isl_give isl_basic_set *add_lines(__isl_take isl_basic_set *bset, in add_lines()
513 static __isl_give isl_basic_set *add_rays(__isl_take isl_basic_set *bset, in add_rays()
602 static __isl_give isl_basic_set *add_vertex(__isl_take isl_basic_set *bset, in add_vertex()
814 __isl_take isl_basic_set *bset) in basic_set_coefficients()
840 __isl_take isl_basic_set *bset) in isl_basic_set_coefficients()
[all …]
|
| H A D | isl_vertices.c | 85 static __isl_give isl_vertices *vertices_from_list(__isl_keep isl_basic_set *bset, in vertices_from_list()
123 __isl_keep isl_basic_set *bset, struct isl_tab *tab) in add_vertex()
169 static __isl_give isl_vertices *vertices_empty(__isl_keep isl_basic_set *bset) in vertices_empty()
194 static __isl_give isl_vertices *vertices_0D(__isl_keep isl_basic_set *bset) in vertices_0D()
268 static isl_bool can_select(__isl_keep isl_basic_set *bset, int level, in can_select()
329 __isl_take isl_basic_set *bset) in lower_dim_vertices()
352 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *copy, in lower_dim_vertices_free()
366 __isl_keep isl_basic_set *bset, struct isl_tab *tab) in detect_implicit_equality_constraints()
421 __isl_keep isl_basic_set *bset) in isl_basic_set_compute_vertices()
572 static isl_bool bset_covers_tab(__isl_keep isl_basic_set *bset, in bset_covers_tab()
[all …]
|
| H A D | isl_ilp.c | 35 __isl_take isl_basic_set *bset) in unit_box_base_points()
85 static __isl_give isl_vec *initial_solution(__isl_keep isl_basic_set *bset, in initial_solution()
108 static __isl_give isl_basic_set *add_bounds(__isl_take isl_basic_set *bset, in add_bounds()
153 static __isl_give isl_vec *solve_ilp_search(__isl_keep isl_basic_set *bset, in solve_ilp_search()
212 static enum isl_lp_result solve_ilp(__isl_keep isl_basic_set *bset, in solve_ilp()
267 static enum isl_lp_result solve_ilp_with_eq(__isl_keep isl_basic_set *bset, in solve_ilp_with_eq()
311 enum isl_lp_result isl_basic_set_solve_ilp(__isl_keep isl_basic_set *bset, in isl_basic_set_solve_ilp()
346 static enum isl_lp_result basic_set_opt(__isl_keep isl_basic_set *bset, int max, in basic_set_opt()
360 enum isl_lp_result isl_basic_set_opt(__isl_keep isl_basic_set *bset, int max, in isl_basic_set_opt()
538 __isl_give isl_val *isl_basic_set_opt_val(__isl_keep isl_basic_set *bset, in isl_basic_set_opt_val()
[all …]
|
| H A D | polytope_scan.c | 52 __isl_take isl_basic_set *bset) in isl_basic_set_scan_samples()
78 static __isl_give isl_mat *isl_basic_set_samples(__isl_take isl_basic_set *bset) in isl_basic_set_samples()
97 struct isl_basic_set *bset; in main() local
|
| H A D | isl_constraint.c | 123 __isl_take isl_basic_set *bset, isl_int **line) in isl_basic_set_constraint()
201 isl_size isl_basic_set_n_constraint(__isl_keep isl_basic_set *bset) in isl_basic_set_n_constraint()
239 isl_stat isl_basic_set_foreach_constraint(__isl_keep isl_basic_set *bset, in isl_basic_set_foreach_constraint()
300 __isl_keep isl_basic_set *bset) in isl_basic_set_get_constraint_list()
346 __isl_take isl_basic_set *bset, __isl_take isl_constraint *constraint) in isl_basic_set_add_constraint()
796 __isl_keep isl_basic_set *bset, enum isl_dim_type type, int pos, in isl_basic_set_has_defining_equality()
804 struct isl_basic_set *bset, enum isl_dim_type type, int pos, in isl_basic_set_has_defining_inequalities()
870 __isl_take isl_basic_set *bset, isl_int *a, isl_int *b, in add_larger_bound_constraint()
909 __isl_keep isl_basic_set *bset, unsigned abs_pos, int n_upper, int u) in set_smallest_upper_bound()
939 __isl_keep isl_basic_set *bset, unsigned abs_pos, int n_lower, int l) in set_largest_lower_bound()
[all …]
|
| H A D | isl_factorization.c | 31 __isl_keep isl_basic_set *bset, __isl_take isl_morph *morph, in isl_factorizer_alloc()
91 __isl_give isl_factorizer *isl_factorizer_identity(__isl_keep isl_basic_set *bset) in isl_factorizer_identity()
96 __isl_give isl_factorizer *isl_factorizer_groups(__isl_keep isl_basic_set *bset, in isl_factorizer_groups()
269 __isl_keep isl_basic_set *bset) in isl_basic_set_factorizer()
348 isl_bool (*test)(__isl_keep isl_basic_set *bset, void *user), in isl_factorizer_every_factor_basic_set()
354 isl_basic_set *bset; in isl_factorizer_every_factor_basic_set() local
|
| H A D | isl_lp.c | 79 enum isl_lp_result isl_basic_set_solve_lp(__isl_keep isl_basic_set *bset, in isl_basic_set_solve_lp()
218 __isl_keep isl_basic_set *bset, int max, __isl_keep isl_aff *obj) in basic_set_opt_lp()
257 __isl_keep isl_basic_set *bset, int max, __isl_keep isl_aff *obj) in isl_basic_set_opt_lp_val_aligned()
324 __isl_keep isl_basic_set *bset, int max, __isl_keep isl_aff *obj) in isl_basic_set_opt_lp_val()
356 __isl_give isl_val *isl_basic_set_min_lp_val(__isl_keep isl_basic_set *bset, in isl_basic_set_min_lp_val()
367 __isl_give isl_val *isl_basic_set_max_lp_val(__isl_keep isl_basic_set *bset, in isl_basic_set_max_lp_val()
|
| H A D | isl_bound.c | 25 __isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, in isl_qpolynomial_cst_bound()
65 static isl_stat add_constant_poly(__isl_take isl_basic_set *bset, in add_constant_poly()
85 static isl_stat compressed_guarded_poly_bound(__isl_take isl_basic_set *bset, in compressed_guarded_poly_bound()
119 static isl_stat unwrapped_guarded_poly_bound(__isl_take isl_basic_set *bset, in unwrapped_guarded_poly_bound()
193 static isl_stat guarded_poly_bound(__isl_take isl_basic_set *bset, in guarded_poly_bound()
260 static isl_stat basic_guarded_fold(__isl_take isl_basic_set *bset, void *user) in basic_guarded_fold()
|
| H A D | isl_range.c | 29 static isl_bool has_sign(__isl_keep isl_basic_set *bset, in has_sign()
96 static int monotonicity(__isl_keep isl_basic_set *bset, in monotonicity()
268 static isl_stat add_guarded_poly(__isl_take isl_basic_set *bset, in add_guarded_poly()
353 __isl_take isl_constraint *upper, __isl_take isl_basic_set *bset, in propagate_on_bound_pair()
423 static isl_stat propagate_on_domain(__isl_take isl_basic_set *bset, in propagate_on_domain()
472 static isl_stat basic_guarded_poly_bound(__isl_take isl_basic_set *bset, in basic_guarded_poly_bound()
509 __isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, in qpolynomial_bound_on_domain_range()
542 isl_stat isl_qpolynomial_bound_on_domain_range(__isl_take isl_basic_set *bset, in isl_qpolynomial_bound_on_domain_range()
|
| H A D | pip.c | 107 static __isl_give isl_basic_set *move_parameters(__isl_take isl_basic_set *bset, in move_parameters()
132 __isl_take isl_basic_set *bset, __isl_take isl_vec *params) in plug_in_parameters()
179 static __isl_give isl_vec *opt_at(__isl_take isl_basic_set *bset, in opt_at()
242 isl_basic_set *bset; member
293 static void check_solution(isl_basic_set *bset, isl_basic_set *context, in check_solution()
338 struct isl_basic_set *context, *bset, *copy, *context_copy; in main() local
|
| H A D | isl_morph.c | 384 __isl_give isl_morph *isl_morph_identity(__isl_keep isl_basic_set *bset) in isl_morph_identity()
404 __isl_give isl_morph *isl_morph_empty(__isl_keep isl_basic_set *bset) in isl_morph_empty()
424 static __isl_give isl_basic_set *copy_equalities(__isl_keep isl_basic_set *bset, in copy_equalities()
477 __isl_keep isl_basic_set *bset, enum isl_dim_type type) in isl_basic_set_variable_compression()
543 __isl_keep isl_basic_set *bset, __isl_keep isl_id *id) in isl_basic_set_variable_compression_with_id()
569 __isl_keep isl_basic_set *bset) in isl_basic_set_parameter_compression()
646 __isl_take isl_basic_set *bset) in isl_morph_basic_set()
745 isl_basic_set *bset; in isl_morph_inverse() local
771 __isl_keep isl_basic_set *bset) in isl_basic_set_full_compression()
|
| H A D | isl_map.c | 62 __isl_keep const isl_basic_set *bset) in const_bset_to_bmap()
167 isl_size isl_basic_set_var_offset(__isl_keep isl_basic_set *bset, in isl_basic_set_var_offset()
189 unsigned isl_basic_set_offset(__isl_keep isl_basic_set *bset, in isl_basic_set_offset()
200 isl_size isl_basic_set_dim(__isl_keep isl_basic_set *bset, in isl_basic_set_dim()
206 isl_size isl_basic_set_n_dim(__isl_keep isl_basic_set *bset) in isl_basic_set_n_dim()
211 isl_size isl_basic_set_n_param(__isl_keep isl_basic_set *bset) in isl_basic_set_n_param()
216 isl_size isl_basic_set_total_dim(__isl_keep const isl_basic_set *bset) in isl_basic_set_total_dim()
256 isl_size isl_basic_set_n_equality(__isl_keep isl_basic_set *bset) in isl_basic_set_n_equality()
274 isl_size isl_basic_set_n_inequality(__isl_keep isl_basic_set *bset) in isl_basic_set_n_inequality()
314 enum isl_dim_type type, __isl_keep isl_basic_set *bset) in isl_basic_map_set_tuple_is_equal()
[all …]
|
| H A D | isl_scan.c | 68 static isl_stat scan_0D(__isl_take isl_basic_set *bset, in scan_0D()
102 isl_stat isl_basic_set_scan(__isl_take isl_basic_set *bset, in isl_basic_set_scan()
251 int isl_basic_set_count_upto(__isl_keep isl_basic_set *bset, in isl_basic_set_count_upto()
|
| H A D | bset_to_bmap.c | 7 static __isl_give isl_basic_map *bset_to_bmap(__isl_take isl_basic_set *bset) in bset_to_bmap()
|
| H A D | isl_equalities.c | 635 __isl_take isl_basic_set *bset, __isl_give isl_mat **T, in return_with_identity()
665 __isl_take isl_basic_set *bset, in compress_variables()
709 __isl_take isl_basic_set *bset, __isl_give isl_mat **T, in isl_basic_set_remove_equalities()
734 isl_stat isl_basic_set_dim_residue_class(__isl_keep isl_basic_set *bset, in isl_basic_set_dim_residue_class()
|
| H A D | isl_map_simplify.c | 108 __isl_take isl_basic_set *bset) in isl_basic_set_normalize_constraints()
668 __isl_take isl_basic_set *bset, int *progress) in isl_basic_set_gauss()
764 __isl_keep isl_basic_set *bset, int k) in set_hash_index()
772 __isl_keep isl_basic_set *bset) in setup_constraint_index()
1549 __isl_take isl_basic_set *bset) in isl_basic_set_simplify()
1686 __isl_take isl_basic_set *bset) in isl_basic_set_finalize()
1814 __isl_take isl_basic_set *bset, unsigned pos, unsigned n) in isl_basic_set_eliminate_vars()
1853 __isl_take isl_basic_set *bset, in isl_basic_set_eliminate()
1910 __isl_take isl_basic_set *bset) in isl_basic_set_drop_constraints_involving_unknown_divs()
1975 static void set_compute_elimination_index(__isl_keep isl_basic_set *bset, in set_compute_elimination_index()
[all …]
|
| H A D | polyhedron_detect_equalities.c | 15 struct isl_basic_set *bset; in main() local
|
| H A D | polyhedron_sample.c | 18 struct isl_basic_set *bset; in main() local
|
| H A D | polyhedron_remove_redundant_equalities.c | 24 isl_basic_set *bset; in main() local
|
| H A D | isl_bernstein.c | 369 __isl_take isl_basic_set *bset, in bernstein_coefficients_base()
469 __isl_take isl_basic_set *bset, in bernstein_coefficients_factors()
503 __isl_take isl_basic_set *bset, in bernstein_coefficients_full_recursive()
551 __isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, in isl_qpolynomial_bound_on_domain_bernstein()
|
| H A D | isl_factorization.h | 18 isl_basic_set *bset; member
|
| H A D | isl_convex_hull.c | 93 __isl_take isl_basic_set *bset) in isl_basic_set_remove_redundancies()
648 struct isl_basic_set *bset = set->p[i]; in convex_hull_1d() local
748 struct isl_basic_set *bset[2]; in convex_hull_pair_elim() local
810 isl_bool isl_basic_set_is_bounded(__isl_keep isl_basic_set *bset) in isl_basic_set_is_bounded()
1141 static __isl_give isl_basic_set *homogeneous_map(__isl_take isl_basic_set *bset, in homogeneous_map()
1348 __isl_take isl_basic_set *bset) in isl_basic_set_lineality_space()
1592 static isl_bool has_facets(__isl_keep isl_basic_set *bset) in has_facets()
1932 struct isl_basic_set *bset; in isl_map_convex_hull() local
2064 __isl_keep isl_basic_set *bset) in hash_basic_set()
2307 static __isl_give isl_basic_set *add_bounds(__isl_take isl_basic_set *bset, in add_bounds()
[all …]
|
| /netbsd-src/external/bsd/nsd/dist/ |
| H A D | bitset.c | 24 void nsd_bitset_zero(struct nsd_bitset *bset) in nsd_bitset_zero()
35 void nsd_bitset_init(struct nsd_bitset *bset, size_t bits) in nsd_bitset_init()
45 int nsd_bitset_isset(struct nsd_bitset *bset, size_t bit) in nsd_bitset_isset()
54 void nsd_bitset_set(struct nsd_bitset *bset, size_t bit) in nsd_bitset_set()
61 void nsd_bitset_unset(struct nsd_bitset *bset, size_t bit) in nsd_bitset_unset()
|