isl_tab_pip.c File Reference

#include <isl_ctx_private.h>
#include "isl_map_private.h"
#include <isl_seq.h>
#include "isl_tab.h"
#include "isl_sample.h"
#include <isl_mat_private.h>
#include <isl_vec_private.h>
#include <isl_aff_private.h>
#include <isl_constraint_private.h>
#include <isl_options_private.h>
#include <isl_config.h>
#include <bset_to_bmap.c>
#include "isl_tab_lexopt_templ.c"

Go to the source code of this file.

Classes
struct	isl_context_op
struct	isl_context
struct	isl_context_lex
struct	isl_partial_sol
struct	isl_sol_callback
struct	isl_sol
struct	isl_sol_map
struct	isl_context_gbr
struct	isl_gbr_tab_undo
struct	isl_constraint_equal_info
struct	isl_lexmin_data
struct	isl_local_region
struct	isl_tab_lexmin
struct	isl_sol_pma

Macros
#define	I_CST   1 << 0
#define	I_PAR   1 << 1
#define	I_VAR   1 << 2
#define	CUT_ALL   1
#define	CUT_ONE   0
#define	TYPE   isl_map
#define	SUFFIX
#define	TYPE   isl_pw_multi_aff
#define	SUFFIX   _pw_multi_aff

Enumerations
enum	isl_next { isl_next_error = -1 , isl_next_done , isl_next_backtrack , isl_next_handle }

Functions
static void	sol_free (struct isl_sol *sol)
static void	sol_push_sol (struct isl_sol *sol, __isl_take isl_basic_set *dom, __isl_take isl_multi_aff *ma)
static isl_stat	check_final_columns_are_zero (__isl_keep isl_mat *M, unsigned first)
static __isl_give isl_multi_aff *	set_from_affine_matrix (__isl_take isl_multi_aff *ma, __isl_take isl_local_space *ls, __isl_take isl_mat *M)
static void	sol_push_sol_mat (struct isl_sol *sol, __isl_take isl_basic_set *dom, __isl_take isl_mat *M)
static void	sol_pop_one (struct isl_sol *sol)
static struct isl_basic_set *	sol_domain (struct isl_sol *sol)
static isl_bool	same_solution (struct isl_partial_sol *s1, struct isl_partial_sol *s2)
static void	swap_initial (struct isl_sol *sol)
static isl_stat	combine_initial_into_second (struct isl_sol *sol)
static isl_bool	equal_on_domain (__isl_keep isl_multi_aff *ma1, __isl_keep isl_multi_aff *ma2, __isl_keep isl_basic_set *dom)
static isl_stat	combine_initial_if_equal (struct isl_sol *sol)
static void	sol_pop (struct isl_sol *sol)
static void	sol_dec_level (struct isl_sol *sol)
static isl_stat	sol_dec_level_wrap (struct isl_tab_callback *cb)
static void	sol_inc_level (struct isl_sol *sol)
static void	scale_rows (struct isl_mat *mat, isl_int m, int n_row)
static void	sol_add (struct isl_sol *sol, struct isl_tab *tab)
static void	sol_map_free (struct isl_sol *sol)
static void	sol_map_add_empty (struct isl_sol_map *sol, struct isl_basic_set *bset)
static void	sol_map_add_empty_wrap (struct isl_sol *sol, struct isl_basic_set *bset)
static void	sol_map_add (struct isl_sol_map *sol, __isl_take isl_basic_set *dom, __isl_take isl_multi_aff *ma)
static void	sol_map_add_wrap (struct isl_sol *sol, __isl_take isl_basic_set *dom, __isl_take isl_multi_aff *ma)
static void	get_row_parameter_line (struct isl_tab *tab, int row, isl_int *line)
static int	identical_parameter_line (struct isl_tab *tab, int row1, int row2)
static struct isl_vec *	get_row_parameter_ineq (struct isl_tab *tab, int row)
static void	normalize_div (__isl_keep isl_vec *div)
static struct isl_vec *	get_row_parameter_div (struct isl_tab *tab, int row)
static struct isl_vec *	get_row_split_div (struct isl_tab *tab, int row)
static __isl_give isl_vec *	ineq_for_div (__isl_keep isl_basic_set *bset, unsigned div)
static struct isl_tab *	set_row_cst_to_div (struct isl_tab *tab, int row, int div)
static int	is_obviously_neg (struct isl_tab *tab, int row)
static int	is_obviously_nonneg (struct isl_tab *tab, int row)
static int	lexmin_col_pair (struct isl_tab *tab, int row, int col1, int col2, isl_int tmp)
static int	is_parameter_var (struct isl_tab *tab, int index)
static int	col_is_parameter_var (struct isl_tab *tab, int col)
static int	row_is_parameter_var (struct isl_tab *tab, int row)
static int	lexmin_pivot_col (struct isl_tab *tab, int row)
static int	first_neg (struct isl_tab *tab)
static void	check_lexpos (struct isl_tab *tab) __attribute__((unused))
static int	report_conflicting_constraint (struct isl_tab *tab, int con)
static int	report_conflict (struct isl_tab *tab, int row)
static int	restore_lexmin (struct isl_tab *tab) WARN_UNUSED
static int	last_var_col_or_int_par_col (struct isl_tab *tab, int row)
static struct isl_tab *	add_lexmin_valid_eq (struct isl_tab *tab, isl_int *eq)
static int	is_constant (struct isl_tab *tab, int row)
static int	is_parametric_constant (struct isl_tab *tab, int row)
static int	add_lexmin_eq (struct isl_tab *tab, isl_int *eq) WARN_UNUSED
static struct isl_tab *	add_lexmin_ineq (struct isl_tab *tab, isl_int *ineq)
static int	integer_parameter (struct isl_tab *tab, int row)
static int	integer_variable (struct isl_tab *tab, int row)
static int	integer_constant (struct isl_tab *tab, int row)
static int	next_non_integer_var (struct isl_tab *tab, int var, int *f)
static int	first_non_integer_row (struct isl_tab *tab, int *f)
static int	add_cut (struct isl_tab *tab, int row)
static struct isl_tab *	cut_to_integer_lexmin (struct isl_tab *tab, int cutting_strategy)
static struct isl_tab *	check_samples (struct isl_tab *tab, isl_int *ineq, int eq)
static int	sample_is_finite (struct isl_tab *tab)
static struct isl_tab *	check_integer_feasible (struct isl_tab *tab)
static int	tab_has_valid_sample (struct isl_tab *tab, isl_int *ineq, int eq)
static isl_bool	context_tab_insert_div (struct isl_tab *tab, int pos, __isl_keep isl_vec *div, isl_stat(*add_ineq)(void *user, isl_int *), void *user)
static int	add_div (struct isl_tab *tab, struct isl_context *context, __isl_keep isl_vec *div)
static int	find_div (struct isl_tab *tab, isl_int *div, isl_int denom)
static int	get_div (struct isl_tab *tab, struct isl_context *context, struct isl_vec *div)
static int	add_parametric_cut (struct isl_tab *tab, int row, struct isl_context *context)
static __isl_give struct isl_tab *	tab_for_lexmin (__isl_keep isl_basic_map *bmap, __isl_keep isl_basic_set *dom, unsigned M, int max)
static int	best_split (struct isl_tab *tab, struct isl_tab *context_tab)
static struct isl_basic_set *	context_lex_peek_basic_set (struct isl_context *context)
static struct isl_tab *	context_lex_peek_tab (struct isl_context *context)
static void	context_lex_add_eq (struct isl_context *context, isl_int *eq, int check, int update)
static void	context_lex_add_ineq (struct isl_context *context, isl_int *ineq, int check, int update)
static isl_stat	context_lex_add_ineq_wrap (void *user, isl_int *ineq)
static enum isl_tab_row_sign	tab_ineq_sign (struct isl_tab *tab, isl_int *ineq, int strict)
static enum isl_tab_row_sign	context_lex_ineq_sign (struct isl_context *context, isl_int *ineq, int strict)
static int	context_lex_test_ineq (struct isl_context *context, isl_int *ineq)
static int	context_lex_get_div (struct isl_context *context, struct isl_tab *tab, struct isl_vec *div)
static isl_bool	context_lex_insert_div (struct isl_context *context, int pos, __isl_keep isl_vec *div)
static int	context_lex_detect_equalities (struct isl_context *context, struct isl_tab *tab)
static int	context_lex_best_split (struct isl_context *context, struct isl_tab *tab)
static int	context_lex_is_empty (struct isl_context *context)
static void *	context_lex_save (struct isl_context *context)
static void	context_lex_restore (struct isl_context *context, void *save)
static void	context_lex_discard (void *save)
static int	context_lex_is_ok (struct isl_context *context)
static struct isl_tab *	tab_detect_nonnegative_parameters (struct isl_tab *tab, struct isl_tab *context_tab)
static struct isl_tab *	context_lex_detect_nonnegative_parameters (struct isl_context *context, struct isl_tab *tab)
static void	context_lex_invalidate (struct isl_context *context)
static __isl_null struct isl_context *	context_lex_free (struct isl_context *context)
static struct isl_tab *	context_tab_for_lexmin (__isl_take isl_basic_set *bset)
static struct isl_context *	isl_context_lex_alloc (struct isl_basic_set *dom)
static struct isl_tab *	context_gbr_detect_nonnegative_parameters (struct isl_context *context, struct isl_tab *tab)
static struct isl_basic_set *	context_gbr_peek_basic_set (struct isl_context *context)
static struct isl_tab *	context_gbr_peek_tab (struct isl_context *context)
static void	gbr_init_shifted (struct isl_context_gbr *cgbr)
static struct isl_vec *	gbr_get_shifted_sample (struct isl_context_gbr *cgbr)
static __isl_give isl_basic_set *	drop_constant_terms (__isl_take isl_basic_set *bset)
static int	use_shifted (struct isl_context_gbr *cgbr)
static struct isl_vec *	gbr_get_sample (struct isl_context_gbr *cgbr)
static void	check_gbr_integer_feasible (struct isl_context_gbr *cgbr)
static struct isl_tab *	add_gbr_eq (struct isl_tab *tab, isl_int *eq)
static void	context_gbr_add_eq (struct isl_context *context, isl_int *eq, int check, int update)
static void	add_gbr_ineq (struct isl_context_gbr *cgbr, isl_int *ineq)
static void	context_gbr_add_ineq (struct isl_context *context, isl_int *ineq, int check, int update)
static isl_stat	context_gbr_add_ineq_wrap (void *user, isl_int *ineq)
static enum isl_tab_row_sign	context_gbr_ineq_sign (struct isl_context *context, isl_int *ineq, int strict)
static int	context_gbr_test_ineq (struct isl_context *context, isl_int *ineq)
static int	last_non_zero_var_col (struct isl_tab *tab, isl_int *p)
static int	propagate_equalities (struct isl_context_gbr *cgbr, struct isl_tab *tab, unsigned first)
static int	context_gbr_detect_equalities (struct isl_context *context, struct isl_tab *tab)
static int	context_gbr_get_div (struct isl_context *context, struct isl_tab *tab, struct isl_vec *div)
static isl_bool	context_gbr_insert_div (struct isl_context *context, int pos, __isl_keep isl_vec *div)
static int	context_gbr_best_split (struct isl_context *context, struct isl_tab *tab)
static int	context_gbr_is_empty (struct isl_context *context)
static void *	context_gbr_save (struct isl_context *context)
static void	context_gbr_restore (struct isl_context *context, void *save)
static void	context_gbr_discard (void *save)
static int	context_gbr_is_ok (struct isl_context *context)
static void	context_gbr_invalidate (struct isl_context *context)
static __isl_null struct isl_context *	context_gbr_free (struct isl_context *context)
static struct isl_context *	isl_context_gbr_alloc (__isl_keep isl_basic_set *dom)
static struct isl_context *	isl_context_alloc (__isl_keep isl_basic_set *dom)
static isl_stat	sol_init (struct isl_sol *sol, __isl_keep isl_basic_map *bmap, __isl_keep isl_basic_set *dom, int max)
static struct isl_sol *	sol_map_init (__isl_keep isl_basic_map *bmap, __isl_take isl_basic_set *dom, int track_empty, int max)
static int	is_critical (struct isl_tab *tab, int row)
static int	is_strict (struct isl_vec *vec)
static enum isl_tab_row_sign	row_sign (struct isl_tab *tab, struct isl_sol *sol, int row)
static void	find_solutions (struct isl_sol *sol, struct isl_tab *tab)
static void	find_in_pos (struct isl_sol *sol, struct isl_tab *tab, isl_int *ineq)
static void	no_sol_in_strict (struct isl_sol *sol, struct isl_tab *tab, struct isl_vec *ineq)
static void	reset_any_to_unknown (struct isl_tab *tab)
static int	sol_has_mergeable_solutions (struct isl_sol *sol)
static void	find_solutions_main (struct isl_sol *sol, struct isl_tab *tab)
static int	find_context_div (__isl_keep isl_basic_map *bmap, __isl_keep isl_basic_set *dom, unsigned div)
static __isl_give isl_basic_map *	align_context_divs (__isl_take isl_basic_map *bmap, __isl_keep isl_basic_set *dom)
static struct isl_sol *	basic_map_partial_lexopt_base_sol (__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, __isl_give isl_set **empty, int max, struct isl_sol *(*init)(__isl_keep isl_basic_map *bmap, __isl_take isl_basic_set *dom, int track_empty, int max))
static __isl_give isl_map *	basic_map_partial_lexopt_base (__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, __isl_give isl_set **empty, int max)
static __isl_give int *	count_occurrences (__isl_keep isl_basic_map *bmap, int n)
static int	single_occurrence (int n, isl_int *c, int *occurrences)
static int	all_single_occurrence (__isl_keep isl_basic_map *bmap, int ineq, int n)
static isl_bool	constraint_equal (const void *entry, const void *val)
static isl_bool	parallel_constraints (__isl_keep isl_basic_map *bmap, int *first, int *second)
static __isl_give isl_basic_set *	select_minimum (__isl_take isl_basic_set *bset, __isl_keep isl_mat *var, int i)
static __isl_give isl_set *	set_minimum (__isl_take isl_space *space, __isl_take isl_mat *var)
static isl_bool	need_split_basic_map (__isl_keep isl_basic_map *bmap, __isl_keep isl_mat *cst)
static isl_bool	need_split_basic_set (__isl_keep isl_basic_set *bset, __isl_keep isl_mat *cst)
static isl_bool	need_split_set (__isl_keep isl_set *set, __isl_keep isl_mat *cst)
static __isl_give isl_map *	split_domain (__isl_take isl_map *opt, __isl_take isl_set *min_expr, __isl_take isl_mat *cst)
static __isl_give isl_set *	split (__isl_take isl_set *empty, __isl_take isl_set *min_expr, __isl_take isl_mat *cst)
static __isl_give isl_map *	basic_map_partial_lexopt (__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, __isl_give isl_set **empty, int max)
static __isl_give isl_map *	basic_map_partial_lexopt_symm_core (__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, __isl_give isl_set **empty, int max, __isl_take isl_mat *cst, __isl_take isl_space *map_space, __isl_take isl_space *set_space)
static __isl_give isl_basic_set *	extract_domain (__isl_keep isl_basic_map *bmap, unsigned flags)
static __isl_give isl_vec *	extract_sample_sequence (struct isl_tab *tab, int pos, int len)
static isl_bool	region_is_trivial (struct isl_tab *tab, int pos, __isl_keep isl_mat *trivial)
static int	first_trivial_region (struct isl_lexmin_data *data)
static int	is_optimal (__isl_keep isl_vec *sol, int n_op)
static int	force_better_solution (struct isl_tab *tab, __isl_keep isl_vec *sol, int n_op, int n_zero)
static isl_stat	fix_zero (struct isl_tab *tab, struct isl_trivial_region *region, int dir, struct isl_lexmin_data *data)
static struct isl_tab *	pos_neg (struct isl_tab *tab, struct isl_trivial_region *region, int side, struct isl_lexmin_data *data)
static isl_stat	init_lexmin_data (struct isl_lexmin_data *data, __isl_keep isl_basic_set *bset)
static void	update_outer_levels (struct isl_lexmin_data *data, int level)
static isl_stat	init_local_region (struct isl_local_region *local, int region, struct isl_lexmin_data *data)
static int	finished_all_cases (struct isl_local_region *local, struct isl_lexmin_data *data)
static enum isl_next	enter_level (int level, int init, struct isl_lexmin_data *data)
static isl_stat	better_next_side (struct isl_local_region *local, struct isl_lexmin_data *data)
static isl_stat	pick_side (struct isl_local_region *local, struct isl_lexmin_data *data)
static void	clear_lexmin_data (struct isl_lexmin_data *data)
__isl_give isl_vec *	isl_tab_basic_set_non_trivial_lexmin (__isl_take isl_basic_set *bset, int n_op, int n_region, struct isl_trivial_region *region, int(*conflict)(int con, void *user), void *user)
__isl_null isl_tab_lexmin *	isl_tab_lexmin_free (__isl_take isl_tab_lexmin *tl)
__isl_give isl_tab_lexmin *	isl_tab_lexmin_from_basic_set (__isl_take isl_basic_set *bset)
int	isl_tab_lexmin_dim (__isl_keep isl_tab_lexmin *tl)
__isl_give isl_tab_lexmin *	isl_tab_lexmin_add_eq (__isl_take isl_tab_lexmin *tl, isl_int *eq)
__isl_give isl_tab_lexmin *	isl_tab_lexmin_cut_to_integer (__isl_take isl_tab_lexmin *tl)
__isl_give isl_vec *	isl_tab_lexmin_get_solution (__isl_keep isl_tab_lexmin *tl)
static void	sol_pma_free (struct isl_sol *sol)
static void	sol_pma_add_empty (struct isl_sol_pma *sol, __isl_take isl_basic_set *bset)
static void	sol_pma_add (struct isl_sol_pma *sol, __isl_take isl_basic_set *dom, __isl_take isl_multi_aff *maff)
static void	sol_pma_add_empty_wrap (struct isl_sol *sol, __isl_take isl_basic_set *bset)
static void	sol_pma_add_wrap (struct isl_sol *sol, __isl_take isl_basic_set *dom, __isl_take isl_multi_aff *ma)
static struct isl_sol *	sol_pma_init (__isl_keep isl_basic_map *bmap, __isl_take isl_basic_set *dom, int track_empty, int max)
static __isl_give isl_pw_multi_aff *	basic_map_partial_lexopt_base_pw_multi_aff (__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, __isl_give isl_set **empty, int max)
static isl_bool	need_substitution (__isl_keep isl_multi_aff *maff)
static __isl_give isl_pw_aff *	set_minimum_pa (__isl_take isl_space *space, __isl_take isl_mat *var)
static __isl_give isl_pw_multi_aff *	split_domain_pma (__isl_take isl_pw_multi_aff *opt, __isl_take isl_pw_aff *min_expr_pa, __isl_take isl_set *min_expr, __isl_take isl_mat *cst)
static __isl_give isl_pw_multi_aff *	basic_map_partial_lexopt_pw_multi_aff (__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, __isl_give isl_set **empty, int max)
static __isl_give isl_pw_multi_aff *	basic_map_partial_lexopt_symm_core_pw_multi_aff (__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *dom, __isl_give isl_set **empty, int max, __isl_take isl_mat *cst, __isl_take isl_space *map_space, __isl_take isl_space *set_space)

