isl_factorization.h File Reference

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

Go to the source code of this file.

Classes
struct	isl_factorizer

Typedefs
typedef struct isl_factorizer	isl_factorizer

Functions
__isl_give isl_factorizer *	isl_basic_set_factorizer (__isl_keep isl_basic_set *bset)
isl_ctx *	isl_factorizer_get_ctx (__isl_keep isl_factorizer *f)
__isl_null isl_factorizer *	isl_factorizer_free (__isl_take isl_factorizer *f)
void	isl_factorizer_dump (__isl_take isl_factorizer *f)
__isl_give isl_bool	isl_factorizer_every_factor_basic_set (__isl_keep isl_factorizer *f, isl_bool(*test)(__isl_keep isl_basic_set *bset, void *user), void *user)

Typedef Documentation

isl_factorizer

typedef struct isl_factorizer isl_factorizer

Definition at line 23 of file isl_factorization.h.

Function Documentation

isl_basic_set_factorizer()

__isl_give isl_factorizer * isl_basic_set_factorizer

(

__isl_keep isl_basic_set *

bset

)

Definition at line 269 of file isl_factorization.c.

References __isl_give, __isl_keep, clear_groups(), isl_factor_groups::cnt, f, isl_factor_groups::group, init_groups(), isl_basic_set, isl_basic_set_check_no_locals(), isl_basic_set_dim(), isl_die, isl_dim_set, isl_error_internal, isl_factorizer_groups(), isl_factorizer_identity(), isl_mat_alloc(), isl_mat_free(), isl_mat_left_hermite(), isl_mat_sub_copy(), isl_mat_swap_cols(), isl_mat_swap_rows(), isl_space_offset(), n, isl_factor_groups::pos, isl_mat::row, and update_groups().

Referenced by basic_set_coefficients(), bernstein_coefficients_factors(), compressed_multiplicative_call(), sample_bounded(), and test_factorize().

isl_factorizer_dump()

void isl_factorizer_dump

(

__isl_take isl_factorizer *

f

)

Definition at line 74 of file isl_factorization.c.

References __isl_take, f, and isl_morph_print_internal().

isl_factorizer_every_factor_basic_set()

__isl_give isl_bool isl_factorizer_every_factor_basic_set	(	__isl_keep isl_factorizer *	f,
		isl_bool(*	test )(__isl_keep isl_basic_set *bset, void *user),
		void *	user )

Definition at line 346 of file isl_factorization.c.

References __isl_give, __isl_keep, f, isl_basic_set, isl_basic_set_copy(), isl_basic_set_dim(), isl_basic_set_drop(), isl_basic_set_drop_constraints_involving(), isl_basic_set_free(), isl_bool_error, isl_bool_true, isl_dim_param, isl_dim_set, isl_morph_basic_set(), isl_morph_copy(), n, test, and user.

Referenced by compressed_multiplicative_call(), factored_sample(), and isl_basic_set_coefficients_product().

isl_factorizer_free()

__isl_null isl_factorizer * isl_factorizer_free

(

__isl_take isl_factorizer *

f

)

Definition at line 62 of file isl_factorization.c.

References __isl_null, __isl_take, f, isl_basic_set_free(), and isl_morph_free().

Referenced by basic_set_coefficients(), bernstein_coefficients_factors(), compressed_multiplicative_call(), factored_sample(), isl_basic_set_coefficients_morphed_product(), isl_basic_set_coefficients_product(), sample_bounded(), and test_factorize().

isl_factorizer_get_ctx()

isl_ctx * isl_factorizer_get_ctx

(

__isl_keep isl_factorizer *

f

)

Definition at line 23 of file isl_factorization.c.

References __isl_keep, f, and isl_basic_set_get_ctx().

Referenced by isl_basic_set_coefficients_product().