#include <isl_mat_private.h>#include <isl_vec_private.h>#include <isl_seq.h>#include "isl_map_private.h"#include "isl_equalities.h"#include <isl_val_private.h>Go to the source code of this file.
Function Documentation
◆ compress_variables()
|
static |
Definition at line 664 of file isl_equalities.c.
References __isl_give, __isl_take, B(), isl_assert, isl_basic_set, isl_basic_set_check_no_locals(), isl_basic_set_check_no_params(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_preimage(), isl_basic_set_set_to_empty(), isl_dim_set, isl_mat_copy(), isl_mat_free(), isl_mat_sub_alloc6(), isl_mat_variable_compression(), isl_mat::n_col, and return_with_identity().
Referenced by isl_basic_set_remove_equalities().
◆ empty_compression()
|
static |
Definition at line 443 of file isl_equalities.c.
References __isl_give, __isl_take, isl_mat::ctx, isl_mat_alloc(), and isl_mat_free().
Referenced by isl_mat_final_variable_compression().
◆ insert_parameter_rows()
|
static |
Definition at line 461 of file isl_equalities.c.
References __isl_give, __isl_take, isl_int_set, isl_mat_insert_rows(), and isl_seq_clr().
Referenced by isl_mat_final_variable_compression().
◆ isl_basic_set_dim_residue_class()
| isl_stat isl_basic_set_dim_residue_class | ( | __isl_keep isl_basic_set * | bset, |
| int | pos, | ||
| isl_int * | modulo, | ||
| isl_int * | residue ) |
Definition at line 734 of file isl_equalities.c.
References __isl_keep, C, isl_mat::ctx, isl_basic_set, isl_basic_set_copy(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_get_ctx(), isl_basic_set_plain_dim_is_fixed(), isl_basic_set_set_to_empty(), isl_dim_all, isl_dim_param, isl_int_divexact, isl_int_fdiv_r, isl_int_is_divisible_by, isl_int_is_one, isl_int_is_zero, isl_int_set_si, isl_mat_alloc(), isl_mat_free(), isl_mat_inverse_product(), isl_mat_left_hermite(), isl_mat_lin_to_aff(), isl_mat_product(), isl_mat_sub_alloc(), isl_mat_sub_alloc6(), isl_mat_sub_neg(), isl_seq_gcd(), isl_stat_error, isl_stat_ok, isl_mat::n_row, pos(), and total().
Referenced by isl_set_dim_residue_class().
◆ isl_basic_set_remove_equalities()
| __isl_give isl_basic_set * isl_basic_set_remove_equalities | ( | __isl_take isl_basic_set * | bset, |
| __isl_give isl_mat ** | T, | ||
| __isl_give isl_mat ** | T2 ) |
Definition at line 708 of file isl_equalities.c.
References __isl_give, __isl_take, compress_variables(), isl_basic_set, isl_basic_set_check_no_params(), ISL_BASIC_SET_EMPTY, isl_basic_set_free(), isl_basic_set_gauss(), ISL_F_ISSET, and return_with_identity().
Referenced by equalities_in_underlying_set(), isl_basic_set_samples(), modulo_affine_hull(), sample_eq(), and solve_ilp_with_eq().
◆ isl_mat_final_variable_compression()
| __isl_give isl_mat * isl_mat_final_variable_compression | ( | __isl_take isl_mat * | B, |
| int | first, | ||
| __isl_give isl_mat ** | T2 ) |
Definition at line 530 of file isl_equalities.c.
References __isl_give, __isl_take, B(), C, isl_mat::ctx, empty_compression(), insert_parameter_rows(), isl_die, isl_error_invalid, isl_int_clear, isl_int_gcd, isl_int_init, isl_int_is_divisible_by, isl_int_is_one, isl_int_set_si, isl_mat_aff_direct_sum(), isl_mat_alloc(), isl_mat_diagonal(), isl_mat_drop_rows(), isl_mat_free(), isl_mat_get_ctx(), isl_mat_identity(), isl_mat_inverse_product(), isl_mat_left_hermite(), isl_mat_lin_to_aff(), isl_mat_normalize(), isl_mat_product(), isl_mat_sub_alloc(), isl_mat_sub_neg(), isl_seq_clr(), isl_seq_gcd(), n, and isl_mat::n_row.
Referenced by isl_basic_set_variable_compression(), and isl_mat_variable_compression().
◆ isl_mat_parameter_compression()
| __isl_give isl_mat * isl_mat_parameter_compression | ( | __isl_take isl_mat * | B, |
| __isl_take isl_vec * | d ) |
Definition at line 309 of file isl_equalities.c.
References __isl_give, __isl_take, B(), isl_mat::ctx, isl_assert, isl_int_clear, isl_int_divexact, isl_int_gcd, isl_int_init, isl_int_is_one, isl_int_is_zero, isl_mat_alloc(), isl_mat_cow(), isl_mat_drop_rows(), isl_mat_free(), isl_mat_identity(), isl_mat_left_hermite(), isl_mat_sub_copy(), isl_seq_cpy(), isl_seq_gcd(), isl_seq_scale_down(), isl_vec_cow(), isl_vec_free(), parameter_compression_1(), parameter_compression_multi(), particular_solution(), and isl_mat::row.
Referenced by isl_mat_parameter_compression_ext(), and normalize_divs().
◆ isl_mat_parameter_compression_ext()
| __isl_give isl_mat * isl_mat_parameter_compression_ext | ( | __isl_take isl_mat * | B, |
| __isl_take isl_mat * | A ) |
Definition at line 407 of file isl_equalities.c.
References __isl_give, __isl_take, A(), B(), isl_mat::ctx, isl_mat_drop_cols(), isl_mat_drop_rows(), isl_mat_free(), isl_mat_get_ctx(), isl_mat_left_hermite(), isl_mat_lin_to_aff(), isl_mat_parameter_compression(), isl_mat_product(), isl_mat_right_inverse(), isl_vec_alloc(), isl_vec_set(), isl_mat::n_col, and isl_mat::n_row.
Referenced by extract_compressed_stride_constraints(), and isl_basic_set_parameter_compression().
◆ isl_mat_variable_compression()
| __isl_give isl_mat * isl_mat_variable_compression | ( | __isl_take isl_mat * | B, |
| __isl_give isl_mat ** | T2 ) |
Definition at line 625 of file isl_equalities.c.
References __isl_give, __isl_take, B(), and isl_mat_final_variable_compression().
Referenced by combined_variable_compression(), compress_variables(), isl_basic_map_reduce_coefficients(), normalize_divs(), parameter_compute_divs(), tighten_on_relaxed_facet(), and uset_gist().
◆ isl_set_dim_residue_class()
| isl_stat isl_set_dim_residue_class | ( | __isl_keep isl_set * | set, |
| int | pos, | ||
| isl_int * | modulo, | ||
| isl_int * | residue ) |
Definition at line 817 of file isl_equalities.c.
References __isl_keep, isl_basic_set_dim_residue_class(), isl_int_clear, isl_int_fdiv_r, isl_int_gcd, isl_int_init, isl_int_is_one, isl_int_is_zero, isl_int_set_si, isl_int_sub, isl_set, isl_stat_error, isl_stat_ok, m, pos(), and set.
Referenced by isl_set_dim_residue_class_val(), and test_residue_class().
◆ isl_set_dim_residue_class_val()
| isl_stat isl_set_dim_residue_class_val | ( | __isl_keep isl_set * | set, |
| int | pos, | ||
| __isl_give isl_val ** | modulo, | ||
| __isl_give isl_val ** | residue ) |
Definition at line 876 of file isl_equalities.c.
References __isl_give, __isl_keep, isl_int_set_si, isl_set, isl_set_dim_residue_class(), isl_set_get_ctx(), isl_stat_error, isl_stat_ok, isl_val_alloc(), isl_val_free(), pos(), and set.
Referenced by generate_component().
◆ parameter_compression_1()
|
static |
Definition at line 129 of file isl_equalities.c.
References __isl_keep, __isl_take, B(), isl_mat::block, isl_blk::data, isl_mat_alloc(), isl_mat_col_mul(), isl_mat_lin_to_aff(), isl_mat_right_inverse(), isl_mat_unimodular_complete(), isl_seq_cpy(), and isl_mat::row.
Referenced by isl_mat_parameter_compression().
◆ parameter_compression_multi()
|
static |
Definition at line 160 of file isl_equalities.c.
References __isl_give, __isl_keep, A(), B(), isl_mat::ctx, isl_assert, isl_int_clear, isl_int_divexact, isl_int_init, isl_int_is_one, isl_int_mul, isl_int_set, isl_mat_alloc(), isl_mat_free(), isl_mat_left_hermite(), isl_mat_lin_to_aff(), isl_mat_right_inverse(), isl_mat_sub_alloc(), isl_mat_transpose(), isl_mat_unimodular_complete(), isl_seq_cpy(), isl_vec_lcm(), isl_mat::row, and size.
Referenced by isl_mat_parameter_compression().
◆ particular_solution()
|
static |
Definition at line 66 of file isl_equalities.c.
References __isl_give, __isl_keep, B(), C, isl_int_divexact, isl_int_fdiv_r, isl_int_is_divisible_by, isl_int_neg, isl_int_set, isl_int_set_si, isl_mat_alloc(), isl_mat_free(), isl_mat_inverse_product(), isl_mat_left_hermite(), isl_mat_lin_to_aff(), isl_mat_product(), isl_mat_sub_alloc(), isl_seq_clr(), M(), and isl_mat::n_row.
Referenced by isl_mat_parameter_compression().
◆ return_with_identity()
|
static |
Definition at line 634 of file isl_equalities.c.
References __isl_give, __isl_take, id, isl_basic_map_get_ctx(), isl_basic_set, isl_basic_set_dim(), isl_basic_set_free(), isl_dim_set, isl_mat_copy(), isl_mat_free(), and isl_mat_identity().
Referenced by compress_variables(), and isl_basic_set_remove_equalities().
Generated on for Polly by
1.14.0