Variables
struct isl_context_op	isl_context_lex_op
struct isl_context_op	isl_context_gbr_op

Macro Definition Documentation

CUT_ALL

#define CUT_ALL   1

Definition at line 1858 of file isl_tab_pip.c.

Referenced by check_integer_feasible().

CUT_ONE

#define CUT_ONE   0

Definition at line 1859 of file isl_tab_pip.c.

Referenced by cut_to_integer_lexmin(), enter_level(), and isl_tab_lexmin_cut_to_integer().

I_CST

#define I_CST   1 << 0

Definition at line 1747 of file isl_tab_pip.c.

Referenced by next_non_integer_var().

I_PAR

#define I_PAR   1 << 1

Definition at line 1748 of file isl_tab_pip.c.

Referenced by find_solutions(), and next_non_integer_var().

I_VAR

#define I_VAR   1 << 2

Definition at line 1749 of file isl_tab_pip.c.

Referenced by cut_to_integer_lexmin(), find_solutions(), and next_non_integer_var().

SUFFIX [1/2]

#define SUFFIX

Definition at line 4975 of file isl_tab_pip.c.

SUFFIX [2/2]

#define SUFFIX   _pw_multi_aff

Definition at line 4975 of file isl_tab_pip.c.

TYPE [1/2]

#define TYPE   isl_map

Definition at line 4973 of file isl_tab_pip.c.

TYPE [2/2]

#define TYPE   isl_pw_multi_aff

Definition at line 4973 of file isl_tab_pip.c.

Enumeration Type Documentation

isl_next

enum isl_next

Enumerator
isl_next_error
isl_next_done
isl_next_backtrack
isl_next_handle

Definition at line 5298 of file isl_tab_pip.c.

Function Documentation

add_cut()

int add_cut ( struct isl_tab * tab, int row )

static

Definition at line 1825 of file isl_tab_pip.c.

References isl_tab::con, isl_tab_var::index, isl_tab_var::is_nonneg, isl_int_fdiv_r, isl_int_neg, isl_int_set, isl_int_set_si, isl_tab_allocate_con(), isl_tab_extend_cons(), isl_tab_push_var(), isl_tab_row_neg, isl_tab_undo_nonneg, isl_tab::M, isl_tab::mat, isl_tab::n_col, isl_mat::row, and isl_tab::row_sign.

Referenced by cut_to_integer_lexmin(), and find_solutions().

add_div()

int add_div ( struct isl_tab * tab, struct isl_context * context, __isl_keep isl_vec * div )

static

Definition at line 2090 of file isl_tab_pip.c.

References __isl_keep, context, isl_tab_var::frozen, isl_tab_var::is_nonneg, isl_tab_extend_vars(), isl_tab_insert_var(), isl_tab::n_div, isl_tab::n_var, pos(), and isl_tab::var.

Referenced by get_div().

add_gbr_eq()

struct isl_tab * add_gbr_eq ( struct isl_tab * tab, isl_int * eq )

static

Definition at line 3092 of file isl_tab_pip.c.

References isl_tab_add_eq(), isl_tab_extend_cons(), and isl_tab_free().

Referenced by context_gbr_add_eq().

add_gbr_ineq()

void add_gbr_ineq ( struct isl_context_gbr * cgbr, isl_int * ineq )

static

Definition at line 3152 of file isl_tab_pip.c.

References isl_tab::bmap, isl_context_gbr::cone, isl_tab::empty, isl_basic_map_dim(), isl_dim_all, isl_int_add, isl_int_is_neg, isl_int_sub, isl_tab_add_ineq(), isl_tab_extend_cons(), isl_tab_free(), isl_tab::n_col, isl_tab::n_dead, isl_context_gbr::shifted, isl_context_gbr::tab, and use_shifted().

Referenced by context_gbr_add_ineq(), and context_gbr_test_ineq().

add_lexmin_eq()

int add_lexmin_eq ( struct isl_tab * tab, isl_int * eq )

static

Definition at line 1579 of file isl_tab_pip.c.

References isl_tab::bmap, isl_tab::con, isl_tab::empty, isl_tab_var::index, is_constant(), isl_tab_var::is_nonneg, isl_tab_var::is_row, isl_basic_map_add_ineq(), isl_int_is_zero, isl_seq_neg(), isl_tab_add_row(), isl_tab_kill_col(), isl_tab_mark_empty(), isl_tab_push(), isl_tab_push_var(), isl_tab_rollback(), isl_tab_snap(), isl_tab_undo_bmap_ineq, isl_tab_undo_nonneg, isl_tab::M, isl_tab::mat, isl_tab::n_var, restore_lexmin(), and isl_mat::row.

Referenced by context_lex_add_eq(), fix_zero(), and force_better_solution().

add_lexmin_ineq()

struct isl_tab * add_lexmin_ineq ( struct isl_tab * tab, isl_int * ineq )

static

Definition at line 1657 of file isl_tab_pip.c.

References isl_tab::bmap, isl_tab::con, isl_tab::empty, isl_tab_var::index, isl_tab_var::is_nonneg, isl_tab_var::is_row, isl_basic_map_add_ineq(), isl_tab_add_row(), isl_tab_free(), isl_tab_mark_redundant(), isl_tab_push(), isl_tab_push_var(), isl_tab_row_is_redundant(), isl_tab_undo_bmap_ineq, isl_tab_undo_nonneg, and restore_lexmin().

Referenced by context_lex_add_ineq(), context_lex_test_ineq(), isl_tab_lexmin_add_eq(), pos_neg(), and tab_for_lexmin().

add_lexmin_valid_eq()

struct isl_tab * add_lexmin_valid_eq ( struct isl_tab * tab, isl_int * eq )

static

Definition at line 1499 of file isl_tab_pip.c.

References isl_tab::con, isl_tab_var::index, isl_tab_var::is_nonneg, isl_seq_neg(), isl_tab_add_row(), isl_tab_free(), isl_tab_kill_col(), isl_tab_pivot(), isl_tab_push_var(), isl_tab_undo_nonneg, last_var_col_or_int_par_col(), isl_tab::n_eq, and isl_tab::n_var.

Referenced by tab_for_lexmin().

add_parametric_cut()

int add_parametric_cut ( struct isl_tab * tab, int row, struct isl_context * context )

static

Definition at line 2193 of file isl_tab_pip.c.

References isl_tab::col_var, isl_tab::con, context, gcd(), get_row_parameter_div(), isl_tab_var::index, isl_tab_var::is_nonneg, isl_tab_var::is_row, isl_int_clear, isl_int_divexact, isl_int_fdiv_r, isl_int_gcd, isl_int_init, isl_int_mul, isl_int_neg, isl_int_set, isl_int_set_si, isl_seq_combine(), isl_tab_allocate_con(), isl_tab_extend_cons(), isl_tab_push_var(), isl_tab_row_neg, isl_tab_undo_nonneg, isl_vec_free(), isl_tab::M, isl_tab::mat, n, isl_tab::n_col, isl_tab::n_div, isl_tab::n_param, isl_tab::n_var, isl_mat::row, isl_tab::row_sign, and isl_tab::var.

Referenced by find_solutions().

align_context_divs()

__isl_give isl_basic_map * align_context_divs ( __isl_take isl_basic_map * bmap, __isl_keep isl_basic_set * dom )

static

Definition at line 4361 of file isl_tab_pip.c.

References __isl_give, __isl_keep, __isl_take, find_context_div(), isl_basic_map_alloc_div(), isl_basic_map_cow(), isl_basic_map_dim(), isl_basic_map_extend(), isl_basic_map_free(), isl_basic_map_swap_div(), isl_basic_set, isl_dim_div, isl_int_set_si, and pos().

Referenced by basic_map_partial_lexopt_base_sol().

all_single_occurrence()

int all_single_occurrence ( __isl_keep isl_basic_map * bmap, int ineq, int n )

static

Definition at line 4536 of file isl_tab_pip.c.

References __isl_keep, isl_int_is_zero, and n.

Referenced by SF().

basic_map_partial_lexopt()

__isl_give isl_map * basic_map_partial_lexopt ( __isl_take isl_basic_map * bmap, __isl_take isl_basic_set * dom, __isl_give isl_set ** empty, int max )

static

References __isl_give, __isl_take, isl_basic_set, and isl_set.

Referenced by basic_map_partial_lexopt_symm_core(), isl_map_partial_lexopt_aligned(), SF(), SF(), and SF().

