Go to the source code of this file.
Functions | |
| __isl_give isl_vec * | isl_basic_set_sample_vec (__isl_take isl_basic_set *bset) |
| __isl_give isl_vec * | isl_basic_set_sample_with_cone (__isl_take isl_basic_set *bset, __isl_take isl_basic_set *cone) |
| __isl_give isl_basic_set * | isl_basic_set_from_vec (__isl_take isl_vec *vec) |
| int | isl_tab_set_initial_basis_with_cone (struct isl_tab *tab, struct isl_tab *tab_cone) |
| __isl_give isl_vec * | isl_tab_sample (struct isl_tab *tab) |
Function Documentation
◆ isl_basic_set_from_vec()
| __isl_give isl_basic_set * isl_basic_set_from_vec | ( | __isl_take isl_vec * | vec | ) |
Definition at line 1209 of file isl_sample.c.
References __isl_give, __isl_take, isl_ctx::error, isl_assert, isl_basic_set, isl_basic_set_alloc(), isl_basic_set_alloc_equality(), isl_basic_set_dim(), isl_basic_set_free(), isl_dim_set, isl_int_neg, isl_int_set, isl_seq_clr(), and isl_vec_free().
Referenced by add_adjacent_points(), extend_affine_hull(), initialize_hull(), isl_basic_map_sample(), isl_basic_set_from_point(), isl_tab_detect_equalities(), and scan_one().
◆ isl_basic_set_sample_vec()
| __isl_give isl_vec * isl_basic_set_sample_vec | ( | __isl_take isl_basic_set * | bset | ) |
Definition at line 1196 of file isl_sample.c.
References __isl_give, __isl_take, basic_set_sample(), and isl_basic_set.
Referenced by basic_set_sample(), initial_solution(), isl_basic_map_is_empty(), isl_basic_map_sample(), isl_basic_set_sample_point(), main(), and solve_ilp_search().
◆ isl_basic_set_sample_with_cone()
| __isl_give isl_vec * isl_basic_set_sample_with_cone | ( | __isl_take isl_basic_set * | bset, |
| __isl_take isl_basic_set * | cone ) |
Definition at line 946 of file isl_sample.c.
References __isl_give, __isl_take, cone, isl_basic_set, isl_basic_set_copy(), isl_basic_set_dim(), isl_basic_set_drop_constraints_involving(), isl_basic_set_drop_dims(), isl_basic_set_free(), isl_basic_set_get_ctx(), isl_basic_set_preimage(), isl_dim_all, isl_mat_copy(), isl_mat_free(), isl_mat_left_hermite(), isl_mat_lin_to_aff(), isl_mat_sub_alloc6(), isl_mat_vec_product(), isl_vec_copy(), M(), plug_in(), rational_sample(), round_up_in_cone(), sample_bounded(), isl_vec::size, total(), and vec_concat().
Referenced by gbr_get_sample(), and gbr_sample().
◆ isl_tab_sample()
| __isl_give isl_vec * isl_tab_sample | ( | struct isl_tab * | tab | ) |
Definition at line 381 of file isl_sample.c.
References __isl_give, isl_tab::basis, compute_max(), compute_min(), isl_mat::ctx, isl_vec::el, isl_tab::empty, isl_options::gbr, isl_options::gbr_only_first, greedy_search(), init(), initial_basis(), isl_alloc_array, isl_assert, isl_die, isl_error_internal, ISL_GBR_ALWAYS, ISL_GBR_NEVER, ISL_GBR_ONCE, isl_int_add_ui, isl_int_gt, isl_int_is_one, isl_int_lt, isl_int_neg, isl_int_set_si, isl_lp_error, isl_lp_ok, isl_mat_copy(), isl_mat_vec_inverse_product(), isl_mat_vec_product(), isl_tab_add_valid_eq(), isl_tab_compute_reduced_basis(), isl_tab_extend_cons(), isl_tab_get_sample_value(), isl_tab_rollback(), isl_tab_sample_is_integer(), isl_tab_snap(), isl_vec_alloc(), isl_vec_ceil(), isl_vec_free(), isl_tab::mat, isl_mat::n_col, isl_mat::n_row, isl_tab::n_unbounded, isl_tab::n_var, isl_tab::n_zero, isl_ctx::opt, res, and isl_mat::row.
Referenced by gbr_get_sample(), outside_point(), sample_bounded(), and uset_affine_hull_bounded().
◆ isl_tab_set_initial_basis_with_cone()
Definition at line 1088 of file isl_sample.c.
References isl_tab::basis, initial_basis(), isl_mat_concat(), isl_mat_free(), isl_mat_left_hermite(), isl_mat_lin_to_aff(), isl_tab::n_col, isl_tab::n_dead, isl_mat::n_row, isl_tab::n_unbounded, isl_tab::n_var, isl_tab::n_zero, tab_equalities(), and tab_shift_cone().
Referenced by isl_tab_detect_equalities().
Generated on for Polly by
1.14.0