#include <isl_tab.h>
Public Attributes | |
| struct isl_mat * | mat |
| unsigned | n_row |
| unsigned | n_col |
| unsigned | n_dead |
| unsigned | n_redundant |
| unsigned | n_var |
| unsigned | n_param |
| unsigned | n_div |
| unsigned | max_var |
| unsigned | n_con |
| unsigned | n_eq |
| unsigned | max_con |
| struct isl_tab_var * | var |
| struct isl_tab_var * | con |
| int * | row_var |
| int * | col_var |
| enum isl_tab_row_sign * | row_sign |
| struct isl_tab_undo | bottom |
| struct isl_tab_undo * | top |
| struct isl_vec * | dual |
| struct isl_basic_map * | bmap |
| unsigned | n_sample |
| unsigned | n_outside |
| int * | sample_index |
| struct isl_mat * | samples |
| int | n_zero |
| int | n_unbounded |
| struct isl_mat * | basis |
| int(* | conflict )(int con, void *user) |
| void * | conflict_user |
| unsigned | strict_redundant: 1 |
| unsigned | need_undo: 1 |
| unsigned | preserve: 1 |
| unsigned | rational: 1 |
| unsigned | empty: 1 |
| unsigned | in_undo: 1 |
| unsigned | M: 1 |
| unsigned | cone: 1 |
Detailed Description
Member Data Documentation
◆ basis
| struct isl_mat* isl_tab::basis |
Definition at line 169 of file isl_tab.h.
Referenced by compute_max(), compute_min(), gbr_get_sample(), greedy_search(), initial_hull(), isl_basic_set_reduced_basis(), isl_basic_set_scan(), isl_tab_alloc(), isl_tab_compute_reduced_basis(), isl_tab_detect_equalities(), isl_tab_dup(), isl_tab_free(), isl_tab_product(), isl_tab_sample(), and isl_tab_set_initial_basis_with_cone().
◆ bmap
| struct isl_basic_map* isl_tab::bmap |
Definition at line 160 of file isl_tab.h.
Referenced by add_div_constraints(), add_gbr_ineq(), add_lexmin_eq(), add_lexmin_ineq(), basic_map_collect_diff(), basic_map_from_equalities(), check_samples(), clear_coalesce_info(), combined_variable_compression(), context_gbr_detect_equalities(), context_gbr_insert_div(), create_todo(), drop_bmap_div(), drop_equalities(), drop_inequalities(), extract_compressed_stride_constraints(), find_div(), fuse(), gauss_if_shared(), get_div(), gist_strides(), int_between_bounds(), isl_basic_map_gist(), isl_basic_map_gist_domain(), isl_basic_map_image_is_bounded(), isl_basic_map_implicit_equalities(), isl_basic_map_plain_gist(), isl_basic_map_remove_redundancies(), isl_basic_map_solve_lp(), isl_tab_add_eq(), isl_tab_add_ineq(), isl_tab_detect_equalities(), isl_tab_free(), isl_tab_from_basic_map(), isl_tab_insert_div(), isl_tab_make_equalities_explicit(), isl_tab_peek_bset(), isl_tab_solve_lp(), isl_tab_track_bmap(), n_div_eq(), outside_point(), perform_undo(), propagate_equalities(), reduce_stride_constraints(), replace_by_disjunct(), tab_add_constraint(), tab_add_constraints(), tab_add_divs(), tab_for_lexmin(), tab_has_valid_sample(), test_ineq_is_satisfied(), use_shifted(), and uset_affine_hull_bounded().
◆ bottom
| struct isl_tab_undo isl_tab::bottom |
Definition at line 156 of file isl_tab.h.
Referenced by free_undo(), isl_tab_alloc(), isl_tab_product(), and isl_tab_rollback().
◆ col_var
| int* isl_tab::col_var |
Definition at line 153 of file isl_tab.h.
Referenced by add_parametric_cut(), col_is_parameter_var(), drop_col(), find_pivot(), isl_tab_alloc(), isl_tab_dup(), isl_tab_extend_vars(), isl_tab_free(), isl_tab_insert_var(), isl_tab_pivot(), isl_tab_product(), isl_tab_push_basis(), isl_tab_push_var(), isl_tab_row_is_redundant(), report_conflict(), restore_basis(), swap_cols(), update_con_after_move(), var_drop_entry(), var_from_col(), and var_insert_entry().
◆ con
| struct isl_tab_var* isl_tab::con |
Definition at line 151 of file isl_tab.h.
Referenced by add_chamber(), add_cut(), add_eq(), add_lexmin_eq(), add_lexmin_ineq(), add_lexmin_valid_eq(), add_parametric_cut(), add_zero_row(), best_split(), con_drop_entries(), create_todo(), cut_to_hyperplane(), drop_last_con_in_row(), init_todo(), isl_tab_add_eq(), isl_tab_add_ineq(), isl_tab_add_row(), isl_tab_add_valid_eq(), isl_tab_alloc(), isl_tab_allocate_con(), isl_tab_dup(), isl_tab_extend_cons(), isl_tab_free(), isl_tab_freeze_constraint(), isl_tab_from_recession_cone(), isl_tab_ineq_type(), isl_tab_is_equality(), isl_tab_is_redundant(), isl_tab_min(), isl_tab_product(), isl_tab_relax(), isl_tab_select_facet(), isl_tab_sign_of_max(), isl_tab_swap_constraints(), isl_tab_unrestrict(), propagate_equalities(), report_conflicting_constraint(), rotate_constraints(), select_marked(), tab_detect_nonnegative_parameters(), tab_equalities(), update_con_after_move(), update_todo(), uset_gist_full(), and var_from_index().
◆ cone
| unsigned isl_tab::cone |
Definition at line 181 of file isl_tab.h.
Referenced by isl_tab_add_eq(), isl_tab_add_ineq(), isl_tab_alloc(), isl_tab_dup(), isl_tab_from_recession_cone(), and isl_tab_product().
◆ conflict
Definition at line 171 of file isl_tab.h.
Referenced by isl_tab_basic_set_non_trivial_lexmin(), report_conflict(), and report_conflicting_constraint().
◆ conflict_user
| void* isl_tab::conflict_user |
Definition at line 172 of file isl_tab.h.
Referenced by isl_tab_basic_set_non_trivial_lexmin(), and report_conflicting_constraint().
◆ dual
| struct isl_vec* isl_tab::dual |
Definition at line 159 of file isl_tab.h.
Referenced by get_alpha(), isl_tab_free(), and isl_tab_min().
◆ empty
| unsigned isl_tab::empty |
Definition at line 178 of file isl_tab.h.
Referenced by add_gbr_ineq(), add_lexmin_eq(), add_lexmin_ineq(), add_selected_wraps_around_facet(), basic_map_collect_diff(), best_split(), can_select(), check_gbr_integer_feasible(), check_integer_feasible(), check_table(), context_gbr_add_eq(), context_gbr_is_empty(), context_gbr_test_ineq(), context_lex_is_empty(), context_lex_test_ineq(), cut_lp_to_hyperplane(), cut_to_integer_lexmin(), drop_more_redundant_divs(), enter_level(), find_solutions(), finished_all_cases(), gbr_get_shifted_sample(), initial_basis(), isl_basic_map_update_from_tab(), isl_basic_set_compute_vertices(), isl_basic_set_vars_get_sign(), isl_map_coalesce(), isl_tab_alloc(), isl_tab_compute_reduced_basis(), isl_tab_cone_is_bounded(), isl_tab_detect_implicit_equalities(), isl_tab_detect_redundant(), isl_tab_dup(), isl_tab_from_basic_map(), isl_tab_make_equalities_explicit(), isl_tab_mark_empty(), isl_tab_min(), isl_tab_product(), isl_tab_sample(), isl_tab_track_bmap(), no_sol_in_strict(), perform_undo(), restore_lexmin(), sample_bounded(), sol_add(), tab_add_constraints(), tab_detect_nonnegative_parameters(), tab_equalities(), tab_for_lexmin(), tab_for_shifted_cone(), tab_is_manifestly_empty(), update_ineq(), uset_affine_hull_bounded(), and wrap_in_facet().
◆ in_undo
| unsigned isl_tab::in_undo |
Definition at line 179 of file isl_tab.h.
Referenced by isl_tab_alloc(), isl_tab_pivot(), isl_tab_product(), and isl_tab_rollback().
◆ M
| unsigned isl_tab::M |
Definition at line 180 of file isl_tab.h.
Referenced by add_cut(), add_eq(), add_lexmin_eq(), add_parametric_cut(), add_zero_row(), check_lexpos(), check_table(), close_row(), context_lex_insert_div(), cut_to_hyperplane(), div_is_nonneg(), find_pivot(), first_neg(), get_row_parameter_line(), identical_parameter_line(), integer_parameter(), integer_variable(), is_constant(), is_constant(), is_critical(), is_obviously_neg(), is_obviously_nonneg(), is_parametric_constant(), isl_tab_add_eq(), isl_tab_add_row(), isl_tab_alloc(), isl_tab_dup(), isl_tab_extend_cons(), isl_tab_extend_vars(), isl_tab_insert_var(), isl_tab_is_equality(), isl_tab_min(), isl_tab_pivot(), isl_tab_product(), isl_tab_relax(), isl_tab_row_is_redundant(), isl_tab_shift_var(), last_var_col_or_int_par_col(), lexmin_col_pair(), lexmin_pivot_col(), max_is_manifestly_unbounded(), min_is_manifestly_unbounded(), pivot_row(), propagate_equalities(), report_conflict(), restore_basis(), row_at_most_neg_one(), row_cmp(), row_is_big(), row_is_manifestly_non_integral(), row_is_manifestly_zero(), row_is_neg(), row_sgn(), sample_is_finite(), separation_type(), set_row_cst_to_div(), sol_add(), swap_cols(), tab_detect_nonnegative_parameters(), to_col(), to_row(), unrelax(), and update_row_sign().
◆ mat
| struct isl_mat* isl_tab::mat |
Definition at line 136 of file isl_tab.h.
Referenced by add_chamber(), add_cut(), add_eq(), add_lexmin_eq(), add_parametric_cut(), add_vertex(), add_zero_row(), at_least_one(), at_least_zero(), check_lexpos(), check_samples(), check_table(), close_row(), context_gbr_save(), create_todo(), cut_to_hyperplane(), drop_row(), extract_integer_sample(), extract_sample_sequence(), find_pivot(), find_solutions_main(), first_neg(), gbr_get_shifted_sample(), gbr_init_shifted(), get_rounded_sample_value(), get_row_parameter_div(), get_row_parameter_ineq(), get_row_parameter_line(), get_row_split_div(), identical_parameter_line(), init_lp(), initial_basis(), integer_constant(), integer_parameter(), integer_variable(), is_constant(), is_constant(), is_critical(), is_obviously_neg(), is_obviously_nonneg(), is_parametric_constant(), isl_tab_add_eq(), isl_tab_add_ineq(), isl_tab_add_row(), isl_tab_add_sample(), isl_tab_add_valid_eq(), isl_tab_alloc(), 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_free(), isl_tab_get_ctx(), isl_tab_get_sample_value(), isl_tab_ineq_type(), isl_tab_init_samples(), isl_tab_insert_var(), isl_tab_is_equality(), isl_tab_mark_redundant(), isl_tab_min(), isl_tab_pivot(), isl_tab_product(), isl_tab_push_basis(), isl_tab_relax(), isl_tab_row_is_redundant(), isl_tab_sample(), isl_tab_sample_is_integer(), isl_tab_shift_var(), isl_tab_sign_of_max(), isl_tab_track_bmap(), last_var_col_or_int_par_col(), lexmin_col_pair(), lexmin_pivot_col(), max_is_manifestly_unbounded(), may_be_equality(), min_is_manifestly_unbounded(), outside_point(), perform_undo(), perform_undo_var(), pivot_row(), propagate_equalities(), push_union(), reached(), report_conflict(), restore_basis(), row_at_most_neg_one(), row_cmp(), row_is_big(), row_is_manifestly_non_integral(), row_is_manifestly_zero(), row_is_neg(), row_sgn(), sample_is_finite(), scale_rows(), separation_type(), set_row_cst_to_div(), sign_of_max(), sign_of_min(), sol_add(), swap_cols(), swap_rows(), tab_detect_nonnegative_parameters(), tab_equalities(), tab_for_lexmin(), tab_has_valid_sample(), tab_ineq_sign(), to_col(), to_row(), unrelax(), update_con_after_move(), and update_row_sign().
◆ max_con
| unsigned isl_tab::max_con |
Definition at line 149 of file isl_tab.h.
Referenced by isl_tab_alloc(), isl_tab_allocate_con(), isl_tab_dup(), isl_tab_extend_cons(), and isl_tab_product().
◆ max_var
| unsigned isl_tab::max_var |
Definition at line 146 of file isl_tab.h.
Referenced by isl_tab_alloc(), isl_tab_dup(), isl_tab_extend_vars(), isl_tab_product(), and var_insert_entry().
◆ n_col
| unsigned isl_tab::n_col |
Definition at line 139 of file isl_tab.h.
Referenced by add_cut(), add_eq(), add_gbr_ineq(), add_parametric_cut(), add_zero_row(), check_lexpos(), context_gbr_add_eq(), cut_to_hyperplane(), drop_col(), gbr_get_sample(), initial_basis(), integer_variable(), is_constant(), is_constant(), is_parametric_constant(), isl_tab_add_eq(), isl_tab_add_row(), isl_tab_add_valid_eq(), isl_tab_alloc(), isl_tab_cone_is_bounded(), isl_tab_detect_implicit_equalities(), isl_tab_dup(), isl_tab_extend_cons(), isl_tab_extend_vars(), isl_tab_insert_var(), isl_tab_is_equality(), isl_tab_kill_col(), isl_tab_pivot(), isl_tab_product(), isl_tab_push_basis(), isl_tab_set_initial_basis_with_cone(), last_var_col_or_int_par_col(), lexmin_pivot_col(), report_conflict(), restore_basis(), restore_lexmin(), row_is_manifestly_non_integral(), row_is_manifestly_zero(), separation_type(), set_row_cst_to_div(), tab_equalities(), and uset_gist_compressed().
◆ n_con
| unsigned isl_tab::n_con |
Definition at line 147 of file isl_tab.h.
Referenced by add_chamber(), basic_map_collect_diff(), best_split(), compute_chambers(), con_drop_entries(), copy_ineq(), create_todo(), cut_to_hyperplane(), drop_last_con_in_row(), drop_row(), fix_constant_divs(), init_lp(), init_todo(), isl_tab_add_ineq(), isl_tab_alloc(), isl_tab_allocate_con(), isl_tab_check_con(), isl_tab_dup(), isl_tab_extend_cons(), isl_tab_min(), isl_tab_product(), isl_tab_track_bmap(), n_non_redundant(), select_marked(), tab_detect_nonnegative_parameters(), tab_equalities(), tab_freeze_constraints(), tab_insert_divs(), and update_todo().
◆ n_dead
| unsigned isl_tab::n_dead |
Definition at line 140 of file isl_tab.h.
Referenced by add_eq(), add_gbr_ineq(), can_intersect(), check_lexpos(), close_row(), context_gbr_add_eq(), find_pivot(), gbr_get_sample(), initial_basis(), integer_variable(), is_constant(), is_constant(), is_critical(), is_parametric_constant(), isl_basic_set_compute_vertices(), isl_tab_alloc(), isl_tab_cone_is_bounded(), isl_tab_detect_implicit_equalities(), isl_tab_detect_redundant(), isl_tab_dup(), isl_tab_is_equality(), isl_tab_kill_col(), isl_tab_product(), isl_tab_relax(), isl_tab_row_is_redundant(), isl_tab_set_initial_basis_with_cone(), last_var_col_or_int_par_col(), lexmin_pivot_col(), perform_undo_var(), report_conflict(), row_is_manifestly_non_integral(), row_is_manifestly_zero(), select_marked(), separation_type(), tab_equalities(), and to_col().
◆ n_div
| unsigned isl_tab::n_div |
Definition at line 145 of file isl_tab.h.
Referenced by add_div(), add_parametric_cut(), check_lexpos(), coalesce_info_set_hull_hash(), extract_compressed_stride_constraints(), find_div(), find_solutions_main(), get_div(), get_row_parameter_div(), get_row_parameter_ineq(), get_row_parameter_line(), get_row_split_div(), identical_parameter_line(), int_between_bounds(), integer_parameter(), is_obviously_neg(), is_obviously_nonneg(), is_parameter_var(), isl_basic_map_gist(), isl_tab_add_row(), isl_tab_alloc(), isl_tab_dup(), isl_tab_product(), last_non_zero_var_col(), last_var_col_or_int_par_col(), lexmin_col_pair(), n_div_eq(), next_non_integer_var(), propagate_equalities(), reduce_stride_constraints(), set_row_cst_to_div(), sol_add(), tab_detect_nonnegative_parameters(), and tab_for_lexmin().
◆ n_eq
| unsigned isl_tab::n_eq |
Definition at line 148 of file isl_tab.h.
Referenced by add_eq(), add_lexmin_valid_eq(), any_eq(), copy_ineq(), count_eq(), drop_eq(), find_eq(), fuse(), isl_basic_map_gist(), isl_basic_map_update_from_tab(), isl_basic_set_compute_vertices(), isl_tab_add_ineq(), isl_tab_alloc(), isl_tab_dup(), isl_tab_make_equalities_explicit(), isl_tab_product(), isl_tab_track_bmap(), tab_add_constraints(), tab_insert_divs(), tab_shift_cone(), update_ineq(), and uset_gist_full().
◆ n_outside
| unsigned isl_tab::n_outside |
Definition at line 163 of file isl_tab.h.
Referenced by check_samples(), context_tab_insert_div(), isl_tab_detect_equalities(), isl_tab_drop_sample(), isl_tab_dup(), isl_tab_init_samples(), perform_undo(), tab_has_valid_sample(), and tab_ineq_sign().
◆ n_param
| unsigned isl_tab::n_param |
Definition at line 144 of file isl_tab.h.
Referenced by add_parametric_cut(), check_lexpos(), find_solutions_main(), get_row_parameter_div(), get_row_parameter_ineq(), get_row_parameter_line(), get_row_split_div(), identical_parameter_line(), integer_parameter(), is_obviously_neg(), is_obviously_nonneg(), is_parameter_var(), isl_tab_add_row(), isl_tab_alloc(), isl_tab_dup(), isl_tab_product(), last_non_zero_var_col(), last_var_col_or_int_par_col(), lexmin_col_pair(), next_non_integer_var(), propagate_equalities(), sol_add(), tab_detect_nonnegative_parameters(), and tab_for_lexmin().
◆ n_redundant
| unsigned isl_tab::n_redundant |
Definition at line 141 of file isl_tab.h.
Referenced by best_split(), check_table(), find_solutions(), find_solutions_main(), first_neg(), isl_tab_alloc(), isl_tab_cone_is_bounded(), isl_tab_detect_implicit_equalities(), isl_tab_detect_redundant(), isl_tab_dup(), isl_tab_is_redundant(), isl_tab_mark_redundant(), isl_tab_pivot(), isl_tab_product(), isl_tab_relax(), isl_tab_restore_redundant(), max_is_manifestly_unbounded(), min_is_manifestly_unbounded(), perform_undo_var(), pivot_row(), reset_any_to_unknown(), restore_last_redundant(), row_sign(), select_marked(), and to_row().
◆ n_row
| unsigned isl_tab::n_row |
Definition at line 138 of file isl_tab.h.
Referenced by cut_to_hyperplane(), drop_row(), first_neg(), isl_tab_alloc(), isl_tab_allocate_con(), isl_tab_cone_is_bounded(), isl_tab_detect_redundant(), isl_tab_dup(), isl_tab_extend_cons(), isl_tab_insert_var(), isl_tab_mark_redundant(), isl_tab_pivot(), isl_tab_product(), isl_tab_relax(), isl_tab_shift_var(), scale_rows(), unrelax(), update_row_sign(), and uset_gist_compressed().
◆ n_sample
| unsigned isl_tab::n_sample |
Definition at line 162 of file isl_tab.h.
Referenced by check_samples(), context_tab_insert_div(), drop_samples_since(), isl_tab_add_sample(), isl_tab_detect_equalities(), isl_tab_dup(), isl_tab_init_samples(), isl_tab_save_samples(), and tab_has_valid_sample().
◆ n_unbounded
| int isl_tab::n_unbounded |
Definition at line 168 of file isl_tab.h.
Referenced by gbr_get_sample(), greedy_search(), initial_basis(), initial_hull(), isl_tab_alloc(), isl_tab_compute_reduced_basis(), isl_tab_detect_equalities(), isl_tab_dup(), isl_tab_product(), isl_tab_sample(), isl_tab_set_initial_basis_with_cone(), and tab_shift_cone().
◆ n_var
| unsigned isl_tab::n_var |
Definition at line 143 of file isl_tab.h.
Referenced by add_div(), add_lexmin_eq(), add_lexmin_valid_eq(), add_parametric_cut(), add_subs(), check_lexpos(), check_samples(), compute_max(), context_gbr_insert_div(), context_tab_insert_div(), create_todo(), detect_constant_with_tmp(), div_is_nonneg(), drop_bmap_div(), expand_tab(), extend_affine_hull(), extract_integer_sample(), find_solutions_main(), fix_constant_divs(), force_better_solution(), gbr_get_sample(), gbr_tab(), get_row_parameter_line(), greedy_search(), identical_parameter_line(), init_lexmin_data(), init_lp(), initial_basis(), integer_parameter(), is_obviously_neg(), is_obviously_nonneg(), is_parameter_var(), isl_basic_set_reduced_basis(), isl_tab_add_div(), isl_tab_add_eq(), isl_tab_add_row(), isl_tab_alloc(), isl_tab_compute_reduced_basis(), isl_tab_detect_constants(), isl_tab_detect_equalities(), isl_tab_dup(), isl_tab_extend_vars(), isl_tab_get_sample_value(), isl_tab_init_samples(), isl_tab_insert_div(), isl_tab_is_constant(), isl_tab_lexmin_add_eq(), isl_tab_product(), isl_tab_sample(), isl_tab_sample_is_integer(), isl_tab_set_initial_basis_with_cone(), last_non_zero_var_col(), last_var_col_or_int_par_col(), lexmin_col_pair(), next_non_integer_var(), outside_point(), propagate_equalities(), sample_is_finite(), set_row_cst_to_div(), sol_add(), tab_detect_nonnegative_parameters(), tab_equalities(), tab_for_lexmin(), tab_has_valid_sample(), tab_ineq_sign(), tab_is_manifestly_empty(), tab_shift_cone(), var_drop_entry(), and var_insert_entry().
◆ n_zero
| int isl_tab::n_zero |
Definition at line 167 of file isl_tab.h.
Referenced by gbr_get_sample(), initial_basis(), isl_basic_set_reduced_basis(), isl_tab_alloc(), isl_tab_compute_reduced_basis(), isl_tab_detect_equalities(), isl_tab_dup(), isl_tab_product(), isl_tab_sample(), and isl_tab_set_initial_basis_with_cone().
◆ need_undo
| unsigned isl_tab::need_undo |
Definition at line 175 of file isl_tab.h.
Referenced by close_row(), isl_tab_add_eq(), isl_tab_alloc(), isl_tab_clear_undo(), isl_tab_freeze_constraint(), isl_tab_kill_col(), isl_tab_mark_empty(), isl_tab_mark_rational(), isl_tab_mark_redundant(), isl_tab_need_undo(), isl_tab_product(), isl_tab_restore_redundant(), isl_tab_snap(), and push_union().
◆ preserve
| unsigned isl_tab::preserve |
Definition at line 176 of file isl_tab.h.
Referenced by isl_basic_map_remove_redundancies(), isl_tab_from_basic_map(), and isl_tab_mark_redundant().
◆ rational
| unsigned isl_tab::rational |
Definition at line 177 of file isl_tab.h.
Referenced by con_is_redundant(), find_solutions(), isl_basic_map_update_from_tab(), isl_tab_alloc(), isl_tab_detect_constants(), isl_tab_detect_implicit_equalities(), isl_tab_dup(), isl_tab_from_basic_map(), isl_tab_from_recession_cone(), isl_tab_ineq_type(), isl_tab_is_constant(), isl_tab_mark_rational(), isl_tab_product(), may_be_equality(), perform_undo(), separation_type(), tab_for_lexmin(), tab_for_shifted_cone(), and tab_is_manifestly_empty().
◆ row_sign
| enum isl_tab_row_sign* isl_tab::row_sign |
Definition at line 154 of file isl_tab.h.
Referenced by add_cut(), add_parametric_cut(), best_split(), find_solutions(), first_neg(), isl_tab_add_row(), isl_tab_dup(), isl_tab_extend_cons(), isl_tab_free(), isl_tab_product(), reset_any_to_unknown(), row_sign(), swap_rows(), tab_for_lexmin(), and update_row_sign().
◆ row_var
| int* isl_tab::row_var |
Definition at line 152 of file isl_tab.h.
Referenced by cut_to_hyperplane(), drop_row(), find_solutions_main(), isl_tab_alloc(), isl_tab_allocate_con(), isl_tab_dup(), isl_tab_extend_cons(), isl_tab_free(), isl_tab_mark_redundant(), isl_tab_pivot(), isl_tab_product(), isl_tab_push_var(), isl_tab_restore_redundant(), isl_tab_row_is_redundant(), isl_tab_var_from_row(), pivot_row(), report_conflict(), row_is_parameter_var(), swap_rows(), update_con_after_move(), var_drop_entry(), and var_insert_entry().
◆ sample_index
| int* isl_tab::sample_index |
Definition at line 164 of file isl_tab.h.
Referenced by drop_samples_since(), isl_tab_add_sample(), isl_tab_drop_sample(), isl_tab_free(), isl_tab_init_samples(), and isl_tab_product().
◆ samples
| struct isl_mat* isl_tab::samples |
Definition at line 165 of file isl_tab.h.
Referenced by check_samples(), context_tab_insert_div(), drop_bmap_div(), drop_samples_since(), extend_affine_hull(), isl_tab_add_sample(), isl_tab_detect_equalities(), isl_tab_drop_sample(), isl_tab_dup(), isl_tab_free(), isl_tab_init_samples(), isl_tab_product(), tab_has_valid_sample(), and tab_ineq_sign().
◆ strict_redundant
| unsigned isl_tab::strict_redundant |
Definition at line 174 of file isl_tab.h.
Referenced by isl_basic_set_compute_vertices(), isl_tab_alloc(), isl_tab_product(), and isl_tab_row_is_redundant().
◆ top
| struct isl_tab_undo* isl_tab::top |
Definition at line 157 of file isl_tab.h.
Referenced by free_undo(), isl_tab_alloc(), isl_tab_product(), isl_tab_rollback(), isl_tab_snap(), and push_union().
◆ var
| struct isl_tab_var* isl_tab::var |
Definition at line 150 of file isl_tab.h.
Referenced by add_div(), add_parametric_cut(), check_lexpos(), context_gbr_insert_div(), context_tab_insert_div(), cut_to_integer_lexmin(), detect_constant_with_tmp(), div_is_nonneg(), extract_integer_sample(), extract_sample_sequence(), first_non_integer_row(), get_row_parameter_line(), identical_parameter_line(), integer_parameter(), is_obviously_neg(), is_obviously_nonneg(), isl_tab_add_row(), isl_tab_alloc(), isl_tab_detect_constants(), isl_tab_dup(), isl_tab_extend_vars(), isl_tab_free(), isl_tab_get_sample_value(), isl_tab_insert_div(), isl_tab_insert_var(), isl_tab_is_constant(), isl_tab_product(), isl_tab_sample_is_integer(), isl_tab_shift_var(), last_non_zero_var_col(), last_var_col_or_int_par_col(), lexmin_col_pair(), next_non_integer_var(), sample_is_finite(), set_row_cst_to_div(), sol_add(), tab_detect_nonnegative_parameters(), tab_for_lexmin(), tab_is_manifestly_empty(), var_drop_entry(), var_from_index(), and var_insert_entry().
The documentation for this struct was generated from the following file:
Generated on for Polly by
1.14.0