basic_map_partial_lexopt_base()

__isl_give isl_map * basic_map_partial_lexopt_base ( __isl_take isl_basic_map * bmap, __isl_take isl_basic_set * dom, __isl_give isl_set ** empty, int max )

static

Definition at line 4466 of file isl_tab_pip.c.

References __isl_give, __isl_take, basic_map_partial_lexopt_base_sol(), isl_sol_map::empty, isl_basic_set, isl_map_copy(), isl_set, isl_set_copy(), isl_sol_map::map, result, isl_sol_map::sol, sol_free(), and sol_map_init().

Referenced by SF().

basic_map_partial_lexopt_base_pw_multi_aff()

__isl_give isl_pw_multi_aff * basic_map_partial_lexopt_base_pw_multi_aff ( __isl_take isl_basic_map * bmap, __isl_take isl_basic_set * dom, __isl_give isl_set ** empty, int max )

static

Definition at line 5778 of file isl_tab_pip.c.

References __isl_give, __isl_take, basic_map_partial_lexopt_base_sol(), isl_sol_pma::empty, isl_basic_set, isl_pw_multi_aff_copy(), isl_set, isl_set_copy(), isl_sol_pma::pma, result, isl_sol_pma::sol, sol_free(), and sol_pma_init().

basic_map_partial_lexopt_base_sol()

struct isl_sol * basic_map_partial_lexopt_base_sol ( __isl_take isl_basic_map * bmap, __isl_take isl_basic_set * dom, __isl_give isl_set ** empty, int max, struct isl_sol *(* init )(__isl_keep isl_basic_map *bmap, __isl_take isl_basic_set *dom, int track_empty, int max) )

static

Definition at line 4419 of file isl_tab_pip.c.

References __isl_give, __isl_keep, __isl_take, isl_sol::add_empty, align_context_divs(), context, isl_sol::context, isl_sol::error, find_solutions_main(), init(), isl_basic_map_free(), isl_basic_map_plain_is_empty(), isl_basic_set, isl_basic_set_copy(), isl_basic_set_plain_is_empty(), isl_basic_set_sort_divs(), isl_set, sol_free(), and tab_for_lexmin().

Referenced by basic_map_partial_lexopt_base(), and basic_map_partial_lexopt_base_pw_multi_aff().

basic_map_partial_lexopt_pw_multi_aff()

__isl_give isl_pw_multi_aff * basic_map_partial_lexopt_pw_multi_aff ( __isl_take isl_basic_map * bmap, __isl_take isl_basic_set * dom, __isl_give isl_set ** empty, int max )

static

References __isl_give, __isl_take, isl_basic_set, and isl_set.

Referenced by isl_map_partial_lexopt_aligned_pw_multi_aff().

basic_map_partial_lexopt_symm_core()

__isl_give isl_map * basic_map_partial_lexopt_symm_core ( __isl_take isl_basic_map * bmap, __isl_take isl_basic_set * dom, __isl_give isl_set ** empty, int max, __isl_take isl_mat * cst, __isl_take isl_space * map_space, __isl_take isl_space * set_space )

static

Definition at line 4906 of file isl_tab_pip.c.

References __isl_give, __isl_take, basic_map_partial_lexopt(), isl_basic_set, isl_basic_set_get_space(), isl_map_reset_space(), isl_mat_copy(), isl_set, isl_set_copy(), isl_set_reset_space(), set_minimum(), split(), and split_domain().

Referenced by SF().

basic_map_partial_lexopt_symm_core_pw_multi_aff()

__isl_give isl_pw_multi_aff * basic_map_partial_lexopt_symm_core_pw_multi_aff ( __isl_take isl_basic_map * bmap, __isl_take isl_basic_set * dom, __isl_give isl_set ** empty, int max, __isl_take isl_mat * cst, __isl_take isl_space * map_space, __isl_take isl_space * set_space )

static

Definition at line 5980 of file isl_tab_pip.c.

best_split()

int best_split ( struct isl_tab * tab, struct isl_tab * context_tab )

static

Definition at line 2401 of file isl_tab_pip.c.

References isl_tab::con, isl_vec::el, isl_tab::empty, get_row_parameter_ineq(), isl_tab_var::is_nonneg, is_parametric_constant(), isl_tab_add_ineq(), isl_tab_extend_cons(), isl_tab_min_at_most_neg_one(), isl_tab_rollback(), isl_tab_row_any, isl_tab_snap(), isl_tab_var_from_row(), isl_vec_free(), isl_tab::n_con, isl_tab::n_redundant, isl_tab::row_sign, split(), and var().

Referenced by context_gbr_best_split(), and context_lex_best_split().

better_next_side()

isl_stat better_next_side ( struct isl_local_region * local, struct isl_lexmin_data * data )

static

Definition at line 5392 of file isl_tab_pip.c.

References force_better_solution(), isl_stat_error, isl_stat_ok, isl_lexmin_data::n_op, isl_local_region::n_zero, isl_lexmin_data::sol, isl_lexmin_data::tab, and isl_local_region::update.

Referenced by isl_tab_basic_set_non_trivial_lexmin().

check_final_columns_are_zero()

isl_stat check_final_columns_are_zero ( __isl_keep isl_mat * M, unsigned first )

static

Definition at line 249 of file isl_tab_pip.c.

References __isl_keep, isl_die, isl_error_internal, isl_mat_cols(), isl_mat_get_ctx(), isl_mat_rows(), isl_seq_first_non_zero(), isl_stat_error, isl_stat_ok, M(), and n.

Referenced by set_from_affine_matrix().

check_gbr_integer_feasible()

void check_gbr_integer_feasible ( struct isl_context_gbr * cgbr )

static

Definition at line 3062 of file isl_tab_pip.c.

References isl_tab::empty, gbr_get_sample(), isl_tab_add_sample(), isl_tab_free(), isl_tab_mark_empty(), isl_vec_free(), isl_vec::size, and isl_context_gbr::tab.

Referenced by context_gbr_add_eq(), context_gbr_add_ineq(), context_gbr_test_ineq(), and isl_context_gbr_alloc().

check_integer_feasible()

struct isl_tab * check_integer_feasible ( struct isl_tab * tab )

static

Definition at line 1980 of file isl_tab_pip.c.

References CUT_ALL, cut_to_integer_lexmin(), isl_tab::empty, isl_tab_add_sample(), isl_tab_free(), isl_tab_get_sample_value(), isl_tab_push_basis(), isl_tab_rollback(), isl_tab_snap(), and sample_is_finite().

Referenced by context_lex_add_eq(), context_lex_add_ineq(), context_lex_test_ineq(), and isl_context_lex_alloc().

check_lexpos()

void check_lexpos ( struct isl_tab * tab )

static

Definition at line 1341 of file isl_tab_pip.c.

References col_is_parameter_var(), isl_tab_var::index, isl_tab_var::is_row, isl_int_is_pos, isl_int_is_zero, isl_tab::M, isl_tab::mat, isl_tab::n_col, isl_tab::n_dead, isl_tab::n_div, isl_tab::n_param, isl_tab::n_var, isl_mat::row, isl_tab::var, and var().

check_samples()

struct isl_tab * check_samples ( struct isl_tab * tab, isl_int * ineq, int eq )

static

Definition at line 1917 of file isl_tab_pip.c.

References isl_tab::bmap, isl_mat::ctx, isl_assert, isl_int_clear, isl_int_init, isl_int_sgn, isl_seq_inner_product(), isl_tab_drop_sample(), isl_tab_free(), isl_tab::mat, isl_mat::n_col, isl_tab::n_outside, isl_tab::n_sample, isl_tab::n_var, isl_mat::row, isl_tab::samples, and sgn().

Referenced by context_gbr_add_eq(), context_gbr_add_ineq(), context_lex_add_eq(), and context_lex_add_ineq().

clear_lexmin_data()

void clear_lexmin_data ( struct isl_lexmin_data * data )

static

Definition at line 5451 of file isl_tab_pip.c.

References isl_tab_free(), isl_vec_free(), isl_lexmin_data::local, isl_lexmin_data::tab, and isl_lexmin_data::v.

Referenced by isl_tab_basic_set_non_trivial_lexmin().

col_is_parameter_var()

int col_is_parameter_var ( struct isl_tab * tab, int col )

static

Definition at line 1249 of file isl_tab_pip.c.

References isl_tab::col_var, and is_parameter_var().

Referenced by check_lexpos(), integer_variable(), is_critical(), is_parametric_constant(), lexmin_pivot_col(), and report_conflict().

combine_initial_if_equal()

isl_stat combine_initial_if_equal ( struct isl_sol * sol )

static

Definition at line 496 of file isl_tab_pip.c.

References combine_initial_into_second(), isl_partial_sol::dom, equal_on_domain(), isl_stat_error, isl_stat_ok, isl_partial_sol::ma, isl_partial_sol::next, isl_sol::partial, same_solution(), sol_pop_one(), and swap_initial().

Referenced by sol_pop().

combine_initial_into_second()

isl_stat combine_initial_into_second ( struct isl_sol * sol )

static

Definition at line 433 of file isl_tab_pip.c.

References isl_partial_sol::dom, isl_basic_set, isl_basic_set_free(), isl_stat_error, isl_stat_ok, isl_partial_sol::level, isl_sol::level, isl_partial_sol::ma, isl_partial_sol::next, isl_sol::partial, and sol_domain().

Referenced by combine_initial_if_equal().

constraint_equal()

isl_bool constraint_equal ( const void * entry, const void * val )

static

Definition at line 4569 of file isl_tab_pip.c.

References isl_bool_ok(), isl_seq_eq(), isl_constraint_equal_info::n_in, isl_constraint_equal_info::n_out, isl_constraint_equal_info::val, and val.

Referenced by parallel_constraints().

context_gbr_add_eq()

void context_gbr_add_eq ( struct isl_context * context, isl_int * eq, int check, int update )

static

Definition at line 3118 of file isl_tab_pip.c.

References add_gbr_eq(), check_gbr_integer_feasible(), check_samples(), isl_context_gbr::cone, context, isl_tab::empty, isl_tab_add_eq(), isl_tab_extend_cons(), isl_tab_free(), isl_tab_mark_empty(), isl_tab::n_col, isl_tab::n_dead, isl_context_gbr::shifted, isl_context_gbr::tab, tab_has_valid_sample(), and use_shifted().

context_gbr_add_ineq()

void context_gbr_add_ineq ( struct isl_context * context, isl_int * ineq, int check, int update )

static

Definition at line 3202 of file isl_tab_pip.c.

References add_gbr_ineq(), check_gbr_integer_feasible(), check_samples(), context, isl_tab_free(), isl_context_gbr::tab, and tab_has_valid_sample().

Referenced by context_gbr_add_ineq_wrap().

context_gbr_add_ineq_wrap()

isl_stat context_gbr_add_ineq_wrap ( void * user, isl_int * ineq )

static

Definition at line 3226 of file isl_tab_pip.c.

References context, context_gbr_add_ineq(), isl_stat_error, isl_stat_ok, and user.

Referenced by context_gbr_insert_div().

context_gbr_best_split()

int context_gbr_best_split ( struct isl_context * context, struct isl_tab * tab )

static

Definition at line 3465 of file isl_tab_pip.c.

References best_split(), context, isl_tab_rollback(), isl_tab_snap(), and isl_context_gbr::tab.

context_gbr_detect_equalities()

int context_gbr_detect_equalities ( struct isl_context * context, struct isl_tab * tab )

static

Definition at line 3394 of file isl_tab_pip.c.

References isl_tab::bmap, isl_context_gbr::cone, context, isl_basic_set, isl_basic_set_copy(), isl_tab_detect_equalities(), isl_tab_detect_implicit_equalities(), isl_tab_free(), isl_tab_from_recession_cone(), isl_tab_peek_bset(), isl_tab_track_bset(), isl_basic_map::n_ineq, propagate_equalities(), and isl_context_gbr::tab.

context_gbr_detect_nonnegative_parameters()

struct isl_tab * context_gbr_detect_nonnegative_parameters ( struct isl_context * context, struct isl_tab * tab )

static

Definition at line 2887 of file isl_tab_pip.c.

References context, isl_context_gbr::tab, and tab_detect_nonnegative_parameters().

context_gbr_discard()

void context_gbr_discard ( void * save )

static

Definition at line 3561 of file isl_tab_pip.c.

context_gbr_free()

__isl_null struct isl_context * context_gbr_free ( struct isl_context * context )

static

Definition at line 3580 of file isl_tab_pip.c.

References __isl_null, isl_context_gbr::cone, context, isl_tab_free(), isl_context_gbr::shifted, and isl_context_gbr::tab.

context_gbr_get_div()

int context_gbr_get_div ( struct isl_context * context, struct isl_tab * tab, struct isl_vec * div )

static

Definition at line 3427 of file isl_tab_pip.c.

References context, and get_div().

context_gbr_ineq_sign()

enum isl_tab_row_sign context_gbr_ineq_sign ( struct isl_context * context, isl_int * ineq, int strict )

static

Definition at line 3233 of file isl_tab_pip.c.

References context, isl_context_gbr::tab, and tab_ineq_sign().

context_gbr_insert_div()

isl_bool context_gbr_insert_div ( struct isl_context * context, int pos, __isl_keep isl_vec * div )

static

Definition at line 3433 of file isl_tab_pip.c.

References __isl_keep, isl_tab::bmap, isl_context_gbr::cone, context, context_gbr_add_ineq_wrap(), context_tab_insert_div(), isl_basic_map_dim(), isl_basic_map_insert_div(), isl_bool_error, isl_dim_div, isl_tab_extend_cons(), isl_tab_extend_vars(), isl_tab_insert_var(), isl_tab_push_var(), isl_tab_undo_bmap_div, isl_tab::n_var, pos(), isl_context_gbr::tab, and isl_tab::var.

context_gbr_invalidate()

