#include <isl_map_private.h>#include <isl_factorization.h>#include <isl_space_private.h>#include <isl_mat_private.h>Go to the source code of this file.
Classes | |
| struct | isl_factor_groups |
Function Documentation
◆ clear_groups()
|
static |
Definition at line 251 of file isl_factorization.c.
References isl_factor_groups::cnt, isl_factor_groups::group, isl_factor_groups::pos, and isl_factor_groups::rowgroup.
Referenced by isl_basic_set_factorizer().
◆ init_groups()
|
static |
Definition at line 147 of file isl_factorization.c.
References __isl_keep, isl_factor_groups::cnt, isl_factor_groups::group, isl_alloc_array, isl_int_is_zero, isl_factor_groups::pos, and isl_factor_groups::rowgroup.
Referenced by isl_basic_set_factorizer().
◆ 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_alloc()
|
static |
Definition at line 30 of file isl_factorization.c.
References __isl_give, __isl_keep, __isl_take, f, isl_alloc_array, isl_alloc_type, isl_basic_set, isl_basic_set_copy(), and isl_morph_free().
Referenced by isl_factorizer_groups(), and isl_factorizer_identity().
◆ 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().
◆ isl_factorizer_groups()
| __isl_give isl_factorizer * isl_factorizer_groups | ( | __isl_keep isl_basic_set * | bset, |
| __isl_take isl_mat * | Q, | ||
| __isl_take isl_mat * | U, | ||
| int | n, | ||
| int * | len ) |
Definition at line 96 of file isl_factorization.c.
References __isl_give, __isl_keep, __isl_take, f, id, isl_basic_set, isl_basic_set_dim(), isl_basic_set_get_space(), isl_basic_set_universe(), isl_dim_set, isl_factorizer_alloc(), isl_mat_copy(), isl_mat_diagonal(), isl_mat_free(), isl_mat_identity(), isl_morph_alloc(), isl_space_add_dims(), isl_space_copy(), isl_space_drop_dims(), isl_space_offset(), and n.
Referenced by isl_basic_set_factorizer().
◆ isl_factorizer_identity()
| __isl_give isl_factorizer * isl_factorizer_identity | ( | __isl_keep isl_basic_set * | bset | ) |
Definition at line 91 of file isl_factorization.c.
References __isl_give, __isl_keep, isl_basic_set, isl_factorizer_alloc(), and isl_morph_identity().
Referenced by isl_basic_set_factorizer().
◆ update_group()
|
static |
Definition at line 184 of file isl_factorization.c.
References isl_factor_groups::cnt, isl_factor_groups::group, and p.
Referenced by update_group_i_with_row_j(), and update_groups().
◆ update_group_i_with_row_j()
|
static |
Definition at line 197 of file isl_factorization.c.
References __isl_keep, isl_factor_groups::cnt, isl_factor_groups::group, isl_assert, isl_int_is_zero, isl_factor_groups::pos, isl_factor_groups::rowgroup, and update_group().
Referenced by update_groups().
◆ update_groups()
|
static |
Definition at line 227 of file isl_factorization.c.
References __isl_keep, isl_factor_groups::cnt, isl_int_is_zero, isl_factor_groups::pos, isl_factor_groups::rowgroup, update_group(), and update_group_i_with_row_j().
Referenced by isl_basic_set_factorizer().
Generated on for Polly by
1.14.0