isl_sample.h File Reference

#include <isl/set.h>
#include <isl_tab.h>

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_ctx::error, isl_assert, 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 basic_set_sample().

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 cone, 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_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()

int isl_tab_set_initial_basis_with_cone	(	struct isl_tab *	tab,
		struct isl_tab *	tab_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().