131 	struct isl_tab *tab;  member
601 	struct isl_tab *tab;  in sol_inc_level()  local
672 static void sol_add(struct isl_sol *sol, struct isl_tab *tab)  in sol_add()
842 static void get_row_parameter_line(struct isl_tab *tab, int row, isl_int *line)  in get_row_parameter_line()
873 static int identical_parameter_line(struct isl_tab *tab, int row1, int row2)  in identical_parameter_line()
905 static struct isl_vec *get_row_parameter_ineq(struct isl_tab *tab, int row)  in get_row_parameter_ineq()
955 static struct isl_vec *get_row_parameter_div(struct isl_tab *tab, int row)  in get_row_parameter_div()
983 static struct isl_vec *get_row_split_div(struct isl_tab *tab, int row)  in get_row_split_div()
1044 static struct isl_tab *set_row_cst_to_div(struct isl_tab *tab, int row, int div)  in set_row_cst_to_div()
1081 static int is_obviously_neg(struct isl_tab *tab, int row)  in is_obviously_neg()
1130 static int is_obviously_nonneg(struct isl_tab *tab, int row)  in is_obviously_nonneg()
1187 static int lexmin_col_pair(struct isl_tab *tab,  in lexmin_col_pair()
1236 static int is_parameter_var(struct isl_tab *tab, int index)  in is_parameter_var()
1249 static int col_is_parameter_var(struct isl_tab *tab, int col)  in col_is_parameter_var()
1256 static int row_is_parameter_var(struct isl_tab *tab, int row)  in row_is_parameter_var()
1267 static int lexmin_pivot_col(struct isl_tab *tab, int row)  in lexmin_pivot_col()
1306 static int first_neg(struct isl_tab *tab)  in first_neg()
1341 static void check_lexpos(struct isl_tab *tab)  in check_lexpos()
1374 static int report_conflicting_constraint(struct isl_tab *tab, int con)  in report_conflicting_constraint()
1384 static int report_conflict(struct isl_tab *tab, int row)  in report_conflict()
1420 static int restore_lexmin(struct isl_tab *tab)  in restore_lexmin()
1466 static int last_var_col_or_int_par_col(struct isl_tab *tab, int row)  in last_var_col_or_int_par_col()
1499 static struct isl_tab *add_lexmin_valid_eq(struct isl_tab *tab, isl_int *eq)  in add_lexmin_valid_eq()
1539 static int is_constant(struct isl_tab *tab, int row)  in is_constant()
1550 static int is_parametric_constant(struct isl_tab *tab, int row)  in is_parametric_constant()
1579 static int add_lexmin_eq(struct isl_tab *tab, isl_int *eq)  in add_lexmin_eq()
1657 static struct isl_tab *add_lexmin_ineq(struct isl_tab *tab, isl_int *ineq)  in add_lexmin_ineq()
1696 static int integer_parameter(struct isl_tab *tab, int row)  in integer_parameter()
1724 static int integer_variable(struct isl_tab *tab, int row)  in integer_variable()
1741 static int integer_constant(struct isl_tab *tab, int row)  in integer_constant()
1762 static int next_non_integer_var(struct isl_tab *tab, int var, int *f)  in next_non_integer_var()
1796 static int first_non_integer_row(struct isl_tab *tab, int *f)  in first_non_integer_row()
1825 static int add_cut(struct isl_tab *tab, int row)  in add_cut()
1876 static struct isl_tab *cut_to_integer_lexmin(struct isl_tab *tab,  in cut_to_integer_lexmin()
1917 static struct isl_tab *check_samples(struct isl_tab *tab, isl_int *ineq, int eq)  in check_samples()
1954 static int sample_is_finite(struct isl_tab *tab)  in sample_is_finite()
1980 static struct isl_tab *check_integer_feasible(struct isl_tab *tab)  in check_integer_feasible()
2016 static int tab_has_valid_sample(struct isl_tab *tab, isl_int *ineq, int eq)  in tab_has_valid_sample()
2045 static isl_bool context_tab_insert_div(struct isl_tab *tab, int pos,  in context_tab_insert_div()
2090 static int add_div(struct isl_tab *tab, struct isl_context *context,  in add_div()
2128 static int find_div(struct isl_tab *tab, isl_int *div, isl_int denom)  in find_div()
2150 static int get_div(struct isl_tab *tab, struct isl_context *context,  in get_div()
2193 static int add_parametric_cut(struct isl_tab *tab, int row,  in add_parametric_cut()
2304 	struct isl_tab *tab;  in tab_for_lexmin()  local
2401 static int best_split(struct isl_tab *tab, struct isl_tab *context_tab)  in best_split()
2543 static enum isl_tab_row_sign tab_ineq_sign(struct isl_tab *tab, isl_int *ineq,  in tab_ineq_sign()
2616 static int context_lex_get_div(struct isl_context *context, struct isl_tab *tab,  in context_lex_get_div()
2645 		struct isl_tab *tab)  in context_lex_detect_equalities()
2651 		struct isl_tab *tab)  in context_lex_best_split()
2714 static struct isl_tab *tab_detect_nonnegative_parameters(struct isl_tab *tab,  in tab_detect_nonnegative_parameters()
2769 	struct isl_context *context, struct isl_tab *tab)  in context_lex_detect_nonnegative_parameters()
2832 	struct isl_tab *tab;  in context_tab_for_lexmin()  local
2882 	struct isl_tab *tab;  member
2888 	struct isl_context *context, struct isl_tab *tab)  in context_gbr_detect_nonnegative_parameters()
3092 static struct isl_tab *add_gbr_eq(struct isl_tab *tab, isl_int *eq)  in add_gbr_eq()
3292 static int last_non_zero_var_col(struct isl_tab *tab, isl_int *p)  in last_non_zero_var_col()
3331 	struct isl_tab *tab, unsigned first)  in propagate_equalities()
3395 	struct isl_tab *tab)  in context_gbr_detect_equalities()
3427 static int context_gbr_get_div(struct isl_context *context, struct isl_tab *tab,  in context_gbr_get_div()
3466 		struct isl_tab *tab)  in context_gbr_best_split()
3744 static int is_critical(struct isl_tab *tab, int row)  in is_critical()
3839 static enum isl_tab_row_sign row_sign(struct isl_tab *tab,  in row_sign()
3926 static void find_in_pos(struct isl_sol *sol, struct isl_tab *tab, isl_int *ineq)  in find_in_pos()
3955 	struct isl_tab *tab, struct isl_vec *ineq)  in no_sol_in_strict()
3986 static void reset_any_to_unknown(struct isl_tab *tab)  in reset_any_to_unknown()
4092 static void find_solutions(struct isl_sol *sol, struct isl_tab *tab)  in find_solutions()
4244 static void find_solutions_main(struct isl_sol *sol, struct isl_tab *tab)  in find_solutions_main()
4425 	struct isl_tab *tab;  in basic_map_partial_lexopt_base_sol()  local
4981 static __isl_give isl_vec *extract_sample_sequence(struct isl_tab *tab,  in extract_sample_sequence()
5012 static isl_bool region_is_trivial(struct isl_tab *tab, int pos,  in region_is_trivial()
5059 	struct isl_tab *tab;  member
5113 static int force_better_solution(struct isl_tab *tab,  in force_better_solution()
5158 static isl_stat fix_zero(struct isl_tab *tab, struct isl_trivial_region *region,  in fix_zero()
5185 static struct isl_tab *pos_neg(struct isl_tab *tab,  in pos_neg()
5556 	struct isl_tab *tab;  member