isl_affine_hull.c File Reference

#include <isl_ctx_private.h>
#include <isl_map_private.h>
#include <isl_seq.h>
#include <isl/set.h>
#include <isl/lp.h>
#include <isl/map.h>
#include "isl_equalities.h"
#include "isl_sample.h"
#include "isl_tab.h"
#include <isl_mat_private.h>
#include <isl_vec_private.h>
#include <bset_to_bmap.c>
#include <bset_from_bmap.c>
#include <set_to_map.c>
#include <set_from_map.c>

Go to the source code of this file.

Functions
__isl_give isl_basic_map *	isl_basic_map_implicit_equalities (__isl_take isl_basic_map *bmap)
__isl_give isl_basic_set *	isl_basic_set_implicit_equalities (__isl_take isl_basic_set *bset)
static void	set_common_multiple (struct isl_basic_set *bset1, struct isl_basic_set *bset2, unsigned row, unsigned col)
static void	delete_row (__isl_keep isl_basic_set *bset, unsigned row)
static isl_stat	construct_column (__isl_keep isl_basic_set *bset1, __isl_keep isl_basic_set *bset2, unsigned row, unsigned col)
static isl_bool	transform_column (__isl_keep isl_basic_set *bset1, __isl_keep isl_basic_set *bset2, unsigned row, unsigned col)
static __isl_give isl_basic_set *	affine_hull (__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)
static __isl_give isl_vec *	outside_point (struct isl_tab *tab, isl_int *eq, int up)
__isl_give isl_basic_set *	isl_basic_set_recession_cone (__isl_take isl_basic_set *bset)
static void	adjacent_point (__isl_keep isl_vec *sample, int pos, int up)
static __isl_give isl_basic_set *	add_adjacent_points (__isl_take isl_basic_set *hull, __isl_take isl_vec *sample, __isl_keep isl_basic_set *bset)
static __isl_give isl_basic_set *	extend_affine_hull (struct isl_tab *tab, __isl_take isl_basic_set *hull, __isl_keep isl_basic_set *bset)
static __isl_give isl_basic_set *	initialize_hull (__isl_keep isl_basic_set *bset, __isl_take isl_vec *sample)
static __isl_give isl_basic_set *	uset_affine_hull_bounded (__isl_take isl_basic_set *bset)
static __isl_give isl_basic_set *	initial_hull (struct isl_tab *tab, __isl_take isl_vec *vec)
struct isl_tab *	isl_tab_detect_equalities (struct isl_tab *tab, struct isl_tab *tab_cone)
static __isl_give isl_basic_set *	affine_hull_with_cone (__isl_take isl_basic_set *bset, __isl_take isl_basic_set *cone)
static __isl_give isl_basic_set *	uset_affine_hull (__isl_take isl_basic_set *bset)
static __isl_give isl_basic_set *	equalities_in_underlying_set (__isl_take isl_basic_map *bmap)
__isl_give isl_basic_map *	isl_basic_map_detect_equalities (__isl_take isl_basic_map *bmap)
__isl_give isl_basic_set *	isl_basic_set_detect_equalities (__isl_take isl_basic_set *bset)
__isl_give isl_map *	isl_map_detect_equalities (__isl_take isl_map *map)
__isl_give isl_set *	isl_set_detect_equalities (__isl_take isl_set *set)
__isl_give isl_basic_map *	isl_basic_map_plain_affine_hull (__isl_take isl_basic_map *bmap)
__isl_give isl_basic_set *	isl_basic_set_plain_affine_hull (__isl_take isl_basic_set *bset)
__isl_give isl_basic_map *	isl_basic_map_affine_hull (__isl_take isl_basic_map *bmap)
__isl_give isl_basic_set *	isl_basic_set_affine_hull (__isl_take isl_basic_set *bset)
static __isl_give isl_basic_map *	add_strides (__isl_take isl_basic_map *bmap, __isl_keep isl_mat *M, int n_known)
static __isl_give isl_basic_map *	isl_basic_map_make_strides_explicit (__isl_take isl_basic_map *bmap)
static __isl_give isl_map *	isl_map_local_affine_hull (__isl_take isl_map *map)
static __isl_give isl_set *	isl_set_local_affine_hull (__isl_take isl_set *set)
static __isl_give isl_basic_map *	replace_map_by_empty_basic_map (__isl_take isl_map *map)
__isl_give isl_basic_map *	isl_map_affine_hull (__isl_take isl_map *map)
__isl_give isl_basic_set *	isl_set_affine_hull (__isl_take isl_set *set)