void context_gbr_invalidate ( struct isl_context * context )

static

Definition at line 3573 of file isl_tab_pip.c.

References context, isl_tab_free(), and isl_context_gbr::tab.

context_gbr_is_empty()

int context_gbr_is_empty ( struct isl_context * context )

static

Definition at line 3481 of file isl_tab_pip.c.

References context, isl_tab::empty, and isl_context_gbr::tab.

context_gbr_is_ok()

int context_gbr_is_ok ( struct isl_context * context )

static

Definition at line 3567 of file isl_tab_pip.c.

References context, and isl_context_gbr::tab.

context_gbr_peek_basic_set()

struct isl_basic_set * context_gbr_peek_basic_set ( struct isl_context * context )

static

Definition at line 2896 of file isl_tab_pip.c.

References context, isl_basic_set, isl_tab_peek_bset(), and isl_context_gbr::tab.

context_gbr_peek_tab()

struct isl_tab * context_gbr_peek_tab ( struct isl_context * context )

static

Definition at line 2905 of file isl_tab_pip.c.

References context, and isl_context_gbr::tab.

context_gbr_restore()

void context_gbr_restore ( struct isl_context * context, void * save )

static

Definition at line 3527 of file isl_tab_pip.c.

References isl_context_gbr::cone, isl_gbr_tab_undo::cone_snap, context, isl_tab_free(), isl_tab_rollback(), isl_context_gbr::shifted, isl_gbr_tab_undo::shifted_snap, isl_context_gbr::tab, and isl_gbr_tab_undo::tab_snap.

context_gbr_save()

void * context_gbr_save ( struct isl_context * context )

static

Definition at line 3495 of file isl_tab_pip.c.

References isl_context_gbr::cone, isl_gbr_tab_undo::cone_snap, context, isl_mat::ctx, isl_alloc_type, isl_tab_save_samples(), isl_tab_snap(), isl_tab::mat, isl_context_gbr::shifted, isl_gbr_tab_undo::shifted_snap, isl_context_gbr::tab, and isl_gbr_tab_undo::tab_snap.

context_gbr_test_ineq()

int context_gbr_test_ineq ( struct isl_context * context, isl_int * ineq )

static

Definition at line 3243 of file isl_tab_pip.c.

References add_gbr_ineq(), check_gbr_integer_feasible(), isl_context_gbr::cone, context, isl_tab::empty, isl_tab_extend_cons(), isl_tab_free(), isl_tab_rollback(), isl_tab_snap(), isl_context_gbr::shifted, and isl_context_gbr::tab.

context_lex_add_eq()

void context_lex_add_eq ( struct isl_context * context, isl_int * eq, int check, int update )

static

Definition at line 2488 of file isl_tab_pip.c.

References add_lexmin_eq(), check_integer_feasible(), check_samples(), context, isl_tab_extend_cons(), isl_tab_free(), isl_context_lex::tab, and tab_has_valid_sample().

context_lex_add_ineq()

void context_lex_add_ineq ( struct isl_context * context, isl_int * ineq, int check, int update )

static

Definition at line 2511 of file isl_tab_pip.c.

References add_lexmin_ineq(), check_integer_feasible(), check_samples(), context, isl_tab_extend_cons(), isl_tab_free(), isl_context_lex::tab, and tab_has_valid_sample().

Referenced by context_lex_add_ineq_wrap().

context_lex_add_ineq_wrap()

isl_stat context_lex_add_ineq_wrap ( void * user, isl_int * ineq )

static

Definition at line 2533 of file isl_tab_pip.c.

References context, context_lex_add_ineq(), isl_stat_error, isl_stat_ok, and user.

Referenced by context_lex_insert_div().

context_lex_best_split()

int context_lex_best_split ( struct isl_context * context, struct isl_tab * tab )

static

Definition at line 2650 of file isl_tab_pip.c.

References best_split(), context, isl_tab_push_basis(), isl_tab_rollback(), isl_tab_snap(), and isl_context_lex::tab.

context_lex_detect_equalities()

int context_lex_detect_equalities ( struct isl_context * context, struct isl_tab * tab )

static

Definition at line 2644 of file isl_tab_pip.c.

References context.

context_lex_detect_nonnegative_parameters()

struct isl_tab * context_lex_detect_nonnegative_parameters ( struct isl_context * context, struct isl_tab * tab )

static

Definition at line 2768 of file isl_tab_pip.c.

References context, isl_tab_free(), isl_tab_push_basis(), isl_tab_rollback(), isl_tab_snap(), isl_context_lex::tab, and tab_detect_nonnegative_parameters().

context_lex_discard()

void context_lex_discard ( void * save )

static

Definition at line 2699 of file isl_tab_pip.c.

context_lex_free()

__isl_null struct isl_context * context_lex_free ( struct isl_context * context )

static

Definition at line 2799 of file isl_tab_pip.c.

References __isl_null, context, isl_tab_free(), and isl_context_lex::tab.

context_lex_get_div()

int context_lex_get_div ( struct isl_context * context, struct isl_tab * tab, struct isl_vec * div )

static

Definition at line 2616 of file isl_tab_pip.c.

References context, and get_div().

context_lex_ineq_sign()

enum isl_tab_row_sign context_lex_ineq_sign ( struct isl_context * context, isl_int * ineq, int strict )

static

Definition at line 2580 of file isl_tab_pip.c.

References context, isl_context_lex::tab, and tab_ineq_sign().

context_lex_insert_div()

isl_bool context_lex_insert_div ( struct isl_context * context, int pos, __isl_keep isl_vec * div )

static

Definition at line 2630 of file isl_tab_pip.c.

References __isl_keep, context, context_lex_add_ineq_wrap(), context_tab_insert_div(), isl_bool_error, isl_bool_false, isl_tab::M, pos(), and isl_context_lex::tab.

context_lex_invalidate()

void context_lex_invalidate ( struct isl_context * context )

static

Definition at line 2792 of file isl_tab_pip.c.

References context, isl_tab_free(), and isl_context_lex::tab.

context_lex_is_empty()

int context_lex_is_empty ( struct isl_context * context )

static

Definition at line 2668 of file isl_tab_pip.c.

References context, isl_tab::empty, and isl_context_lex::tab.

context_lex_is_ok()

int context_lex_is_ok ( struct isl_context * context )

static

Definition at line 2703 of file isl_tab_pip.c.

References context, and isl_context_lex::tab.

context_lex_peek_basic_set()

struct isl_basic_set * context_lex_peek_basic_set ( struct isl_context * context )

static

Definition at line 2473 of file isl_tab_pip.c.

References context, isl_basic_set, isl_tab_peek_bset(), and isl_context_lex::tab.

context_lex_peek_tab()

struct isl_tab * context_lex_peek_tab ( struct isl_context * context )

static

Definition at line 2482 of file isl_tab_pip.c.

References context, and isl_context_lex::tab.

context_lex_restore()

void context_lex_restore ( struct isl_context * context, void * save )

static

Definition at line 2690 of file isl_tab_pip.c.

References context, isl_tab_free(), isl_tab_rollback(), and isl_context_lex::tab.

context_lex_save()

void * context_lex_save ( struct isl_context * context )

static

Definition at line 2676 of file isl_tab_pip.c.

References context, isl_tab_push_basis(), isl_tab_save_samples(), isl_tab_snap(), and isl_context_lex::tab.

context_lex_test_ineq()

int context_lex_test_ineq ( struct isl_context * context, isl_int * ineq )

static

Definition at line 2590 of file isl_tab_pip.c.

References add_lexmin_ineq(), check_integer_feasible(), context, isl_tab::empty, isl_tab_extend_cons(), isl_tab_push_basis(), isl_tab_rollback(), isl_tab_snap(), and isl_context_lex::tab.

context_tab_for_lexmin()

struct isl_tab * context_tab_for_lexmin ( __isl_take isl_basic_set * bset )

static

Definition at line 2830 of file isl_tab_pip.c.

References __isl_take, bset_to_bmap(), isl_basic_set, isl_tab_free(), isl_tab_init_samples(), isl_tab_track_bset(), and tab_for_lexmin().

Referenced by isl_context_lex_alloc().

context_tab_insert_div()

isl_bool context_tab_insert_div ( struct isl_tab * tab, int pos, __isl_keep isl_vec * div, isl_stat(* add_ineq )(void *user, isl_int *), void * user )

static

Definition at line 2045 of file isl_tab_pip.c.

References __isl_keep, isl_tab_var::frozen, isl_tab_var::is_nonneg, isl_bool_error, isl_bool_ok(), isl_int_fdiv_q, isl_mat_extend(), isl_mat_move_cols(), isl_seq_inner_product(), isl_tab_insert_div(), isl_mat::n_col, isl_tab::n_outside, isl_mat::n_row, isl_tab::n_sample, isl_tab::n_var, pos(), isl_mat::row, isl_tab::samples, user, and isl_tab::var.

Referenced by context_gbr_insert_div(), and context_lex_insert_div().

count_occurrences()

__isl_give int * count_occurrences ( __isl_keep isl_basic_map * bmap, int n )

static

Definition at line 4490 of file isl_tab_pip.c.

References __isl_give, __isl_keep, isl_basic_map_get_ctx(), isl_calloc_array, isl_int_is_zero, and n.

Referenced by parallel_constraints().

cut_to_integer_lexmin()

struct isl_tab * cut_to_integer_lexmin ( struct isl_tab * tab, int cutting_strategy )

static

Definition at line 1876 of file isl_tab_pip.c.

References add_cut(), CUT_ONE, isl_tab::empty, I_VAR, isl_tab_var::index, ISL_FL_ISSET, isl_tab_free(), isl_tab_mark_empty(), next_non_integer_var(), restore_lexmin(), isl_tab::var, and var().

Referenced by check_integer_feasible(), enter_level(), and isl_tab_lexmin_cut_to_integer().

drop_constant_terms()

__isl_give isl_basic_set * drop_constant_terms ( __isl_take isl_basic_set * bset )

static

Definition at line 2969 of file isl_tab_pip.c.

References __isl_give, __isl_take, isl_basic_set, and isl_int_set_si.

Referenced by gbr_get_sample().

enter_level()

enum isl_next enter_level ( int level, int init, struct isl_lexmin_data * data )

static

Definition at line 5340 of file isl_tab_pip.c.

References CUT_ONE, cut_to_integer_lexmin(), isl_tab::empty, finished_all_cases(), first_trivial_region(), init(), init_local_region(), is_optimal(), isl_die, isl_error_internal, isl_next_backtrack, isl_next_done, isl_next_error, isl_next_handle, isl_tab_extend_cons(), isl_tab_get_sample_value(), isl_tab_rollback(), isl_vec_free(), isl_vec_get_ctx(), isl_lexmin_data::local, isl_local_region::n, isl_lexmin_data::n_op, isl_lexmin_data::n_region, isl_local_region::snap, isl_lexmin_data::sol, isl_lexmin_data::tab, update_outer_levels(), and isl_lexmin_data::v.

Referenced by isl_tab_basic_set_non_trivial_lexmin().

equal_on_domain()

isl_bool equal_on_domain ( __isl_keep isl_multi_aff * ma1, __isl_keep isl_multi_aff * ma2, __isl_keep isl_basic_set * dom )

static

Definition at line 463 of file isl_tab_pip.c.

References __isl_keep, isl_partial_sol::dom, equal, isl_basic_set, isl_basic_set_compute_divs(), isl_basic_set_copy(), isl_pw_multi_aff_alloc(), isl_pw_multi_aff_free(), isl_pw_multi_aff_is_equal(), isl_set, isl_set_copy(), ma1, and set.

Referenced by combine_initial_if_equal().

extract_domain()

__isl_give isl_basic_set * extract_domain ( __isl_keep isl_basic_map * bmap, unsigned flags )

static

Definition at line 4952 of file isl_tab_pip.c.

References __isl_give, __isl_keep, isl_basic_map_copy(), isl_basic_map_dim(), isl_basic_map_domain(), isl_basic_map_drop_constraints_involving_dims(), isl_basic_set, isl_dim_div, isl_dim_out, ISL_FL_ISSET, ISL_OPT_QE, and isl_constraint_equal_info::n_out.

extract_sample_sequence()

__isl_give isl_vec * extract_sample_sequence ( struct isl_tab * tab, int pos, int len )

static

Definition at line 4981 of file isl_tab_pip.c.

References __isl_give, isl_vec::el, isl_tab_var::index, isl_tab_var::is_row, isl_int_divexact, isl_int_set_si, isl_tab_get_ctx(), isl_vec_alloc(), isl_tab::mat, pos(), isl_mat::row, and isl_tab::var.

Referenced by region_is_trivial().

find_context_div()

int find_context_div ( __isl_keep isl_basic_map * bmap, __isl_keep isl_basic_set * dom, unsigned div )

static

Definition at line 4316 of file isl_tab_pip.c.

References __isl_keep, isl_basic_map_dim(), isl_basic_map_var_offset(), isl_basic_set, isl_basic_set_var_offset(), isl_dim_div, isl_int_is_zero, isl_seq_eq(), and isl_seq_first_non_zero().

Referenced by align_context_divs().

find_div()

int find_div ( struct isl_tab * tab, isl_int * div, isl_int denom )

static

Definition at line 2128 of file isl_tab_pip.c.

References isl_tab::bmap, isl_basic_map::div, isl_basic_map_dim(), isl_dim_all, isl_dim_div, isl_int_ne, isl_seq_eq(), isl_tab::n_div, and total().

Referenced by get_div().

find_in_pos()

void find_in_pos ( struct isl_sol * sol, struct isl_tab * tab, isl_int * ineq )

static

Definition at line 3926 of file isl_tab_pip.c.

References isl_context_op::add_ineq, isl_sol::context, isl_context_op::discard, isl_sol::error, find_solutions(), isl_tab_dup(), isl_context::op, isl_context_op::restore, and isl_context_op::save.

Referenced by find_solutions().

