isl_morph.h File Reference

#include <stdio.h>
#include <isl/id_type.h>
#include <isl/space.h>
#include <isl/mat.h>
#include <isl/set.h>

Go to the source code of this file.

Classes
struct	isl_morph

Typedefs
typedef struct isl_morph	isl_morph

Functions
isl_ctx *	isl_morph_get_ctx (__isl_keep isl_morph *morph)
__isl_give isl_morph *	isl_morph_alloc (__isl_take isl_basic_set *dom, __isl_take isl_basic_set *ran, __isl_take isl_mat *map, __isl_take isl_mat *inv)
__isl_give isl_morph *	isl_morph_copy (__isl_keep isl_morph *morph)
__isl_give isl_morph *	isl_morph_identity (__isl_keep isl_basic_set *bset)
__isl_null isl_morph *	isl_morph_free (__isl_take isl_morph *morph)
isl_stat	isl_morph_check_applies (__isl_keep isl_morph *morph, __isl_keep isl_space *space)
__isl_give isl_space *	isl_morph_get_dom_space (__isl_keep isl_morph *morph)
__isl_give isl_space *	isl_morph_get_ran_space (__isl_keep isl_morph *morph)
__isl_give isl_multi_aff *	isl_morph_get_var_multi_aff (__isl_keep isl_morph *morph)
isl_size	isl_morph_dom_dim (__isl_keep isl_morph *morph, enum isl_dim_type type)
isl_size	isl_morph_ran_dim (__isl_keep isl_morph *morph, enum isl_dim_type type)
__isl_give isl_morph *	isl_morph_remove_dom_dims (__isl_take isl_morph *morph, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_morph *	isl_morph_remove_ran_dims (__isl_take isl_morph *morph, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_morph *	isl_morph_dom_params (__isl_take isl_morph *morph)
__isl_give isl_morph *	isl_morph_ran_params (__isl_take isl_morph *morph)
__isl_give isl_morph *	isl_morph_compose (__isl_take isl_morph *morph1, __isl_take isl_morph *morph2)
__isl_give isl_morph *	isl_morph_inverse (__isl_take isl_morph *morph)
void	isl_morph_print_internal (__isl_take isl_morph *morph, FILE *out)
void	isl_morph_dump (__isl_take isl_morph *morph)
__isl_give isl_morph *	isl_basic_set_variable_compression (__isl_keep isl_basic_set *bset, enum isl_dim_type type)
__isl_give isl_morph *	isl_basic_set_variable_compression_with_id (__isl_keep isl_basic_set *bset, __isl_keep isl_id *id)
__isl_give isl_morph *	isl_basic_set_parameter_compression (__isl_keep isl_basic_set *bset)
__isl_give isl_morph *	isl_basic_set_full_compression (__isl_keep isl_basic_set *bset)
__isl_give isl_basic_set *	isl_morph_basic_set (__isl_take isl_morph *morph, __isl_take isl_basic_set *bset)
__isl_give isl_set *	isl_morph_set (__isl_take isl_morph *morph, __isl_take isl_set *set)
__isl_give isl_vec *	isl_morph_vec (__isl_take isl_morph *morph, __isl_take isl_vec *vec)

Typedef Documentation

isl_morph

typedef struct isl_morph isl_morph

Definition at line 37 of file isl_morph.h.

Function Documentation

isl_basic_set_full_compression()

__isl_give isl_morph * isl_basic_set_full_compression

(

__isl_keep isl_basic_set *

bset

)

Definition at line 766 of file isl_morph.c.

References __isl_give, __isl_keep, isl_basic_set, isl_basic_set_copy(), isl_basic_set_detect_equalities(), isl_basic_set_free(), isl_basic_set_parameter_compression(), isl_basic_set_variable_compression(), isl_dim_param, isl_dim_set, isl_morph_basic_set(), isl_morph_compose(), and isl_morph_copy().

Referenced by isl_basic_set_multiplicative_call(), lower_dim_vertices(), and unwrapped_guarded_poly_bound().

isl_basic_set_parameter_compression()

__isl_give isl_morph * isl_basic_set_parameter_compression

(

__isl_keep isl_basic_set *

bset

)

Definition at line 564 of file isl_morph.c.

References __isl_give, __isl_keep, B(), isl_basic_set, isl_basic_set_dim(), isl_basic_set_get_ctx(), isl_basic_set_plain_is_empty(), isl_basic_set_universe(), isl_die, isl_dim_div, isl_dim_param, isl_dim_set, isl_error_invalid, isl_mat_copy(), isl_mat_diagonal(), isl_mat_identity(), isl_mat_parameter_compression_ext(), isl_mat_right_inverse(), isl_mat_sub_alloc6(), isl_morph_alloc(), isl_morph_empty(), isl_morph_identity(), isl_seq_first_non_zero(), isl_space_copy(), and map.

Referenced by base_compute_divs(), and isl_basic_set_full_compression().

isl_basic_set_variable_compression()

__isl_give isl_morph * isl_basic_set_variable_compression	(	__isl_keep isl_basic_set *	bset,
		enum isl_dim_type	type )

Definition at line 472 of file isl_morph.c.

References __isl_give, __isl_keep, C, copy_equalities(), isl_basic_set, isl_basic_set_check_no_locals(), isl_basic_set_dim(), isl_basic_set_offset(), isl_basic_set_plain_is_empty(), isl_basic_set_universe(), isl_dim_all, isl_mat_diagonal(), isl_mat_final_variable_compression(), isl_mat_free(), isl_mat_identity(), isl_mat_sub_alloc6(), isl_morph_alloc(), isl_morph_empty(), isl_morph_identity(), isl_seq_first_non_zero(), isl_space_add_dims(), isl_space_copy(), isl_space_drop_dims(), total(), and type.

Referenced by base_compute_divs(), isl_basic_set_full_compression(), isl_basic_set_variable_compression_with_id(), and main().

isl_basic_set_variable_compression_with_id()

__isl_give isl_morph * isl_basic_set_variable_compression_with_id	(	__isl_keep isl_basic_set *	bset,
		__isl_keep isl_id *	id )

Definition at line 538 of file isl_morph.c.

References __isl_give, __isl_keep, isl_basic_set, isl_basic_set_variable_compression(), isl_dim_set, and isl_morph_set_ran_tuple_id().

Referenced by extract_node().

isl_morph_alloc()

__isl_give isl_morph * isl_morph_alloc	(	__isl_take isl_basic_set *	dom,
		__isl_take isl_basic_set *	ran,
		__isl_take isl_mat *	map,
		__isl_take isl_mat *	inv )

Definition at line 31 of file isl_morph.c.

References __isl_give, __isl_take, isl_morph::dom, isl_morph::inv, isl_alloc_type, isl_basic_set, isl_basic_set_free(), isl_mat_free(), isl_morph::map, map, isl_morph::ran, and isl_morph::ref.

Referenced by isl_basic_set_parameter_compression(), isl_basic_set_variable_compression(), isl_factorizer_groups(), isl_morph_compose(), isl_morph_dup(), isl_morph_empty(), and isl_morph_identity().

isl_morph_basic_set()

__isl_give isl_basic_set * isl_morph_basic_set	(	__isl_take isl_morph *	morph,
		__isl_take isl_basic_set *	bset )

Definition at line 641 of file isl_morph.c.

References __isl_give, __isl_take, isl_basic_set, isl_basic_set_check_equal_space(), isl_basic_set_copy(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_get_space(), isl_basic_set_intersect(), isl_basic_set_move_dims(), isl_basic_set_preimage_multi_aff(), isl_basic_set_reset_space(), isl_dim_param, isl_dim_set, isl_mat_copy(), isl_morph_free(), isl_multi_aff_from_aff_mat_anonymous(), and ma.

Referenced by base_compute_divs(), isl_basic_set_full_compression(), isl_basic_set_multiplicative_call(), isl_factorizer_every_factor_basic_set(), isl_morph_compose(), isl_morph_vertices(), lower_dim_vertices(), main(), and unwrapped_guarded_poly_bound().

isl_morph_check_applies()

isl_stat isl_morph_check_applies	(	__isl_keep isl_morph *	morph,
		__isl_keep isl_space *	space )

Definition at line 215 of file isl_morph.c.

References __isl_keep, check_space_match(), isl_morph_peek_dom_space(), and isl_space_is_equal().

Referenced by isl_qpolynomial_fold_morph_domain(), and isl_qpolynomial_morph_domain().

isl_morph_compose()

__isl_give isl_morph * isl_morph_compose	(	__isl_take isl_morph *	morph1,
		__isl_take isl_morph *	morph2 )

Definition at line 711 of file isl_morph.c.

References __isl_give, __isl_take, isl_basic_set, isl_basic_set_copy(), isl_basic_set_intersect(), isl_mat_copy(), isl_mat_product(), isl_morph_alloc(), isl_morph_basic_set(), isl_morph_copy(), isl_morph_free(), isl_morph_inverse(), and map.

Referenced by isl_basic_set_full_compression().

isl_morph_copy()

__isl_give isl_morph * isl_morph_copy

(

__isl_keep isl_morph *

morph

)

Definition at line 59 of file isl_morph.c.

References __isl_give, __isl_keep, and isl_morph::ref.

Referenced by base_compute_divs(), bernstein_coefficients_factors(), factored_sample(), FN(), isl_basic_set_full_compression(), isl_basic_set_multiplicative_call(), isl_factorizer_every_factor_basic_set(), isl_morph_compose(), isl_morph_vertices(), lower_dim_vertices(), morph_domain(), and unwrapped_guarded_poly_bound().

isl_morph_dom_dim()

isl_size isl_morph_dom_dim	(	__isl_keep isl_morph *	morph,
		enum isl_dim_type	type )

Definition at line 234 of file isl_morph.c.

References __isl_keep, isl_basic_set_dim(), isl_size_error, and type.

Referenced by identity_on_parameters().

isl_morph_dom_params()

__isl_give isl_morph * isl_morph_dom_params

(

__isl_take isl_morph *

morph

)

Definition at line 306 of file isl_morph.c.

References __isl_give, __isl_take, isl_basic_set_dim(), isl_basic_set_params(), isl_dim_set, isl_morph_cow(), isl_morph_free(), isl_morph_remove_dom_dims(), and n.

Referenced by isl_basic_set_multiplicative_call(), isl_morph_vertices(), and unwrapped_guarded_poly_bound().

isl_morph_dump()

void isl_morph_dump

(

__isl_take isl_morph *

morph

)

Definition at line 375 of file isl_morph.c.

References __isl_take, and isl_morph_print_internal().

isl_morph_free()

__isl_null isl_morph * isl_morph_free

(

__isl_take isl_morph *

morph

)

Definition at line 89 of file isl_morph.c.

References __isl_null, __isl_take, isl_basic_set_free(), and isl_mat_free().

Referenced by extract_node(), FN(), isl_factorizer_alloc(), isl_factorizer_free(), isl_morph_basic_set(), isl_morph_compose(), isl_morph_dom_params(), isl_morph_ran_params(), isl_morph_remove_dom_dims(), isl_morph_remove_ran_dims(), isl_morph_set(), isl_morph_set_ran_tuple_id(), isl_morph_vec(), isl_morph_vertices(), isl_qpolynomial_fold_morph_domain(), and isl_qpolynomial_morph_domain().

isl_morph_get_ctx()

isl_ctx * isl_morph_get_ctx

(

__isl_keep isl_morph *

morph

)

Definition at line 24 of file isl_morph.c.

References __isl_keep, and isl_basic_set_get_ctx().

Referenced by isl_morph_get_var_multi_aff().

isl_morph_get_dom_space()

__isl_give isl_space * isl_morph_get_dom_space

(

__isl_keep isl_morph *

morph

)

Definition at line 195 of file isl_morph.c.

References __isl_give, __isl_keep, isl_morph_peek_dom_space(), and isl_space_copy().

Referenced by isl_morph_get_var_multi_aff().

isl_morph_get_ran_space()

__isl_give isl_space * isl_morph_get_ran_space

(

__isl_keep isl_morph *

morph

)

Definition at line 226 of file isl_morph.c.

References __isl_give, __isl_keep, and isl_space_copy().

Referenced by isl_morph_get_var_multi_aff(), isl_qpolynomial_fold_morph_domain(), and unwrapped_guarded_poly_bound().

isl_morph_get_var_multi_aff()

__isl_give isl_multi_aff * isl_morph_get_var_multi_aff

(

__isl_keep isl_morph *

morph

)

Definition at line 135 of file isl_morph.c.

References __isl_give, __isl_keep, aff, identity_on_parameters(), isl_aff_alloc_vec(), isl_die, isl_dim_out, isl_dim_param, isl_error_invalid, isl_local_space_copy(), isl_local_space_free(), isl_local_space_from_space(), isl_mat_get_element_val(), isl_mat_get_row(), isl_morph_get_ctx(), isl_morph_get_dom_space(), isl_morph_get_ran_space(), isl_space_copy(), isl_space_map_from_domain_and_range(), isl_vec_insert_els(), isl_vec_set_element_val(), ma, and val.

Referenced by extract_node().

isl_morph_identity()

__isl_give isl_morph * isl_morph_identity

(

__isl_keep isl_basic_set *

bset

)

Definition at line 380 of file isl_morph.c.

References __isl_give, __isl_keep, id, isl_basic_set, isl_basic_set_copy(), isl_basic_set_dim(), isl_basic_set_universe(), isl_dim_all, isl_mat_copy(), isl_mat_identity(), isl_morph_alloc(), isl_space_copy(), total(), and universe().

Referenced by isl_basic_set_parameter_compression(), isl_basic_set_variable_compression(), and isl_factorizer_identity().

isl_morph_inverse()

__isl_give isl_morph * isl_morph_inverse

(

__isl_take isl_morph *

morph

)

Definition at line 739 of file isl_morph.c.

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

Referenced by base_compute_divs(), extract_node(), factored_sample(), isl_basic_set_multiplicative_call(), isl_morph_compose(), lower_dim_vertices(), and unwrapped_guarded_poly_bound().

isl_morph_print_internal()

void isl_morph_print_internal	(	__isl_take isl_morph *	morph,
		FILE *	out )

Definition at line 364 of file isl_morph.c.

References __isl_take, isl_basic_set_dump(), and isl_mat_print_internal().

Referenced by isl_factorizer_dump(), and isl_morph_dump().

isl_morph_ran_dim()

isl_size isl_morph_ran_dim	(	__isl_keep isl_morph *	morph,
		enum isl_dim_type	type )

Definition at line 242 of file isl_morph.c.

References __isl_keep, isl_basic_set_dim(), isl_size_error, and type.

Referenced by extract_node(), and identity_on_parameters().

isl_morph_ran_params()

__isl_give isl_morph * isl_morph_ran_params

(

__isl_take isl_morph *

morph

)

Definition at line 329 of file isl_morph.c.

References __isl_give, __isl_take, isl_basic_set_dim(), isl_basic_set_params(), isl_dim_set, isl_morph_cow(), isl_morph_free(), isl_morph_remove_ran_dims(), and n.

Referenced by isl_basic_set_multiplicative_call(), isl_morph_vertices(), and unwrapped_guarded_poly_bound().

isl_morph_remove_dom_dims()

__isl_give isl_morph * isl_morph_remove_dom_dims	(	__isl_take isl_morph *	morph,
		enum isl_dim_type	type,
		unsigned	first,
		unsigned	n )

Definition at line 250 of file isl_morph.c.

References __isl_give, __isl_take, isl_basic_set_remove_dims(), isl_mat_drop_cols(), isl_mat_drop_rows(), isl_morph_cow(), isl_morph_free(), isl_space_offset(), n, and type.

Referenced by isl_morph_dom_params().

isl_morph_remove_ran_dims()

__isl_give isl_morph * isl_morph_remove_ran_dims	(	__isl_take isl_morph *	morph,
		enum isl_dim_type	type,
		unsigned	first,
		unsigned	n )

Definition at line 277 of file isl_morph.c.

References __isl_give, __isl_take, isl_basic_set_remove_dims(), isl_mat_drop_cols(), isl_mat_drop_rows(), isl_morph_cow(), isl_morph_free(), isl_space_offset(), n, and type.

Referenced by isl_morph_ran_params().

isl_morph_set()

__isl_give isl_set * isl_morph_set	(	__isl_take isl_morph *	morph,
		__isl_take isl_set *	set )

Definition at line 678 of file isl_morph.c.

References __isl_give, __isl_take, isl_basic_set, isl_basic_set_copy(), isl_basic_set_dim(), isl_basic_set_get_space(), isl_dim_param, isl_dim_set, isl_mat_copy(), isl_morph_free(), isl_multi_aff_from_aff_mat_anonymous(), isl_set, isl_set_basic_set_check_equal_space(), isl_set_free(), isl_set_from_basic_set(), isl_set_intersect(), isl_set_move_dims(), isl_set_preimage_multi_aff(), isl_set_reset_space(), ma, and set.

Referenced by base_compute_divs(), and FN().

isl_morph_vec()

__isl_give isl_vec * isl_morph_vec	(	__isl_take isl_morph *	morph,
		__isl_take isl_vec *	vec )

Definition at line 790 of file isl_morph.c.

References __isl_give, __isl_take, isl_mat_copy(), isl_mat_vec_product(), isl_morph_free(), and isl_vec_free().

Referenced by factored_sample().