|
Polly 20.0.0git
|
#include <isl_mat_private.h>
Public Attributes | |
| int | ref |
| struct isl_ctx * | ctx |
| unsigned | flags |
| unsigned | n_row |
| unsigned | n_col |
| isl_int ** | row |
| unsigned | max_col |
| struct isl_blk | block |
Definition at line 7 of file isl_mat_private.h.
| struct isl_blk isl_mat::block |
Definition at line 23 of file isl_mat_private.h.
Referenced by isl_mat_alloc(), isl_mat_sub_alloc6(), and parameter_compression_1().
| struct isl_ctx* isl_mat::ctx |
Definition at line 10 of file isl_mat_private.h.
Referenced by add_chamber(), add_eq(), add_vertex(), check_samples(), check_table(), compute_max(), compute_min(), context_gbr_save(), create_todo(), drop_row(), eliminate(), empty_compression(), extract_integer_sample(), find_pivot(), find_solutions_main(), gbr_get_shifted_sample(), gbr_init_shifted(), get_row_parameter_div(), get_row_parameter_ineq(), get_row_split_div(), init_lp(), initial_basis(), is_internal(), isl_basic_set_dim_residue_class(), isl_basic_set_extract_equalities(), isl_mat_alloc(), isl_mat_concat(), isl_mat_diag(), isl_mat_final_variable_compression(), isl_mat_get_element_val(), isl_mat_identity(), isl_mat_parameter_compression(), isl_mat_parameter_compression_ext(), isl_mat_right_kernel(), isl_mat_sub_alloc6(), isl_mat_vec_inverse_product(), isl_mat_zero(), isl_tab_add_eq(), isl_tab_add_ineq(), isl_tab_add_row(), isl_tab_add_sample(), isl_tab_allocate_con(), isl_tab_compute_reduced_basis(), isl_tab_detect_equalities(), isl_tab_dup(), isl_tab_extend_cons(), isl_tab_extend_vars(), isl_tab_get_sample_value(), isl_tab_init_samples(), isl_tab_insert_var(), isl_tab_mark_redundant(), isl_tab_min(), isl_tab_pivot(), isl_tab_product(), isl_tab_push_basis(), isl_tab_relax(), isl_tab_sample(), isl_tab_sign_of_max(), isl_tab_track_bmap(), lexmin_pivot_col(), main(), outside_point(), parameter_compression_multi(), perform_undo(), perform_undo_var(), preimage(), propagate_equalities(), push_union(), restore_basis(), set_row_cst_to_div(), sol_add(), tab_detect_nonnegative_parameters(), tab_equalities(), tab_has_valid_sample(), tab_ineq_sign(), to_col(), to_row(), unrelax(), update_con_after_move(), and update_row_sign().
| unsigned isl_mat::flags |
Definition at line 13 of file isl_mat_private.h.
Referenced by isl_mat_alloc(), and isl_mat_sub_alloc6().
| unsigned isl_mat::max_col |
Definition at line 21 of file isl_mat_private.h.
Referenced by isl_mat_alloc().
| unsigned isl_mat::n_col |
Definition at line 16 of file isl_mat_private.h.
Referenced by allow_wrap(), check_samples(), close_row(), cmp_row(), compress_variables(), context_tab_insert_div(), gbr_get_sample(), initial_facet_constraint(), initial_hull(), isl_basic_map_from_qpolynomial(), isl_basic_map_reduce_coefficients(), isl_local_reorder(), isl_mat_aff_direct_sum(), isl_mat_alloc(), isl_mat_concat(), isl_mat_extend(), isl_mat_parameter_compression_ext(), isl_mat_product(), isl_mat_right_kernel(), isl_mat_sub_alloc(), isl_mat_sub_alloc6(), isl_mat_sub_copy(), isl_mat_sub_neg(), isl_mat_zero(), isl_tab_add_sample(), isl_tab_detect_equalities(), isl_tab_dup(), isl_tab_extend_vars(), isl_tab_insert_var(), isl_tab_sample(), normalize_divs(), parameter_compute_divs(), plug_in(), preimage(), scale_rows(), scan_samples_add_sample(), sol_add(), tab_has_valid_sample(), tab_ineq_sign(), tighten_on_relaxed_facet(), uset_gist(), and with_merged_divs().
| unsigned isl_mat::n_row |
Definition at line 15 of file isl_mat_private.h.
Referenced by add_selected_wraps(), add_selected_wraps_around_facet(), can_wrap_in_facet(), check_eq_adj_eq(), check_wraps(), coalesce_after_aligning_divs(), construct_extended_path(), context_tab_insert_div(), hermite_first_zero_col(), initial_facet_constraint(), isl_basic_map_from_qpolynomial(), isl_basic_set_dim_residue_class(), isl_local_cmp(), isl_mat_aff_direct_sum(), isl_mat_alloc(), isl_mat_diag(), isl_mat_extend(), isl_mat_final_variable_compression(), isl_mat_identity(), isl_mat_parameter_compression_ext(), isl_mat_product(), isl_mat_rank(), isl_mat_right_kernel(), isl_mat_row_basis_extension(), isl_mat_sub_alloc(), isl_mat_sub_alloc6(), isl_mat_sub_copy(), isl_mat_sub_neg(), isl_mat_vec_inverse_product(), isl_mat_zero(), isl_qpolynomial_morph_domain(), isl_qpolynomial_realign_domain(), isl_tab_add_sample(), isl_tab_allocate_con(), isl_tab_dup(), isl_tab_extend_cons(), isl_tab_extend_vars(), isl_tab_product(), isl_tab_sample(), isl_tab_set_initial_basis_with_cone(), isl_term_alloc(), modulo_lineality(), normalize_divs(), particular_solution(), preimage(), row_abs_min_non_zero(), row_first_non_zero(), scan_samples_add_sample(), sort_divs(), tab_for_lexmin(), try_wrap_in_facets(), with_merged_divs(), and wraps_init().
| int isl_mat::ref |
Definition at line 8 of file isl_mat_private.h.
Referenced by isl_mat_alloc(), isl_mat_copy(), and isl_mat_sub_alloc6().
| isl_int** isl_mat::row |
Definition at line 18 of file isl_mat_private.h.
Referenced by add_cut(), add_eq(), add_lexmin_eq(), add_parametric_cut(), add_wrap(), add_zero_row(), allow_wrap(), at_least_one(), at_least_zero(), can_wrap_in_facet(), check_eq_adj_eq(), check_lexpos(), check_samples(), check_table(), check_wraps(), close_row(), cmp_row(), common_constraints(), compute_max(), compute_min(), construct_extended_path(), construct_trivial(), context_tab_insert_div(), convex_hull_1d(), convex_hull_pair_pointed(), cut_to_hyperplane(), drop_row(), eliminate(), exchange(), extract_integer_sample(), extract_sample_sequence(), find_pivot(), find_solutions_main(), first_neg(), get_rounded_sample_value(), get_row_parameter_div(), get_row_parameter_line(), get_row_split_div(), greedy_search(), has_constraint(), hermite_first_zero_col(), identical_parameter_line(), initial_facet_constraint(), initial_hull(), integer_constant(), integer_parameter(), integer_variable(), inv_oppose(), inv_subtract(), is_constant(), is_critical(), is_obviously_neg(), is_obviously_nonneg(), is_parametric_constant(), isl_basic_map_drop_redundant_divs(), isl_basic_map_equalities_matrix(), isl_basic_map_from_qpolynomial(), isl_basic_map_inequalities_matrix(), isl_basic_set_factorizer(), isl_local_cmp(), isl_local_div_is_known(), isl_local_div_is_marked_unknown(), isl_local_extend_point_vec(), isl_local_reorder(), isl_mat_aff_direct_sum(), isl_mat_alloc(), isl_mat_concat(), isl_mat_diag(), isl_mat_diagonal(), isl_mat_dup(), isl_mat_extend(), isl_mat_from_row_vec(), isl_mat_get_element(), isl_mat_get_element_val(), isl_mat_get_row(), isl_mat_insert_cols(), isl_mat_insert_rows(), isl_mat_inverse_product(), isl_mat_left_hermite(), isl_mat_lin_to_aff(), isl_mat_normalize_row(), isl_mat_parameter_compression(), isl_mat_product(), isl_mat_reverse_gauss(), isl_mat_right_inverse(), isl_mat_right_kernel(), isl_mat_row_gcd(), isl_mat_scale_down_row(), isl_mat_set_element(), isl_mat_set_element_si(), isl_mat_set_element_val(), isl_mat_sub_alloc6(), isl_mat_transpose(), isl_mat_unimodular_complete(), isl_mat_vec_inverse_product(), isl_mat_zero(), isl_set_wrap_facet(), isl_tab_add_eq(), isl_tab_add_row(), isl_tab_add_sample(), isl_tab_add_valid_eq(), isl_tab_compute_reduced_basis(), isl_tab_detect_equalities(), isl_tab_get_sample_value(), isl_tab_ineq_type(), isl_tab_insert_var(), isl_tab_is_equality(), isl_tab_min(), isl_tab_pivot(), isl_tab_relax(), isl_tab_row_is_redundant(), isl_tab_sample(), isl_tab_sample_is_integer(), isl_tab_shift_var(), last_var_col_or_int_par_col(), lexmin_col_pair(), lexmin_pivot_col(), max_is_manifestly_unbounded(), may_be_equality(), min_is_manifestly_unbounded(), node_transformation(), normalize_divs(), oppose(), parameter_compression_1(), parameter_compression_multi(), pivot_row(), plug_in(), pos_neg(), preimage(), propagate_equalities(), reached(), reduce_divs(), report_conflict(), restore_basis(), row_abs_min_non_zero(), row_at_most_neg_one(), row_cmp(), row_first_non_zero(), row_is_big(), row_is_manifestly_non_integral(), row_is_manifestly_zero(), row_is_neg(), row_sgn(), sample_is_finite(), scale_rows(), scan_samples_add_sample(), separation_type(), set_ma_divs(), set_row_cst_to_div(), sign_of_max(), sign_of_min(), sol_add(), split_scaled(), subtract(), tab_equalities(), tab_has_valid_sample(), tab_ineq_sign(), tab_mat_product(), to_col(), to_row(), try_wrap_in_facets(), unrelax(), update_constraint(), update_row_sign(), uset_gist_compressed(), and wrap_in_facet().
1.9.6