find_solutions()

void find_solutions ( struct isl_sol * sol, struct isl_tab * tab )

static

Definition at line 4092 of file isl_tab_pip.c.

References add_cut(), add_parametric_cut(), context, isl_sol::context, isl_vec::el, isl_tab::empty, isl_sol::error, find_in_pos(), first_non_integer_row(), get_row_parameter_ineq(), get_row_split_div(), I_PAR, I_VAR, ineq_for_div(), is_strict(), ISL_FL_ISSET, isl_int_sub_ui, isl_seq_neg(), isl_tab_free(), isl_tab_mark_empty(), isl_tab_row_any, isl_tab_row_neg, isl_tab_row_pos, isl_tab_var_from_row(), isl_vec_free(), isl_tab::n_redundant, no_sol_in_strict(), isl_tab::rational, reset_any_to_unknown(), restore_lexmin(), isl_tab::row_sign, row_sign(), set_row_cst_to_div(), sgn(), isl_vec::size, sol_add(), sol_inc_level(), and split().

Referenced by find_in_pos(), and find_solutions_main().

find_solutions_main()

void find_solutions_main ( struct isl_sol * sol, struct isl_tab * tab )

static

Definition at line 4244 of file isl_tab_pip.c.

References isl_context_op::add_eq, isl_sol::context, isl_mat::ctx, isl_context_op::discard, isl_vec::el, isl_sol::error, find_solutions(), get_row_parameter_line(), isl_context_op::is_empty, isl_int_neg, isl_seq_neg(), isl_tab_free(), isl_tab_mark_redundant(), isl_vec_alloc(), isl_vec_free(), isl_vec_normalize(), isl_sol::level, isl_tab::mat, isl_tab::n_div, isl_tab::n_param, isl_tab::n_redundant, isl_tab::n_var, no_sol_in_strict(), isl_context::op, p, isl_context_op::restore, isl_mat::row, row_is_parameter_var(), isl_tab::row_var, isl_context_op::save, isl_vec::size, sol_has_mergeable_solutions(), sol_inc_level(), and sol_pop().

Referenced by basic_map_partial_lexopt_base_sol().

finished_all_cases()

int finished_all_cases ( struct isl_local_region * local, struct isl_lexmin_data * data )

static

Definition at line 5313 of file isl_tab_pip.c.

References isl_tab::empty, isl_local_region::n, isl_local_region::side, and isl_lexmin_data::tab.

Referenced by enter_level().

first_neg()

int first_neg ( struct isl_tab * tab )

static

Definition at line 1306 of file isl_tab_pip.c.

References is_obviously_neg(), isl_int_is_neg, isl_tab_row_neg, isl_tab_var_from_row(), isl_tab::M, isl_tab::mat, isl_tab::n_redundant, isl_tab::n_row, isl_mat::row, and isl_tab::row_sign.

Referenced by restore_lexmin().

first_non_integer_row()

int first_non_integer_row ( struct isl_tab * tab, int * f )

static

Definition at line 1796 of file isl_tab_pip.c.

References f, isl_tab_var::index, next_non_integer_var(), isl_tab::var, and var().

Referenced by find_solutions().

first_trivial_region()

int first_trivial_region ( struct isl_lexmin_data * data )

static

Definition at line 5069 of file isl_tab_pip.c.

References isl_lexmin_data::n_region, isl_trivial_region::pos, isl_lexmin_data::region, region_is_trivial(), isl_lexmin_data::tab, and isl_trivial_region::trivial.

Referenced by enter_level().

fix_zero()

isl_stat fix_zero ( struct isl_tab * tab, struct isl_trivial_region * region, int dir, struct isl_lexmin_data * data )

static

Definition at line 5158 of file isl_tab_pip.c.

References add_lexmin_eq(), isl_vec::el, isl_mat_cols(), isl_seq_cpy(), isl_stat_error, isl_stat_ok, isl_vec_clr(), isl_local_region::region, and isl_lexmin_data::v.

Referenced by pick_side().

force_better_solution()

int force_better_solution ( struct isl_tab * tab, __isl_keep isl_vec * sol, int n_op, int n_zero )

static

Definition at line 5113 of file isl_tab_pip.c.

References __isl_keep, add_lexmin_eq(), isl_vec::el, isl_int_is_zero, isl_int_set_si, isl_tab_mark_empty(), isl_vec_alloc(), isl_vec_clr(), isl_vec_free(), isl_vec_get_ctx(), n, isl_tab::n_var, and isl_local_region::n_zero.

Referenced by better_next_side().

gbr_get_sample()

struct isl_vec * gbr_get_sample ( struct isl_context_gbr * cgbr )

static

Definition at line 2993 of file isl_tab_pip.c.

References isl_tab::basis, cone, isl_context_gbr::cone, drop_constant_terms(), gbr_get_shifted_sample(), isl_basic_set, isl_basic_set_copy(), isl_basic_set_dup(), isl_basic_set_gauss(), isl_basic_set_sample_with_cone(), isl_basic_set_underlying_set(), isl_basic_set_update_from_tab(), isl_mat_free(), isl_tab_detect_implicit_equalities(), isl_tab_from_recession_cone(), isl_tab_get_sample_value(), isl_tab_peek_bset(), isl_tab_rollback(), isl_tab_sample(), isl_tab_sample_is_integer(), isl_tab_snap(), isl_tab_track_bset(), isl_vec_free(), isl_mat::n_col, isl_tab::n_col, isl_tab::n_dead, isl_tab::n_unbounded, isl_tab::n_var, isl_tab::n_zero, isl_vec::size, isl_context_gbr::tab, and use_shifted().

Referenced by check_gbr_integer_feasible().

gbr_get_shifted_sample()

struct isl_vec * gbr_get_shifted_sample ( struct isl_context_gbr * cgbr )

static

Definition at line 2952 of file isl_tab_pip.c.

References isl_mat::ctx, isl_tab::empty, gbr_init_shifted(), isl_tab_get_sample_value(), isl_vec_alloc(), isl_vec_ceil(), isl_tab::mat, isl_context_gbr::shifted, and isl_context_gbr::tab.

Referenced by gbr_get_sample().

gbr_init_shifted()

void gbr_init_shifted ( struct isl_context_gbr * cgbr )

static

Definition at line 2917 of file isl_tab_pip.c.

References isl_mat::ctx, isl_basic_set, isl_basic_set_dim(), isl_dim_all, isl_int_add, isl_int_is_neg, isl_int_set, isl_tab_from_basic_set(), isl_tab_peek_bset(), isl_vec_alloc(), isl_vec_free(), isl_tab::mat, isl_context_gbr::shifted, and isl_context_gbr::tab.

Referenced by gbr_get_shifted_sample().

get_div()

int get_div ( struct isl_tab * tab, struct isl_context * context, struct isl_vec * div )

static

Definition at line 2150 of file isl_tab_pip.c.

References add_div(), isl_tab::bmap, context, find_div(), isl_basic_map_dim(), isl_dim_div, and isl_tab::n_div.

Referenced by context_gbr_get_div(), and context_lex_get_div().

get_row_parameter_div()

struct isl_vec * get_row_parameter_div ( struct isl_tab * tab, int row )

static

Definition at line 955 of file isl_tab_pip.c.

References isl_mat::ctx, get_row_parameter_line(), isl_int_set, isl_seq_fdiv_r(), isl_seq_neg(), isl_vec_alloc(), isl_tab::mat, isl_tab::n_div, isl_tab::n_param, normalize_div(), and isl_mat::row.

Referenced by add_parametric_cut().

get_row_parameter_ineq()

struct isl_vec * get_row_parameter_ineq ( struct isl_tab * tab, int row )

static

Definition at line 905 of file isl_tab_pip.c.

References isl_mat::ctx, isl_vec::el, get_row_parameter_line(), isl_vec_alloc(), isl_vec_normalize(), isl_tab::mat, isl_tab::n_div, and isl_tab::n_param.

Referenced by best_split(), find_solutions(), and row_sign().

get_row_parameter_line()

void get_row_parameter_line ( struct isl_tab * tab, int row, isl_int * line )

static

Definition at line 842 of file isl_tab_pip.c.

References isl_tab_var::index, isl_tab_var::is_row, isl_int_set, isl_int_set_si, isl_tab::M, isl_tab::mat, isl_tab::n_div, isl_tab::n_param, isl_tab::n_var, isl_mat::row, and isl_tab::var.

Referenced by find_solutions_main(), get_row_parameter_div(), get_row_parameter_ineq(), and get_row_split_div().

get_row_split_div()

struct isl_vec * get_row_split_div ( struct isl_tab * tab, int row )

static

Definition at line 983 of file isl_tab_pip.c.

References isl_mat::ctx, get_row_parameter_line(), isl_int_set, isl_seq_fdiv_r(), isl_vec_alloc(), isl_tab::mat, isl_tab::n_div, isl_tab::n_param, normalize_div(), and isl_mat::row.

Referenced by find_solutions().

identical_parameter_line()

int identical_parameter_line ( struct isl_tab * tab, int row1, int row2 )

static

Definition at line 873 of file isl_tab_pip.c.

References isl_tab_var::index, isl_tab_var::is_row, isl_int_ne, isl_tab::M, isl_tab::mat, isl_tab::n_div, isl_tab::n_param, isl_tab::n_var, pos(), isl_mat::row, and isl_tab::var.

Referenced by row_sign().

ineq_for_div()

__isl_give isl_vec * ineq_for_div ( __isl_keep isl_basic_set * bset, unsigned div )

static

Definition at line 1009 of file isl_tab_pip.c.

References __isl_give, __isl_keep, isl_vec::el, isl_basic_set, isl_basic_set_dim(), isl_dim_all, isl_int_neg, isl_seq_cpy(), isl_vec_alloc(), and total().

Referenced by find_solutions().

init_lexmin_data()

isl_stat init_lexmin_data ( struct isl_lexmin_data * data, __isl_keep isl_basic_set * bset )

static

Definition at line 5236 of file isl_tab_pip.c.

References __isl_keep, isl_basic_set, isl_basic_set_get_ctx(), isl_calloc_array, isl_stat_error, isl_stat_ok, isl_vec_alloc(), isl_lexmin_data::local, isl_lexmin_data::n_region, isl_tab::n_var, isl_lexmin_data::sol, isl_lexmin_data::tab, tab_for_lexmin(), and isl_lexmin_data::v.

Referenced by isl_tab_basic_set_non_trivial_lexmin().

init_local_region()

isl_stat init_local_region ( struct isl_local_region * local, int region, struct isl_lexmin_data * data )

static

Definition at line 5274 of file isl_tab_pip.c.

References isl_mat_rows(), isl_stat_error, isl_stat_ok, isl_local_region::n, n, isl_local_region::n_zero, isl_lexmin_data::region, isl_local_region::region, isl_local_region::side, isl_trivial_region::trivial, and isl_local_region::update.

Referenced by enter_level().

integer_constant()

int integer_constant ( struct isl_tab * tab, int row )

static

Definition at line 1741 of file isl_tab_pip.c.

References isl_int_is_divisible_by, isl_tab::mat, and isl_mat::row.

Referenced by next_non_integer_var().

integer_parameter()

int integer_parameter ( struct isl_tab * tab, int row )

static

Definition at line 1696 of file isl_tab_pip.c.

References isl_tab_var::index, isl_tab_var::is_row, isl_int_is_divisible_by, isl_tab::M, isl_tab::mat, isl_tab::n_div, isl_tab::n_param, isl_tab::n_var, isl_mat::row, and isl_tab::var.

Referenced by next_non_integer_var().

integer_variable()

int integer_variable ( struct isl_tab * tab, int row )

static

Definition at line 1724 of file isl_tab_pip.c.

References col_is_parameter_var(), isl_int_is_divisible_by, isl_tab::M, isl_tab::mat, isl_tab::n_col, isl_tab::n_dead, and isl_mat::row.

Referenced by next_non_integer_var().

is_constant()

int is_constant ( struct isl_tab * tab, int row )

static

Definition at line 1539 of file isl_tab_pip.c.

References isl_seq_first_non_zero(), isl_tab::M, isl_tab::mat, isl_tab::n_col, isl_tab::n_dead, and isl_mat::row.

Referenced by add_lexmin_eq().

is_critical()

int is_critical ( struct isl_tab * tab, int row )

static

Definition at line 3744 of file isl_tab_pip.c.

References col_is_parameter_var(), isl_int_is_pos, isl_tab::M, isl_tab::mat, isl_tab::n_dead, and isl_mat::row.

Referenced by row_sign().

is_obviously_neg()

int is_obviously_neg ( struct isl_tab * tab, int row )

static

Definition at line 1081 of file isl_tab_pip.c.

References isl_tab_var::index, isl_tab_var::is_nonneg, isl_tab_var::is_row, isl_int_is_neg, isl_int_is_nonneg, isl_int_is_pos, isl_int_is_zero, isl_tab::M, isl_tab::mat, isl_tab::n_div, isl_tab::n_param, isl_tab::n_var, isl_mat::row, and isl_tab::var.

Referenced by first_neg().

is_obviously_nonneg()

int is_obviously_nonneg ( struct isl_tab * tab, int row )

static

Definition at line 1130 of file isl_tab_pip.c.

References isl_tab_var::index, isl_tab_var::is_nonneg, isl_tab_var::is_row, isl_int_is_neg, isl_int_is_pos, isl_int_is_zero, isl_tab::M, isl_tab::mat, isl_tab::n_div, isl_tab::n_param, isl_tab::n_var, isl_mat::row, and isl_tab::var.

Referenced by row_sign().

is_optimal()

int is_optimal ( __isl_keep isl_vec * sol, int n_op )

static

Definition at line 5089 of file isl_tab_pip.c.

References __isl_keep, and isl_int_is_zero.

Referenced by enter_level().

is_parameter_var()

int is_parameter_var ( struct isl_tab * tab, int index )

static

