#include <isl_tab.h>
Public Attributes | |
| int | index |
| unsigned | is_row: 1 |
| unsigned | is_nonneg: 1 |
| unsigned | is_zero: 1 |
| unsigned | is_redundant: 1 |
| unsigned | marked: 1 |
| unsigned | frozen: 1 |
| unsigned | negated: 1 |
Detailed Description
Member Data Documentation
◆ frozen
| unsigned isl_tab_var::frozen |
Definition at line 27 of file isl_tab.h.
Referenced by add_chamber(), add_div(), context_tab_insert_div(), create_todo(), cut_to_hyperplane(), init_todo(), isl_tab_alloc(), isl_tab_allocate_con(), isl_tab_insert_var(), isl_tab_pivot(), tab_for_lexmin(), and update_todo().
◆ index
| int isl_tab_var::index |
Definition at line 21 of file isl_tab.h.
Referenced by add_cut(), add_eq(), add_lexmin_eq(), add_lexmin_ineq(), add_lexmin_valid_eq(), add_parametric_cut(), add_zero_row(), check_lexpos(), cut_to_hyperplane(), cut_to_integer_lexmin(), drop_last_con_in_row(), 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_ineq(), isl_tab_add_row(), isl_tab_alloc(), isl_tab_allocate_con(), isl_tab_get_sample_value(), isl_tab_ineq_type(), isl_tab_insert_var(), isl_tab_is_equality(), isl_tab_is_redundant(), isl_tab_kill_col(), isl_tab_mark_redundant(), isl_tab_min(), isl_tab_min_at_most_neg_one(), isl_tab_sample_is_integer(), last_non_zero_var_col(), last_var_col_or_int_par_col(), lexmin_col_pair(), next_non_integer_var(), propagate_equalities(), sample_is_finite(), set_row_cst_to_div(), sign_of_min(), sol_add(), swap_cols(), swap_rows(), tab_equalities(), tab_is_manifestly_empty(), update_con_after_move(), var_drop_entry(), and var_insert_entry().
◆ is_nonneg
| unsigned isl_tab_var::is_nonneg |
Definition at line 23 of file isl_tab.h.
Referenced by add_cut(), add_div(), add_lexmin_eq(), add_lexmin_ineq(), add_lexmin_valid_eq(), add_parametric_cut(), best_split(), context_tab_insert_div(), cut_to_hyperplane(), div_is_nonneg(), find_pivot(), is_obviously_neg(), is_obviously_nonneg(), isl_tab_add_ineq(), isl_tab_alloc(), isl_tab_allocate_con(), isl_tab_from_recession_cone(), isl_tab_insert_div(), isl_tab_insert_var(), isl_tab_row_is_redundant(), max_is_manifestly_unbounded(), min_is_manifestly_unbounded(), pivot_row(), tab_detect_nonnegative_parameters(), and tab_for_lexmin().
◆ is_redundant
| unsigned isl_tab_var::is_redundant |
Definition at line 25 of file isl_tab.h.
Referenced by cut_to_hyperplane(), init_todo(), isl_tab_alloc(), isl_tab_allocate_con(), isl_tab_insert_var(), isl_tab_is_equality(), isl_tab_is_redundant(), isl_tab_min_at_most_neg_one(), sign_of_min(), update_todo(), and uset_gist_full().
◆ is_row
| unsigned isl_tab_var::is_row |
Definition at line 22 of file isl_tab.h.
Referenced by add_lexmin_eq(), add_lexmin_ineq(), add_parametric_cut(), check_lexpos(), cut_to_hyperplane(), drop_last_con_in_row(), extract_integer_sample(), extract_sample_sequence(), get_row_parameter_line(), identical_parameter_line(), integer_parameter(), is_obviously_neg(), is_obviously_nonneg(), isl_tab_add_ineq(), isl_tab_add_row(), isl_tab_alloc(), isl_tab_allocate_con(), isl_tab_get_sample_value(), isl_tab_insert_var(), isl_tab_is_equality(), isl_tab_is_redundant(), isl_tab_min(), isl_tab_sample_is_integer(), 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_equalities(), tab_is_manifestly_empty(), update_con_after_move(), var_drop_entry(), and var_insert_entry().
◆ is_zero
| unsigned isl_tab_var::is_zero |
Definition at line 24 of file isl_tab.h.
Referenced by cut_to_hyperplane(), isl_tab_add_row(), isl_tab_alloc(), isl_tab_allocate_con(), isl_tab_insert_var(), isl_tab_is_equality(), isl_tab_is_redundant(), and isl_tab_kill_col().
◆ marked
◆ negated
| unsigned isl_tab_var::negated |
Definition at line 28 of file isl_tab.h.
Referenced by cut_to_hyperplane(), isl_tab_alloc(), isl_tab_allocate_con(), isl_tab_insert_var(), and isl_tab_min().
The documentation for this struct was generated from the following file:
Generated on for Polly by
1.14.0