Function Documentation

add_adjacent_points()

__isl_give isl_basic_set * add_adjacent_points ( __isl_take isl_basic_set * hull, __isl_take isl_vec * sample, __isl_keep isl_basic_set * bset )

static

Definition at line 361 of file isl_affine_hull.c.

References __isl_give, __isl_keep, __isl_take, adjacent_point(), affine_hull(), contains(), hull, isl_basic_set, isl_basic_set_contains(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_from_vec(), isl_dim_set, isl_vec_copy(), isl_vec_free(), and point.

Referenced by extend_affine_hull(), and initialize_hull().

add_strides()

__isl_give isl_basic_map * add_strides ( __isl_take isl_basic_map * bmap, __isl_keep isl_mat * M, int n_known )

static

Definition at line 1026 of file isl_affine_hull.c.

References __isl_give, __isl_keep, __isl_take, gcd(), isl_basic_map_alloc_div(), isl_basic_map_alloc_equality(), isl_basic_map_extend(), isl_basic_map_free(), isl_int_clear, isl_int_init, isl_int_is_divisible_by, isl_int_is_one, isl_int_set, isl_int_set_si, isl_seq_clr(), isl_seq_cpy(), isl_seq_gcd(), and M().

Referenced by isl_basic_map_make_strides_explicit().

adjacent_point()

void adjacent_point ( __isl_keep isl_vec * sample, int pos, int up )

static

Definition at line 346 of file isl_affine_hull.c.

References __isl_keep, isl_int_add_ui, isl_int_sub_ui, and pos().

Referenced by add_adjacent_points().

affine_hull()

__isl_give isl_basic_set * affine_hull ( __isl_take isl_basic_set * bset1, __isl_take isl_basic_set * bset2 )

static

Definition at line 202 of file isl_affine_hull.c.

References __isl_give, __isl_take, construct_column(), isl_assert, isl_basic_set, isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_normalize_constraints(), isl_dim_set, isl_int_is_zero, set_common_multiple(), total(), transform(), and transform_column().

Referenced by add_adjacent_points(), extend_affine_hull(), isl_map_affine_hull(), isl_map_convex_hull(), isl_tab_detect_equalities(), map_simple_hull(), and modulo_affine_hull().

affine_hull_with_cone()

__isl_give isl_basic_set * affine_hull_with_cone ( __isl_take isl_basic_set * bset, __isl_take isl_basic_set * cone )

static

Definition at line 730 of file isl_affine_hull.c.

References __isl_give, __isl_take, cone, hull, isl_basic_set, isl_basic_set_dim(), isl_basic_set_drop_constraints_involving(), isl_basic_set_drop_dims(), isl_basic_set_free(), isl_basic_set_preimage(), isl_dim_all, isl_mat_copy(), isl_mat_drop_cols(), isl_mat_drop_rows(), isl_mat_free(), isl_mat_left_hermite(), isl_mat_lin_to_aff(), isl_mat_sub_alloc6(), isl_mat_vec_product(), isl_vec_copy(), isl_vec_free(), M(), isl_vec::size, total(), and uset_affine_hull_bounded().

Referenced by uset_affine_hull().

construct_column()

isl_stat construct_column ( __isl_keep isl_basic_set * bset1, __isl_keep isl_basic_set * bset2, unsigned row, unsigned col )

static

Definition at line 117 of file isl_affine_hull.c.

References __isl_keep, a(), b(), delete_row(), isl_basic_set, isl_basic_set_dim(), isl_dim_set, isl_int_clear, isl_int_divexact, isl_int_gcd, isl_int_init, isl_int_is_zero, isl_seq_combine(), isl_seq_scale(), isl_stat_error, isl_stat_ok, and total().

Referenced by affine_hull().

delete_row()

void delete_row ( __isl_keep isl_basic_set * bset, unsigned row )

static

Definition at line 96 of file isl_affine_hull.c.

References __isl_keep, isl_basic_set, and t.

Referenced by construct_column(), and transform_column().

equalities_in_underlying_set()

__isl_give isl_basic_set * equalities_in_underlying_set ( __isl_take isl_basic_map * bmap )

static

Definition at line 854 of file isl_affine_hull.c.

References __isl_give, __isl_take, hull, isl_basic_map_underlying_set(), isl_basic_set, isl_basic_set_free(), isl_basic_set_preimage(), isl_basic_set_remove_equalities(), isl_mat_free(), isl_mat_vec_product(), isl_vec_copy(), isl_vec_free(), isl_vec::size, and uset_affine_hull().

Referenced by isl_basic_map_detect_equalities().

extend_affine_hull()

__isl_give isl_basic_set * extend_affine_hull ( struct isl_tab * tab, __isl_take isl_basic_set * hull, __isl_keep isl_basic_set * bset )

static

Definition at line 421 of file isl_affine_hull.c.

References __isl_give, __isl_keep, __isl_take, add_adjacent_points(), affine_hull(), hull, isl_basic_set, isl_basic_set_free(), isl_basic_set_from_vec(), isl_tab_add_eq(), isl_tab_add_sample(), isl_tab_extend_cons(), isl_vec_copy(), isl_vec_free(), isl_tab::n_var, outside_point(), point, isl_tab::samples, and isl_vec::size.

Referenced by isl_tab_detect_equalities(), and uset_affine_hull_bounded().

initial_hull()

__isl_give isl_basic_set * initial_hull ( struct isl_tab * tab, __isl_take isl_vec * vec )

static

Definition at line 575 of file isl_affine_hull.c.

References __isl_give, __isl_take, isl_tab::basis, 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_basic_set_gauss(), isl_dim_set, isl_int_neg, isl_seq_cpy(), isl_seq_inner_product(), isl_vec_free(), isl_tab::n_unbounded, and isl_mat::row.

Referenced by isl_tab_detect_equalities().

initialize_hull()

__isl_give isl_basic_set * initialize_hull ( __isl_keep isl_basic_set * bset, __isl_take isl_vec * sample )

static

Definition at line 478 of file isl_affine_hull.c.

References __isl_give, __isl_keep, __isl_take, add_adjacent_points(), hull, isl_basic_set, isl_basic_set_from_vec(), and isl_vec_copy().

Referenced by uset_affine_hull_bounded().

isl_basic_map_affine_hull()

__isl_give isl_basic_map * isl_basic_map_affine_hull

(

__isl_take isl_basic_map *

bmap

)

Definition at line 994 of file isl_affine_hull.c.

References __isl_give, __isl_take, isl_basic_map_detect_equalities(), and isl_basic_map_plain_affine_hull().

Referenced by isl::basic_map::affine_hull(), isl_basic_set_affine_hull(), and isl_map_local_affine_hull().

isl_basic_map_detect_equalities()

__isl_give isl_basic_map * isl_basic_map_detect_equalities

(

__isl_take isl_basic_map *

bmap

)

Definition at line 903 of file isl_affine_hull.c.

References __isl_give, __isl_take, equalities_in_underlying_set(), hull, ISL_BASIC_MAP_ALL_EQUALITIES, isl_basic_map_alloc_equality(), isl_basic_map_copy(), ISL_BASIC_MAP_EMPTY, isl_basic_map_extend(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_implicit_equalities(), ISL_BASIC_MAP_NO_IMPLICIT, ISL_BASIC_MAP_RATIONAL, isl_basic_map_set_to_empty(), isl_basic_map_simplify(), isl_basic_set, isl_basic_set_dim(), ISL_BASIC_SET_EMPTY, isl_basic_set_free(), isl_dim_all, ISL_F_ISSET, ISL_F_SET, isl_seq_cpy(), isl_vec_copy(), isl_vec_free(), and total().

Referenced by isl::basic_map::detect_equalities(), isl_basic_map_affine_hull(), isl_basic_set_detect_equalities(), isl_map_detect_equalities(), and SF().

isl_basic_map_implicit_equalities()

__isl_give isl_basic_map * isl_basic_map_implicit_equalities

(

__isl_take isl_basic_map *

bmap

)

Definition at line 32 of file isl_affine_hull.c.

References __isl_give, __isl_take, isl_tab::bmap, ISL_BASIC_MAP_EMPTY, isl_basic_map_free(), isl_basic_map_gauss(), ISL_BASIC_MAP_NO_IMPLICIT, isl_basic_map_update_from_tab(), ISL_F_ISSET, ISL_F_SET, isl_tab_detect_implicit_equalities(), isl_tab_free(), isl_tab_from_basic_map(), and isl_basic_map::n_ineq.

Referenced by isl_basic_map_detect_equalities(), isl_basic_map_has_rational(), and isl_basic_set_implicit_equalities().

isl_basic_map_make_strides_explicit()

__isl_give isl_basic_map * isl_basic_map_make_strides_explicit ( __isl_take isl_basic_map * bmap )

static

Definition at line 1090 of file isl_affine_hull.c.

References __isl_give, __isl_take, A(), add_strides(), B(), isl_basic_map_divs_known(), isl_basic_map_free(), isl_basic_map_gauss(), isl_basic_map_get_ctx(), isl_basic_map_sort_divs(), isl_basic_map_var_offset(), isl_dim_div, isl_int_is_zero, isl_mat_drop_cols(), isl_mat_free(), isl_mat_insert_zero_rows(), isl_mat_left_hermite(), isl_mat_lin_to_aff(), isl_mat_product(), isl_mat_right_inverse(), isl_mat_set_element_si(), isl_mat_sub_alloc6(), isl_seq_first_non_zero(), M(), and n.

Referenced by isl_map_local_affine_hull().

isl_basic_map_plain_affine_hull()

__isl_give isl_basic_map * isl_basic_map_plain_affine_hull

(

__isl_take isl_basic_map *

bmap

)

Definition at line 971 of file isl_affine_hull.c.

References __isl_give, __isl_take, isl_basic_map_cow(), isl_basic_map_finalize(), and isl_basic_map_free_inequality().

Referenced by check_coalesce_into_eq(), coalesce_info_set_hull_hash(), coalesce_subset_with_equalities(), harmonize_divs(), isl_basic_map_affine_hull(), isl_basic_set_plain_affine_hull(), and isl_pw_multi_aff_from_map().

isl_basic_set_affine_hull()

__isl_give isl_basic_set * isl_basic_set_affine_hull

(

__isl_take isl_basic_set *

bset

)

Definition at line 1002 of file isl_affine_hull.c.

References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_affine_hull(), and isl_basic_set.

Referenced by isl::basic_set::affine_hull(), induced_lineality_space(), test_affine_hull_case(), and uset_gist().

isl_basic_set_detect_equalities()

__isl_give isl_basic_set * isl_basic_set_detect_equalities

(

__isl_take isl_basic_set *

bset

)

Definition at line 950 of file isl_affine_hull.c.

References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_detect_equalities(), and isl_basic_set.

Referenced by isl::basic_set::detect_equalities(), isl_basic_set_full_compression(), main(), multiplicative_call_base(), unwrapped_guarded_poly_bound(), and uset_gist().

isl_basic_set_implicit_equalities()

__isl_give isl_basic_set * isl_basic_set_implicit_equalities

(

__isl_take isl_basic_set *

bset

)

Definition at line 62 of file isl_affine_hull.c.

References __isl_give, __isl_take, bset_from_bmap(), bset_to_bmap(), isl_basic_map_implicit_equalities(), and isl_basic_set.

Referenced by isl_basic_set_recession_cone().

isl_basic_set_plain_affine_hull()

__isl_give isl_basic_set * isl_basic_set_plain_affine_hull

(

__isl_take isl_basic_set *

bset

)

Definition at line 984 of file isl_affine_hull.c.

References __isl_give, __isl_take, isl_basic_map_plain_affine_hull(), and isl_basic_set.

Referenced by uset_gist().

isl_basic_set_recession_cone()

__isl_give isl_basic_set * isl_basic_set_recession_cone

(

__isl_take isl_basic_set *

bset

)

Definition at line 317 of file isl_affine_hull.c.

References __isl_give, __isl_take, isl_basic_set, isl_basic_set_check_no_locals(), isl_basic_set_cow(), isl_basic_set_free(), isl_basic_set_implicit_equalities(), ISL_BASIC_SET_NO_IMPLICIT, isl_basic_set_plain_is_empty(), ISL_F_CLR, and isl_int_set_si.

Referenced by gbr_sample(), test_recession_cone(), and uset_affine_hull().

isl_map_affine_hull()

__isl_give isl_basic_map * isl_map_affine_hull

(

__isl_take isl_map *

map

)

Definition at line 1209 of file isl_affine_hull.c.

References __isl_give, __isl_take, affine_hull(), hull, isl_basic_map_copy(), isl_basic_map_finalize(), isl_basic_map_free(), isl_basic_map_overlying_set(), isl_basic_map_simplify(), isl_basic_set, isl_basic_set_copy(), isl_map_align_divs_internal(), isl_map_detect_equalities(), isl_map_local_affine_hull(), isl_map_remove_empty_parts(), isl_map_remove_unknown_divs(), isl_map_underlying_set(), isl_set, isl_set_cow(), isl_set_free(), isl_set_local_affine_hull(), map, replace_map_by_empty_basic_map(), and set.

Referenced by isl::map::affine_hull(), compute_weights(), isl_map_affine_hull_map(), isl_set_affine_hull(), and map_simple_hull().

isl_map_detect_equalities()

__isl_give isl_map * isl_map_detect_equalities

(

__isl_take isl_map *

map

)

Definition at line 957 of file isl_affine_hull.c.

References __isl_give, __isl_take, isl_basic_map_detect_equalities(), isl_map_inline_foreach_basic_map(), and map.

Referenced by isl::map::detect_equalities(), isl_map_affine_hull(), isl_map_convex_hull(), isl_map_get_range_simple_fixed_box_hull(), isl_pw_multi_aff_from_map(), isl_set_detect_equalities(), isl_union_map_detect_equalities(), and map_simple_hull().

isl_map_local_affine_hull()

__isl_give isl_map * isl_map_local_affine_hull ( __isl_take isl_map * map )

static

Definition at line 1154 of file isl_affine_hull.c.

References __isl_give, __isl_take, isl_basic_map_affine_hull(), isl_basic_map_gauss(), isl_basic_map_make_strides_explicit(), isl_map_cow(), isl_map_free(), and map.

Referenced by isl_map_affine_hull(), and isl_set_local_affine_hull().

isl_set_affine_hull()

__isl_give isl_basic_set * isl_set_affine_hull

(

__isl_take isl_set *

set

)

Definition at line 1249 of file isl_affine_hull.c.

References __isl_give, __isl_take, bset_from_bmap(), isl_basic_set, isl_map_affine_hull(), isl_set, set, and set_to_map.

Referenced by isl::set::affine_hull(), box_closure_on_domain(), convex_hull_pair(), extract_node(), FN(), initial_facet_constraint(), isl_aff_gist(), isl_map_convex_hull(), isl_qpolynomial_gist(), isl_set_combined_lineality_space(), set_detect_stride(), and test_affine_hull().

isl_set_detect_equalities()

__isl_give isl_set * isl_set_detect_equalities

(

__isl_take isl_set *

set

)

Definition at line 963 of file isl_affine_hull.c.

References __isl_give, __isl_take, isl_map_detect_equalities(), isl_set, set, set_from_map(), and set_to_map.

Referenced by create_node_scaled(), isl::set::detect_equalities(), explicit_bounds(), and isl_ast_build_eliminate_inner().

isl_set_local_affine_hull()

__isl_give isl_set * isl_set_local_affine_hull ( __isl_take isl_set * set )

static

Definition at line 1173 of file isl_affine_hull.c.

References __isl_give, __isl_take, isl_map_local_affine_hull(), isl_set, and set.

Referenced by isl_map_affine_hull().

isl_tab_detect_equalities()

struct isl_tab * isl_tab_detect_equalities	(	struct isl_tab *	tab,
		struct isl_tab *	tab_cone )

Definition at line 624 of file isl_affine_hull.c.

References affine_hull(), isl_tab::basis, isl_tab::bmap, isl_mat::ctx, isl_vec::el, extend_affine_hull(), hull, initial_hull(), isl_assert, isl_basic_set, isl_basic_set_free(), isl_basic_set_from_vec(), isl_mat_free(), isl_seq_cpy(), isl_seq_normalize(), isl_tab_add_eq(), isl_tab_free(), isl_tab_rollback(), isl_tab_set_initial_basis_with_cone(), isl_tab_snap(), isl_vec_alloc(), isl_vec_copy(), isl_vec_free(), isl_tab::mat, isl_mat::n_col, isl_tab::n_outside, isl_tab::n_sample, isl_tab::n_unbounded, isl_tab::n_var, isl_tab::n_zero, isl_mat::row, isl_basic_map::sample, isl_tab::samples, and isl_vec::size.

Referenced by context_gbr_detect_equalities().

outside_point()

__isl_give isl_vec * outside_point ( struct isl_tab * tab, isl_int * eq, int up )

static

Definition at line 266 of file isl_affine_hull.c.

References __isl_give, isl_tab::bmap, isl_mat::ctx, isl_vec::el, isl_basic_map_contains(), isl_int_add_ui, isl_int_set_si, isl_int_sub_ui, isl_seq_combine(), isl_seq_neg(), isl_tab_add_ineq(), isl_tab_extend_cons(), isl_tab_rollback(), isl_tab_sample(), isl_tab_snap(), isl_vec_alloc(), isl_vec_free(), isl_tab::mat, isl_tab::n_var, isl_ctx::negone, isl_ctx::one, and isl_basic_map::sample.

Referenced by extend_affine_hull().

replace_map_by_empty_basic_map()

__isl_give isl_basic_map * replace_map_by_empty_basic_map ( __isl_take isl_map * map )

static

Definition at line 1180 of file isl_affine_hull.c.

References __isl_give, __isl_take, isl_basic_map_empty(), isl_map_free(), isl_map_get_space(), and map.

Referenced by isl_map_affine_hull().

set_common_multiple()

void set_common_multiple ( struct isl_basic_set * bset1, struct isl_basic_set * bset2, unsigned row, unsigned col )

static

Definition at line 74 of file isl_affine_hull.c.

References isl_basic_set, isl_int_clear, isl_int_divexact, isl_int_eq, isl_int_init, isl_int_lcm, isl_seq_scale(), and m.

Referenced by affine_hull().

transform_column()

isl_bool transform_column ( __isl_keep isl_basic_set * bset1, __isl_keep isl_basic_set * bset2, unsigned row, unsigned col )

static

Definition at line 158 of file isl_affine_hull.c.

References __isl_keep, a(), b(), delete_row(), isl_basic_set, isl_basic_set_dim(), isl_bool_error, isl_bool_false, isl_bool_true, isl_dim_set, isl_int_clear, isl_int_divexact, isl_int_gcd, isl_int_init, isl_int_ne, isl_int_sub, isl_seq_combine(), t, and total().

Referenced by affine_hull().

uset_affine_hull()

__isl_give isl_basic_set * uset_affine_hull ( __isl_take isl_basic_set * bset )

static

Definition at line 808 of file isl_affine_hull.c.

References __isl_give, __isl_take, affine_hull_with_cone(), cone, isl_basic_set, isl_basic_set_copy(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_get_space(), isl_basic_set_plain_is_empty(), isl_basic_set_recession_cone(), isl_basic_set_universe(), isl_dim_all, total(), and uset_affine_hull_bounded().

Referenced by equalities_in_underlying_set().

uset_affine_hull_bounded()

__isl_give isl_basic_set * uset_affine_hull_bounded ( __isl_take isl_basic_set * bset )

static

Definition at line 498 of file isl_affine_hull.c.

References __isl_give, __isl_take, isl_tab::bmap, contains(), isl_tab::empty, extend_affine_hull(), hull, initialize_hull(), isl_basic_set, isl_basic_set_contains(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_plain_is_empty(), isl_basic_set_set_to_empty(), isl_dim_set, isl_tab_free(), isl_tab_from_basic_set(), isl_tab_rollback(), isl_tab_sample(), isl_tab_snap(), isl_vec_copy(), isl_vec_free(), isl_basic_map::sample, and isl_vec::size.

Referenced by affine_hull_with_cone(), and uset_affine_hull().