Definition at line 1236 of file isl_tab_pip.c.

References isl_tab::n_div, isl_tab::n_param, and isl_tab::n_var.

Referenced by col_is_parameter_var(), and row_is_parameter_var().

is_parametric_constant()

int is_parametric_constant ( struct isl_tab * tab, int row )

static

Definition at line 1550 of file isl_tab_pip.c.

References col_is_parameter_var(), isl_int_is_zero, isl_tab::M, isl_tab::mat, isl_tab::n_col, isl_tab::n_dead, and isl_mat::row.

Referenced by best_split().

is_strict()

int is_strict ( struct isl_vec * vec )

static

Definition at line 3766 of file isl_tab_pip.c.

References isl_vec::el, gcd(), isl_int_clear, isl_int_fdiv_q, isl_int_init, isl_int_is_divisible_by, isl_int_is_one, isl_seq_gcd(), isl_seq_scale_down(), and isl_vec::size.

Referenced by find_solutions(), and row_sign().

isl_context_alloc()

struct isl_context * isl_context_alloc ( __isl_keep isl_basic_set * dom )

static

Definition at line 3646 of file isl_tab_pip.c.

References __isl_keep, context, isl_basic_set, isl_basic_set_dim(), isl_basic_set_first_unknown_div(), isl_context_gbr_alloc(), isl_context_lex_alloc(), ISL_CONTEXT_LEXMIN, and isl_dim_div.

Referenced by sol_init().

isl_context_gbr_alloc()

struct isl_context * isl_context_gbr_alloc ( __isl_keep isl_basic_set * dom )

static

Definition at line 3613 of file isl_tab_pip.c.

References __isl_keep, check_gbr_integer_feasible(), isl_context_gbr::cone, isl_context_gbr::context, isl_context_op::free, isl_basic_set, isl_calloc_type, isl_context_gbr_op, isl_tab_from_basic_set(), isl_tab_init_samples(), isl_context::op, isl_context_gbr::shifted, and isl_context_gbr::tab.

Referenced by isl_context_alloc().

isl_context_lex_alloc()

struct isl_context * isl_context_lex_alloc ( struct isl_basic_set * dom )

static

Definition at line 2846 of file isl_tab_pip.c.

References check_integer_feasible(), isl_context_lex::context, context_tab_for_lexmin(), isl_context_op::free, isl_alloc_type, isl_basic_set, isl_basic_set_copy(), isl_context_lex_op, isl_context::op, restore_lexmin(), and isl_context_lex::tab.

Referenced by isl_context_alloc().

isl_tab_basic_set_non_trivial_lexmin()

__isl_give isl_vec * isl_tab_basic_set_non_trivial_lexmin	(	__isl_take isl_basic_set *	bset,
		int	n_op,
		int	n_region,
		struct isl_trivial_region *	region,
		int(*	conflict )(int con, void *user),
		void *	user )

Definition at line 5494 of file isl_tab_pip.c.

References __isl_give, __isl_take, better_next_side(), clear_lexmin_data(), isl_tab::conflict, isl_tab::conflict_user, enter_level(), init(), init_lexmin_data(), isl_basic_set, isl_basic_set_free(), isl_next_backtrack, isl_next_done, isl_vec_free(), isl_lexmin_data::local, isl_lexmin_data::n_op, isl_lexmin_data::n_region, pick_side(), isl_lexmin_data::region, isl_local_region::side, isl_lexmin_data::sol, isl_lexmin_data::tab, and user.

Referenced by solve_lp().

isl_tab_lexmin_add_eq()

__isl_give isl_tab_lexmin * isl_tab_lexmin_add_eq	(	__isl_take isl_tab_lexmin *	tl,
		isl_int *	eq )

Definition at line 5613 of file isl_tab_pip.c.

References __isl_give, __isl_take, add_lexmin_ineq(), isl_seq_neg(), isl_tab_extend_cons(), isl_tab_lexmin_free(), and isl_tab::n_var.

Referenced by zero_out_node_coef().

isl_tab_lexmin_cut_to_integer()

__isl_give isl_tab_lexmin * isl_tab_lexmin_cut_to_integer

(

__isl_take isl_tab_lexmin *

tl

)

Definition at line 5638 of file isl_tab_pip.c.

References __isl_give, __isl_take, CUT_ONE, cut_to_integer_lexmin(), isl_tab_lexmin_free(), and isl_tab_lexmin::tab.

Referenced by non_neg_lexmin().

isl_tab_lexmin_dim()

int isl_tab_lexmin_dim

(

__isl_keep isl_tab_lexmin *

tl

)

Definition at line 5604 of file isl_tab_pip.c.

References __isl_keep.

Referenced by zero_out_node_coef().

isl_tab_lexmin_free()

__isl_null isl_tab_lexmin * isl_tab_lexmin_free

(

__isl_take isl_tab_lexmin *

tl

)

Definition at line 5561 of file isl_tab_pip.c.

References __isl_null, __isl_take, isl_ctx_deref(), and isl_tab_free().

Referenced by isl_tab_lexmin_add_eq(), isl_tab_lexmin_cut_to_integer(), isl_tab_lexmin_from_basic_set(), non_neg_lexmin(), and zero_out_node_coef().

isl_tab_lexmin_from_basic_set()

__isl_give isl_tab_lexmin * isl_tab_lexmin_from_basic_set

(

__isl_take isl_basic_set *

bset

)

Definition at line 5576 of file isl_tab_pip.c.

References __isl_give, __isl_take, isl_tab_lexmin::ctx, isl_basic_set, isl_basic_set_free(), isl_basic_set_get_ctx(), isl_calloc_type, isl_ctx_ref(), isl_tab_lexmin_free(), isl_tab_lexmin::tab, and tab_for_lexmin().

Referenced by non_neg_lexmin().

isl_tab_lexmin_get_solution()

__isl_give isl_vec * isl_tab_lexmin_get_solution

(

__isl_keep isl_tab_lexmin *

tl

)

Definition at line 5653 of file isl_tab_pip.c.

References __isl_give, __isl_keep, isl_tab_get_sample_value(), and isl_vec_alloc().

Referenced by non_empty_solution().

last_non_zero_var_col()

int last_non_zero_var_col ( struct isl_tab * tab, isl_int * p )

static

Definition at line 3292 of file isl_tab_pip.c.

References isl_tab_var::index, isl_tab_var::is_row, isl_int_is_zero, isl_tab::n_div, isl_tab::n_param, isl_tab::n_var, p, and isl_tab::var.

Referenced by propagate_equalities().

last_var_col_or_int_par_col()

int last_var_col_or_int_par_col ( struct isl_tab * tab, int row )

static

Definition at line 1466 of file isl_tab_pip.c.

References isl_tab_var::index, isl_tab_var::is_row, isl_int_is_negone, isl_int_is_one, isl_int_is_zero, isl_tab::M, isl_tab::mat, isl_tab::n_col, isl_tab::n_dead, isl_tab::n_div, isl_tab::n_param, isl_tab::n_var, isl_mat::row, and isl_tab::var.

Referenced by add_lexmin_valid_eq().

lexmin_col_pair()

int lexmin_col_pair ( struct isl_tab * tab, int row, int col1, int col2, isl_int tmp )

static

Definition at line 1187 of file isl_tab_pip.c.

References isl_tab_var::index, isl_tab_var::is_row, isl_int_is_neg, isl_int_is_pos, isl_int_mul, isl_int_sgn, isl_int_submul, isl_tab::M, isl_tab::mat, isl_tab::n_div, isl_tab::n_param, isl_tab::n_var, isl_mat::row, and isl_tab::var.

Referenced by lexmin_pivot_col().

lexmin_pivot_col()

int lexmin_pivot_col ( struct isl_tab * tab, int row )

static

Definition at line 1267 of file isl_tab_pip.c.

References col_is_parameter_var(), isl_mat::ctx, isl_assert, isl_int_clear, isl_int_init, isl_int_is_pos, lexmin_col_pair(), isl_tab::M, isl_tab::mat, isl_tab::n_col, isl_tab::n_dead, and isl_mat::row.

Referenced by restore_lexmin().

need_split_basic_map()

isl_bool need_split_basic_map ( __isl_keep isl_basic_map * bmap, __isl_keep isl_mat * cst )

static

Definition at line 4747 of file isl_tab_pip.c.

References __isl_keep, isl_basic_map_dim(), isl_bool_error, isl_bool_false, isl_bool_true, isl_dim_all, isl_int_is_negone, isl_int_is_nonneg, isl_int_is_zero, isl_seq_eq(), isl_seq_first_non_zero(), pos(), and total().

Referenced by need_split_basic_set(), and split_domain().

need_split_basic_set()

isl_bool need_split_basic_set ( __isl_keep isl_basic_set * bset, __isl_keep isl_mat * cst )

static

Definition at line 4794 of file isl_tab_pip.c.

References __isl_keep, bset_to_bmap(), isl_basic_set, and need_split_basic_map().

Referenced by need_split_set().

need_split_set()

isl_bool need_split_set ( __isl_keep isl_set * set, __isl_keep isl_mat * cst )

static

Definition at line 4804 of file isl_tab_pip.c.

References __isl_keep, isl_bool_false, isl_set, need_split_basic_set(), set, and split().

Referenced by split_domain_pma().

need_substitution()

isl_bool need_substitution ( __isl_keep isl_multi_aff * maff )

static

Definition at line 5806 of file isl_tab_pip.c.

References __isl_keep, isl_aff_involves_dims(), isl_bool_error, isl_bool_false, isl_dim_in, and pos().

Referenced by split_domain_pma().

next_non_integer_var()

int next_non_integer_var ( struct isl_tab * tab, int var, int * f )

static

Definition at line 1762 of file isl_tab_pip.c.

References f, I_CST, I_PAR, I_VAR, isl_tab_var::index, integer_constant(), integer_parameter(), integer_variable(), isl_tab_var::is_row, ISL_FL_ISSET, ISL_FL_SET, isl_tab::n_div, isl_tab::n_param, isl_tab::n_var, isl_tab::var, and var().

Referenced by cut_to_integer_lexmin(), and first_non_integer_row().

no_sol_in_strict()

void no_sol_in_strict ( struct isl_sol * sol, struct isl_tab * tab, struct isl_vec * ineq )

static

Definition at line 3954 of file isl_tab_pip.c.

References isl_context_op::add_ineq, isl_sol::context, isl_vec::el, isl_tab::empty, isl_sol::error, isl_int_add_ui, isl_int_sub_ui, isl_context::op, isl_context_op::restore, isl_context_op::save, and sol_add().

Referenced by find_solutions(), and find_solutions_main().

normalize_div()

void normalize_div ( __isl_keep isl_vec * div )

static

Definition at line 928 of file isl_tab_pip.c.

References __isl_keep, isl_vec::ctx, isl_int_divexact, isl_int_fdiv_q, isl_int_gcd, isl_int_is_one, isl_seq_gcd(), isl_seq_scale_down(), isl_vec_get_ctx(), and isl_ctx::normalize_gcd.

Referenced by get_row_parameter_div(), and get_row_split_div().

parallel_constraints()

isl_bool parallel_constraints ( __isl_keep isl_basic_map * bmap, int * first, int * second )

static

Definition at line 4589 of file isl_tab_pip.c.

References __isl_keep, constraint_equal(), count_occurrences(), isl_hash_table_entry::data, isl_basic_map_dim(), isl_basic_map_get_ctx(), isl_bool_error, isl_bool_ok(), isl_dim_div, isl_dim_in, isl_dim_out, isl_dim_param, isl_hash_table_alloc(), isl_hash_table_find(), isl_hash_table_free(), isl_seq_first_non_zero(), isl_seq_get_hash(), isl_constraint_equal_info::n_in, isl_constraint_equal_info::n_out, single_occurrence(), and isl_constraint_equal_info::val.

Referenced by SF().

pick_side()

isl_stat pick_side ( struct isl_local_region * local, struct isl_lexmin_data * data )

static

Definition at line 5425 of file isl_tab_pip.c.

References fix_zero(), isl_stat_error, isl_stat_ok, isl_tab_push_basis(), isl_tab_snap(), pos_neg(), isl_lexmin_data::region, isl_local_region::region, isl_local_region::side, isl_local_region::snap, and isl_lexmin_data::tab.

Referenced by isl_tab_basic_set_non_trivial_lexmin().

pos_neg()

struct isl_tab * pos_neg ( struct isl_tab * tab, struct isl_trivial_region * region, int side, struct isl_lexmin_data * data )

static

Definition at line 5185 of file isl_tab_pip.c.

References add_lexmin_ineq(), isl_vec::el, isl_int_set_si, isl_mat_cols(), isl_seq_cpy(), isl_seq_neg(), isl_tab_free(), isl_vec_clr(), isl_trivial_region::pos, isl_mat::row, isl_trivial_region::trivial, and isl_lexmin_data::v.

Referenced by pick_side().

propagate_equalities()

int propagate_equalities ( struct isl_context_gbr * cgbr, struct isl_tab * tab, unsigned first )

static

Definition at line 3330 of file isl_tab_pip.c.

References isl_tab::bmap, isl_tab::con, isl_mat::ctx, isl_vec::el, isl_tab_var::index, isl_basic_map::ineq, isl_int_is_negone, isl_int_is_one, isl_seq_clr(), isl_seq_cpy(), isl_tab_add_row(), isl_tab_clear_undo(), isl_tab_extend_cons(), isl_tab_free(), isl_tab_kill_col(), isl_tab_need_undo(), isl_tab_pivot(), isl_tab_rollback(), isl_tab_snap(), isl_vec_alloc(), isl_vec_free(), last_non_zero_var_col(), isl_tab::M, isl_tab::mat, isl_tab::n_div, isl_basic_map::n_ineq, isl_tab::n_param, isl_tab::n_var, restore_lexmin(), isl_mat::row, and isl_context_gbr::tab.

Referenced by context_gbr_detect_equalities().

