isl_tab_var Struct Reference

#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

Definition at line 20 of file isl_tab.h.

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(), find_solutions(), 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

unsigned isl_tab_var::marked

Definition at line 26 of file isl_tab.h.

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:

• isl_tab.h