Polly 20.0.0git
|
Public Attributes | |
int | n_op |
int | n_region |
struct isl_trivial_region * | region |
struct isl_tab * | tab |
struct isl_local_region * | local |
isl_vec * | v |
isl_vec * | sol |
Definition at line 5054 of file isl_tab_pip.c.
struct isl_local_region* isl_lexmin_data::local |
Definition at line 5060 of file isl_tab_pip.c.
Referenced by clear_lexmin_data(), enter_level(), init_lexmin_data(), isl_tab_basic_set_non_trivial_lexmin(), and update_outer_levels().
int isl_lexmin_data::n_op |
Definition at line 5055 of file isl_tab_pip.c.
Referenced by better_next_side(), enter_level(), and isl_tab_basic_set_non_trivial_lexmin().
int isl_lexmin_data::n_region |
Definition at line 5056 of file isl_tab_pip.c.
Referenced by enter_level(), first_trivial_region(), init_lexmin_data(), and isl_tab_basic_set_non_trivial_lexmin().
struct isl_trivial_region* isl_lexmin_data::region |
Definition at line 5057 of file isl_tab_pip.c.
Referenced by first_trivial_region(), init_local_region(), isl_tab_basic_set_non_trivial_lexmin(), and pick_side().
isl_vec* isl_lexmin_data::sol |
Definition at line 5063 of file isl_tab_pip.c.
Referenced by better_next_side(), enter_level(), init_lexmin_data(), and isl_tab_basic_set_non_trivial_lexmin().
struct isl_tab* isl_lexmin_data::tab |
Definition at line 5059 of file isl_tab_pip.c.
Referenced by better_next_side(), clear_lexmin_data(), enter_level(), finished_all_cases(), first_trivial_region(), init_lexmin_data(), isl_tab_basic_set_non_trivial_lexmin(), and pick_side().
isl_vec* isl_lexmin_data::v |
Definition at line 5061 of file isl_tab_pip.c.
Referenced by clear_lexmin_data(), enter_level(), fix_zero(), init_lexmin_data(), and pos_neg().