region_is_trivial()

isl_bool region_is_trivial ( struct isl_tab * tab, int pos, __isl_keep isl_mat * trivial )

static

Definition at line 5012 of file isl_tab_pip.c.

References __isl_keep, extract_sample_sequence(), is_trivial(), isl_bool_error, isl_bool_false, isl_mat_cols(), isl_mat_copy(), isl_mat_rows(), isl_mat_vec_product(), isl_vec_free(), isl_vec_is_zero(), n, and pos().

Referenced by first_trivial_region().

report_conflict()

int report_conflict ( struct isl_tab * tab, int row )

static

Definition at line 1384 of file isl_tab_pip.c.

References col_is_parameter_var(), isl_tab::col_var, isl_tab::conflict, isl_int_is_neg, isl_tab::M, isl_tab::mat, isl_tab::n_col, isl_tab::n_dead, report_conflicting_constraint(), isl_mat::row, and isl_tab::row_var.

Referenced by restore_lexmin().

report_conflicting_constraint()

int report_conflicting_constraint ( struct isl_tab * tab, int con )

static

Definition at line 1374 of file isl_tab_pip.c.

References isl_tab::con, isl_tab::conflict, and isl_tab::conflict_user.

Referenced by report_conflict().

reset_any_to_unknown()

void reset_any_to_unknown ( struct isl_tab * tab )

static

Definition at line 3986 of file isl_tab_pip.c.

References isl_tab_row_any, isl_tab_row_unknown, isl_tab_var_from_row(), isl_tab::n_redundant, and isl_tab::row_sign.

Referenced by find_solutions().

restore_lexmin()

int restore_lexmin ( struct isl_tab * tab )

static

Definition at line 1420 of file isl_tab_pip.c.

References isl_tab::empty, first_neg(), isl_tab_mark_empty(), isl_tab_pivot(), lexmin_pivot_col(), isl_tab::n_col, and report_conflict().

Referenced by add_lexmin_eq(), add_lexmin_ineq(), cut_to_integer_lexmin(), find_solutions(), isl_context_lex_alloc(), propagate_equalities(), and tab_for_lexmin().

row_is_parameter_var()

int row_is_parameter_var ( struct isl_tab * tab, int row )

static

Definition at line 1256 of file isl_tab_pip.c.

References is_parameter_var(), and isl_tab::row_var.

Referenced by find_solutions_main().

row_sign()

enum isl_tab_row_sign row_sign ( struct isl_tab * tab, struct isl_sol * sol, int row )

static

Definition at line 3839 of file isl_tab_pip.c.

References isl_sol::context, isl_vec::el, get_row_parameter_ineq(), identical_parameter_line(), isl_context_op::ineq_sign, is_critical(), is_obviously_nonneg(), is_strict(), isl_int_sub_ui, isl_seq_neg(), isl_tab_row_any, isl_tab_row_neg, isl_tab_row_pos, isl_tab_row_unknown, isl_vec_free(), isl_tab::n_redundant, isl_context::op, res, isl_tab::row_sign, isl_vec::size, and isl_context_op::test_ineq.

Referenced by find_solutions(), and update_row_sign().

same_solution()

isl_bool same_solution ( struct isl_partial_sol * s1, struct isl_partial_sol * s2 )

static

Definition at line 392 of file isl_tab_pip.c.

References isl_bool_false, isl_bool_true, and isl_partial_sol::ma.

Referenced by combine_initial_if_equal().

sample_is_finite()

int sample_is_finite ( struct isl_tab * tab )

static

Definition at line 1954 of file isl_tab_pip.c.

References isl_tab_var::index, isl_tab_var::is_row, isl_int_ne, isl_tab::M, isl_tab::mat, isl_tab::n_var, isl_mat::row, and isl_tab::var.

Referenced by check_integer_feasible().

scale_rows()

void scale_rows ( struct isl_mat * mat, isl_int m, int n_row )

static

Definition at line 612 of file isl_tab_pip.c.

References isl_int_is_one, isl_seq_scale(), m, isl_tab::mat, isl_mat::n_col, isl_tab::n_row, and isl_mat::row.

Referenced by sol_add().

select_minimum()

__isl_give isl_basic_set * select_minimum ( __isl_take isl_basic_set * bset, __isl_keep isl_mat * var, int i )

static

Definition at line 4660 of file isl_tab_pip.c.

References __isl_give, __isl_keep, __isl_take, isl_basic_set, isl_basic_set_alloc_inequality(), isl_basic_set_finalize(), isl_basic_set_free(), isl_int_set_si, isl_int_sub_ui, isl_mat_get_ctx(), isl_seq_combine(), isl_ctx::negone, isl_ctx::one, and var().

Referenced by set_minimum(), and set_minimum_pa().

set_from_affine_matrix()

__isl_give isl_multi_aff * set_from_affine_matrix ( __isl_take isl_multi_aff * ma, __isl_take isl_local_space * ls, __isl_take isl_mat * M )

static

Definition at line 274 of file isl_tab_pip.c.

References __isl_give, __isl_take, aff, check_final_columns_are_zero(), isl_aff_alloc(), isl_aff_normalize(), isl_dim_all, isl_int_set, isl_local_space_copy(), isl_local_space_dim(), isl_local_space_free(), isl_mat_free(), isl_seq_cpy(), M(), and ma.

Referenced by sol_push_sol_mat().

set_minimum()

__isl_give isl_set * set_minimum ( __isl_take isl_space * space, __isl_take isl_mat * var )

static

Definition at line 4702 of file isl_tab_pip.c.

References __isl_give, __isl_take, isl_basic_set, isl_basic_set_alloc_equality(), isl_basic_set_alloc_space(), isl_basic_set_free(), isl_int_set_si, isl_mat_free(), isl_seq_cpy(), isl_set, isl_set_add_basic_set(), isl_set_alloc_space(), ISL_SET_DISJOINT, isl_set_free(), isl_space_copy(), isl_space_free(), select_minimum(), set, and var().

Referenced by basic_map_partial_lexopt_symm_core().

set_minimum_pa()

__isl_give isl_pw_aff * set_minimum_pa ( __isl_take isl_space * space, __isl_take isl_mat * var )

static

Definition at line 5846 of file isl_tab_pip.c.

References __isl_give, __isl_take, aff, isl_aff_alloc(), isl_aff_free(), isl_basic_set, isl_basic_set_alloc_space(), isl_basic_set_free(), isl_dim_out, isl_int_set_si, isl_local_space_copy(), isl_local_space_free(), isl_local_space_from_space(), isl_mat_free(), isl_pw_aff_add_disjoint(), isl_pw_aff_alloc(), isl_pw_aff_alloc_size(), isl_pw_aff_free(), isl_seq_cpy(), isl_set_from_basic_set(), isl_space_add_dims(), isl_space_copy(), isl_space_free(), isl_space_from_domain(), select_minimum(), and var().

set_row_cst_to_div()

struct isl_tab * set_row_cst_to_div ( struct isl_tab * tab, int row, int div )

static

Definition at line 1044 of file isl_tab_pip.c.

References isl_mat::ctx, isl_tab_var::index, isl_tab_var::is_row, isl_assert, isl_int_add_ui, isl_int_is_one, isl_int_set_si, isl_seq_combine(), isl_seq_fdiv_q(), isl_tab_free(), isl_tab::M, isl_tab::mat, isl_tab::n_col, isl_tab::n_div, isl_tab::n_var, isl_ctx::one, isl_mat::row, and isl_tab::var.

Referenced by find_solutions().

single_occurrence()

int single_occurrence ( int n, isl_int * c, int * occurrences )

static

Definition at line 4519 of file isl_tab_pip.c.

References isl_int_is_zero, and n.

Referenced by parallel_constraints().

sol_add()

void sol_add ( struct isl_sol * sol, struct isl_tab * tab )

static

Definition at line 672 of file isl_tab_pip.c.

References isl_sol::add_empty, isl_sol::context, isl_mat::ctx, isl_tab::empty, isl_sol::error, isl_tab_var::index, isl_context_op::is_empty, isl_tab_var::is_row, isl_basic_set, isl_basic_set_free(), isl_die, isl_error_invalid, isl_int_clear, isl_int_divexact, isl_int_gcd, isl_int_init, isl_int_mul, isl_int_ne, isl_int_set_si, isl_mat_alloc(), isl_mat_free(), isl_seq_clr(), isl_seq_neg(), isl_tab::M, m, isl_tab::mat, isl_sol::max, isl_mat::n_col, isl_tab::n_div, isl_sol::n_out, isl_tab::n_param, isl_tab::n_var, isl_context::op, isl_mat::row, scale_rows(), sol_domain(), sol_push_sol(), sol_push_sol_mat(), and isl_tab::var.

Referenced by find_solutions(), and no_sol_in_strict().

sol_dec_level()

void sol_dec_level ( struct isl_sol * sol )

static

Definition at line 574 of file isl_tab_pip.c.

References isl_sol::error, isl_sol::level, and sol_pop().

Referenced by sol_dec_level_wrap().

sol_dec_level_wrap()

isl_stat sol_dec_level_wrap ( struct isl_tab_callback * cb )

static

Definition at line 584 of file isl_tab_pip.c.

References isl_sol_callback::callback, isl_stat_error, isl_stat_ok, and sol_dec_level().

Referenced by sol_init().

sol_domain()

struct isl_basic_set * sol_domain ( struct isl_sol * sol )

static

Definition at line 376 of file isl_tab_pip.c.

References isl_sol::context, isl_sol::error, isl_basic_set, isl_basic_set_dup(), isl_basic_set_update_from_tab(), isl_context::op, isl_context_op::peek_basic_set, and isl_context_op::peek_tab.

Referenced by combine_initial_into_second(), and sol_add().

sol_free()

void sol_free ( struct isl_sol * sol )

static

Definition at line 198 of file isl_tab_pip.c.

References isl_sol::context, isl_partial_sol::dom, isl_context_op::free, isl_sol::free, isl_basic_set_free(), isl_space_free(), isl_partial_sol::ma, isl_partial_sol::next, isl_context::op, isl_sol::partial, and isl_sol::space.

Referenced by basic_map_partial_lexopt_base(), basic_map_partial_lexopt_base_pw_multi_aff(), basic_map_partial_lexopt_base_sol(), sol_map_init(), and sol_pma_init().

sol_has_mergeable_solutions()

int sol_has_mergeable_solutions ( struct isl_sol * sol )

static

Definition at line 4213 of file isl_tab_pip.c.

References isl_sol::error, isl_partial_sol::level, isl_partial_sol::next, and isl_sol::partial.

Referenced by find_solutions_main().

sol_inc_level()

void sol_inc_level ( struct isl_sol * sol )

static

Definition at line 599 of file isl_tab_pip.c.

References isl_sol_callback::callback, isl_sol::context, isl_sol::dec_level, isl_sol::error, isl_tab_push_callback(), isl_sol::level, isl_context::op, and isl_context_op::peek_tab.

Referenced by find_solutions(), and find_solutions_main().

sol_init()

isl_stat sol_init ( struct isl_sol * sol, __isl_keep isl_basic_map * bmap, __isl_keep isl_basic_set * dom, int max )

static

Definition at line 3679 of file isl_tab_pip.c.

References __isl_keep, isl_sol_callback::callback, isl_sol::context, isl_sol::dec_level, isl_basic_map_dim(), isl_basic_map_get_space(), ISL_BASIC_MAP_RATIONAL, isl_basic_set, isl_context_alloc(), isl_dim_out, ISL_F_ISSET, isl_stat_error, isl_stat_ok, isl_sol::max, isl_sol::n_out, isl_sol::rational, isl_tab_callback::run, isl_sol_callback::sol, sol_dec_level_wrap(), and isl_sol::space.

Referenced by sol_map_init(), and sol_pma_init().

sol_map_add()

void sol_map_add ( struct isl_sol_map * sol, __isl_take isl_basic_set * dom, __isl_take isl_multi_aff * ma )

static

Definition at line 807 of file isl_tab_pip.c.

References __isl_take, isl_sol::error, isl_basic_map_from_multi_aff2(), isl_basic_map_intersect_domain(), isl_basic_set, isl_basic_set_free(), isl_map_add_basic_map(), isl_map_grow(), ma, isl_sol::rational, and isl_sol_map::sol.

Referenced by sol_map_add_wrap().

sol_map_add_empty()

void sol_map_add_empty ( struct isl_sol_map * sol, struct isl_basic_set * bset )

static

Definition at line 778 of file isl_tab_pip.c.

References isl_sol::error, isl_basic_set, isl_basic_set_copy(), isl_basic_set_finalize(), isl_basic_set_free(), isl_basic_set_simplify(), isl_set_add_basic_set(), isl_set_grow(), and isl_sol_map::sol.

Referenced by sol_map_add_empty_wrap().

sol_map_add_empty_wrap()

void sol_map_add_empty_wrap ( struct isl_sol * sol, struct isl_basic_set * bset )

static

Definition at line 797 of file isl_tab_pip.c.

References isl_basic_set, isl_sol_map::sol, and sol_map_add_empty().

Referenced by sol_map_init().

sol_map_add_wrap()

void sol_map_add_wrap ( struct isl_sol * sol, __isl_take isl_basic_set * dom, __isl_take isl_multi_aff * ma )

static

Definition at line 828 of file isl_tab_pip.c.

References __isl_take, isl_basic_set, ma, isl_sol_map::sol, and sol_map_add().

Referenced by sol_map_init().

sol_map_free()

void sol_map_free ( struct isl_sol * sol )

static

Definition at line 767 of file isl_tab_pip.c.

References isl_sol_map::empty, isl_map_free(), isl_set_free(), isl_sol_map::map, and isl_sol_map::sol.

Referenced by sol_map_init().

sol_map_init()

struct isl_sol * sol_map_init ( __isl_keep isl_basic_map * bmap, __isl_take isl_basic_set * dom, int track_empty, int max )

static

Definition at line 3703 of file isl_tab_pip.c.

References __isl_keep, __isl_take, isl_sol::add, isl_sol::add_empty, isl_sol_map::empty, isl_sol::free, isl_basic_set, isl_basic_set_free(), isl_basic_set_get_space(), isl_calloc_type, isl_map_alloc_space(), ISL_MAP_DISJOINT, isl_set_alloc_space(), ISL_SET_DISJOINT, isl_space_copy(), isl_sol_map::map, isl_sol_map::sol, sol_free(), sol_init(), sol_map_add_empty_wrap(), sol_map_add_wrap(), sol_map_free(), and isl_sol::space.

Referenced by basic_map_partial_lexopt_base().

sol_pma_add()

void sol_pma_add ( struct isl_sol_pma * sol, __isl_take isl_basic_set * dom, __isl_take isl_multi_aff * maff )

static

Definition at line 5703 of file isl_tab_pip.c.

References __isl_take, isl_sol::error, isl_basic_set, isl_basic_set_finalize(), isl_basic_set_simplify(), isl_pw_multi_aff_add_disjoint(), isl_pw_multi_aff_alloc(), isl_set_from_basic_set(), pma, and isl_sol_pma::sol.

Referenced by sol_pma_add_wrap().

sol_pma_add_empty()

void sol_pma_add_empty ( struct isl_sol_pma * sol, __isl_take isl_basic_set * bset )

static

Definition at line 5680 of file isl_tab_pip.c.

References __isl_take, isl_sol::error, isl_basic_set, isl_basic_set_finalize(), isl_basic_set_free(), isl_basic_set_simplify(), isl_set_add_basic_set(), isl_set_grow(), and isl_sol_pma::sol.

Referenced by sol_pma_add_empty_wrap().

sol_pma_add_empty_wrap()

void sol_pma_add_empty_wrap ( struct isl_sol * sol, __isl_take isl_basic_set * bset )

static

Definition at line 5716 of file isl_tab_pip.c.

References __isl_take, isl_basic_set, isl_sol_pma::sol, and sol_pma_add_empty().

Referenced by sol_pma_init().

sol_pma_add_wrap()

void sol_pma_add_wrap ( struct isl_sol * sol, __isl_take isl_basic_set * dom, __isl_take isl_multi_aff * ma )

static

Definition at line 5722 of file isl_tab_pip.c.

References __isl_take, isl_basic_set, ma, isl_sol_pma::sol, and sol_pma_add().

Referenced by sol_pma_init().

sol_pma_free()

void sol_pma_free ( struct isl_sol * sol )

static

Definition at line 5669 of file isl_tab_pip.c.

References isl_sol_pma::empty, isl_pw_multi_aff_free(), isl_set_free(), isl_sol_pma::pma, and isl_sol_pma::sol.

Referenced by sol_pma_init().

sol_pma_init()

struct isl_sol * sol_pma_init ( __isl_keep isl_basic_map * bmap, __isl_take isl_basic_set * dom, int track_empty, int max )

static

Definition at line 5735 of file isl_tab_pip.c.

References __isl_keep, __isl_take, isl_sol::add, isl_sol::add_empty, isl_sol_pma::empty, isl_sol::free, isl_basic_set, isl_basic_set_free(), isl_basic_set_get_space(), isl_calloc_type, isl_pw_multi_aff_empty(), isl_set_alloc_space(), ISL_SET_DISJOINT, isl_space_copy(), isl_sol_pma::pma, isl_sol_pma::sol, sol_free(), sol_init(), sol_pma_add_empty_wrap(), sol_pma_add_wrap(), sol_pma_free(), and isl_sol::space.

Referenced by basic_map_partial_lexopt_base_pw_multi_aff().

sol_pop()

void sol_pop ( struct isl_sol * sol )

static

Definition at line 538 of file isl_tab_pip.c.

References combine_initial_if_equal(), isl_sol::error, isl_partial_sol::level, isl_sol::level, isl_partial_sol::next, isl_sol::partial, and sol_pop_one().

Referenced by find_solutions_main(), and sol_dec_level().

sol_pop_one()

void sol_pop_one ( struct isl_sol * sol )

static

Definition at line 360 of file isl_tab_pip.c.

References isl_sol::add, isl_sol::add_empty, isl_partial_sol::dom, isl_partial_sol::ma, isl_partial_sol::next, and isl_sol::partial.

Referenced by combine_initial_if_equal(), and sol_pop().

sol_push_sol()

void sol_push_sol ( struct isl_sol * sol, __isl_take isl_basic_set * dom, __isl_take isl_multi_aff * ma )

static

Definition at line 221 of file isl_tab_pip.c.

References __isl_take, isl_partial_sol::dom, isl_sol::error, isl_alloc_type, isl_basic_set, isl_basic_set_free(), isl_partial_sol::level, isl_sol::level, isl_partial_sol::ma, ma, isl_partial_sol::next, and isl_sol::partial.

Referenced by sol_add(), and sol_push_sol_mat().

sol_push_sol_mat()

void sol_push_sol_mat ( struct isl_sol * sol, __isl_take isl_basic_set * dom, __isl_take isl_mat * M )

static

Definition at line 328 of file isl_tab_pip.c.

References __isl_take, isl_sol::context, isl_partial_sol::dom, isl_basic_set, isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_get_local_space(), isl_dim_div, isl_local_space_drop_dims(), isl_mat_free(), isl_space_copy(), M(), ma, isl_context::n_unknown, set_from_affine_matrix(), sol_push_sol(), and isl_sol::space.

Referenced by sol_add().

split()

__isl_give isl_set * split ( __isl_take isl_set * empty, __isl_take isl_set * min_expr, __isl_take isl_mat * cst )

static

Definition at line 4881 of file isl_tab_pip.c.

References __isl_give, __isl_take, isl_map_domain(), isl_map_from_domain(), isl_set, map, and split_domain().

Referenced by basic_map_partial_lexopt_symm_core(), best_split(), best_split(), compute_sub_schedule(), find_solutions(), free_split(), isl_map_print_latex(), isl_scc_graph_decompose(), need_split_set(), print_body_map(), print_split_map(), split_aff(), split_domain(), and split_domain_pma().

split_domain()

__isl_give isl_map * split_domain ( __isl_take isl_map * opt, __isl_take isl_set * min_expr, __isl_take isl_mat * cst )

static

Definition at line 4832 of file isl_tab_pip.c.

References __isl_give, __isl_take, isl_basic_map_copy(), isl_dim_in, isl_map_dim(), isl_map_empty(), isl_map_free(), isl_map_from_basic_map(), isl_map_get_space(), isl_map_intersect_domain(), isl_map_remove_dims(), isl_map_union_disjoint(), isl_mat_free(), isl_set, isl_set_copy(), isl_set_free(), isl_space_drop_dims(), map, isl_constraint_equal_info::n_in, need_split_basic_map(), res, and split().

Referenced by basic_map_partial_lexopt_symm_core(), and split().

split_domain_pma()

__isl_give isl_pw_multi_aff * split_domain_pma ( __isl_take isl_pw_multi_aff * opt, __isl_take isl_pw_aff * min_expr_pa, __isl_take isl_set * min_expr, __isl_take isl_mat * cst )

static

Definition at line 5907 of file isl_tab_pip.c.

References __isl_give, __isl_take, isl_dim_in, isl_mat_free(), isl_pw_aff_free(), isl_pw_multi_aff_add_disjoint(), isl_pw_multi_aff_alloc(), isl_pw_multi_aff_dim(), isl_pw_multi_aff_empty(), isl_pw_multi_aff_free(), isl_pw_multi_aff_get_space(), isl_pw_multi_aff_intersect_domain(), isl_pw_multi_aff_project_out(), isl_pw_multi_aff_substitute(), isl_set, isl_set_copy(), isl_set_free(), isl_space_drop_dims(), need_split_set(), need_substitution(), pma, res, and split().

swap_initial()

void swap_initial ( struct isl_sol * sol )

static

Definition at line 413 of file isl_tab_pip.c.

References isl_partial_sol::next, and isl_sol::partial.

Referenced by combine_initial_if_equal().

tab_detect_nonnegative_parameters()

struct isl_tab * tab_detect_nonnegative_parameters ( struct isl_tab * tab, struct isl_tab * context_tab )

static

Definition at line 2714 of file isl_tab_pip.c.

References isl_tab::con, isl_mat::ctx, isl_vec::el, isl_tab::empty, isl_tab_var::is_nonneg, isl_int_set_si, isl_mat_drop_cols(), isl_seq_clr(), isl_tab_add_ineq(), isl_tab_extend_cons(), isl_tab_free(), isl_tab_min_at_most_neg_one(), isl_tab_rollback(), isl_tab_snap(), isl_vec_alloc(), isl_vec_free(), isl_tab::M, isl_tab::mat, n, isl_tab::n_con, isl_tab::n_div, isl_tab::n_param, isl_tab::n_var, isl_vec::size, isl_tab::var, and var().

Referenced by context_gbr_detect_nonnegative_parameters(), and context_lex_detect_nonnegative_parameters().

tab_for_lexmin()

__isl_give struct isl_tab * tab_for_lexmin ( __isl_keep isl_basic_map * bmap, __isl_keep isl_basic_set * dom, unsigned M, int max )

static

Definition at line 2300 of file isl_tab_pip.c.

References __isl_give, __isl_keep, add_lexmin_ineq(), add_lexmin_valid_eq(), isl_tab::bmap, isl_basic_map::ctx, isl_tab::empty, isl_basic_map::eq, isl_tab_var::frozen, isl_basic_map::ineq, isl_tab_var::is_nonneg, isl_basic_map_dim(), ISL_BASIC_MAP_EMPTY, ISL_BASIC_MAP_RATIONAL, isl_basic_set, isl_basic_set_dim(), isl_calloc_array, isl_dim_all, ISL_F_ISSET, isl_seq_neg(), isl_tab_alloc(), isl_tab_free(), isl_tab_mark_empty(), M(), isl_tab::mat, isl_tab::n_div, isl_basic_map::n_eq, isl_basic_map::n_ineq, isl_tab::n_param, isl_mat::n_row, isl_tab::n_var, isl_tab::rational, restore_lexmin(), isl_tab::row_sign, total(), and isl_tab::var.

Referenced by basic_map_partial_lexopt_base_sol(), context_tab_for_lexmin(), init_lexmin_data(), and isl_tab_lexmin_from_basic_set().

tab_has_valid_sample()

int tab_has_valid_sample ( struct isl_tab * tab, isl_int * ineq, int eq )

static

Definition at line 2016 of file isl_tab_pip.c.

References isl_tab::bmap, isl_mat::ctx, isl_assert, isl_int_clear, isl_int_init, isl_int_sgn, isl_seq_inner_product(), isl_tab::mat, isl_mat::n_col, isl_tab::n_outside, isl_tab::n_sample, isl_tab::n_var, isl_mat::row, isl_tab::samples, and sgn().

Referenced by context_gbr_add_eq(), context_gbr_add_ineq(), context_lex_add_eq(), and context_lex_add_ineq().

tab_ineq_sign()

enum isl_tab_row_sign tab_ineq_sign ( struct isl_tab * tab, isl_int * ineq, int strict )

static

Definition at line 2543 of file isl_tab_pip.c.

References isl_mat::ctx, isl_assert, isl_int_clear, isl_int_init, isl_int_sgn, isl_seq_inner_product(), isl_tab_row_any, isl_tab_row_neg, isl_tab_row_pos, isl_tab_row_unknown, isl_tab::mat, isl_mat::n_col, isl_tab::n_outside, isl_tab::n_var, res, isl_mat::row, isl_tab::samples, and sgn().

Referenced by context_gbr_ineq_sign(), and context_lex_ineq_sign().

update_outer_levels()

void update_outer_levels ( struct isl_lexmin_data * data, int level )

static

Definition at line 5263 of file isl_tab_pip.c.

References isl_lexmin_data::local, and isl_local_region::update.

Referenced by enter_level().

use_shifted()

int use_shifted ( struct isl_context_gbr * cgbr )

static

Definition at line 2986 of file isl_tab_pip.c.

References isl_tab::bmap, isl_basic_map::n_div, isl_basic_map::n_eq, and isl_context_gbr::tab.

Referenced by add_gbr_ineq(), context_gbr_add_eq(), and gbr_get_sample().

Variable Documentation

isl_context_gbr_op

struct isl_context_op isl_context_gbr_op

Initial value:

= {
  context_gbr_detect_nonnegative_parameters,
  context_gbr_peek_basic_set,
  context_gbr_peek_tab,
  context_gbr_add_eq,
  context_gbr_add_ineq,
  context_gbr_ineq_sign,
  context_gbr_test_ineq,
  context_gbr_get_div,
  context_gbr_insert_div,
  context_gbr_detect_equalities,
  context_gbr_best_split,
  context_gbr_is_empty,
  context_gbr_is_ok,
  context_gbr_save,
  context_gbr_restore,
  context_gbr_discard,
  context_gbr_invalidate,
  context_gbr_free,
}

Definition at line 3592 of file isl_tab_pip.c.

Referenced by isl_context_gbr_alloc().

isl_context_lex_op

struct isl_context_op isl_context_lex_op

Initial value:

= {
  context_lex_detect_nonnegative_parameters,
  context_lex_peek_basic_set,
  context_lex_peek_tab,
  context_lex_add_eq,
  context_lex_add_ineq,
  context_lex_ineq_sign,
  context_lex_test_ineq,
  context_lex_get_div,
  context_lex_insert_div,
  context_lex_detect_equalities,
  context_lex_best_split,
  context_lex_is_empty,
  context_lex_is_ok,
  context_lex_save,
  context_lex_restore,
  context_lex_discard,
  context_lex_invalidate,
  context_lex_free,
}

Definition at line 2809 of file isl_tab_pip.c.

Referenced by isl_context_lex_alloc().