|
Polly 20.0.0git
|
#include <isl_ctx_private.h>#include <isl_map_private.h>#include <isl/lp.h>#include <isl_seq.h>#include "isl_tab.h"#include <isl_options_private.h>#include <isl_local_space_private.h>#include <isl_aff_private.h>#include <isl_mat_private.h>#include <isl_val_private.h>#include <isl_vec_private.h>#include <bset_to_bmap.c>#include <set_to_map.c>Go to the source code of this file.
|
static |
Definition at line 217 of file isl_lp.c.
References isl_aff_get_ctx(), isl_basic_set_solve_lp(), isl_lp_empty, isl_lp_error, isl_lp_ok, isl_val_alloc(), isl_val_free(), isl_val_infty(), isl_val_nan(), isl_val_neginfty(), isl_val_normalize(), obj, and res.
Referenced by isl_basic_set_opt_lp_val_aligned().
| enum isl_lp_result isl_basic_map_solve_lp | ( | __isl_keep isl_basic_map * | bmap, |
| int | max, | ||
| isl_int * | f, | ||
| isl_int | d, | ||
| isl_int * | opt, | ||
| isl_int * | opt_denom, | ||
| __isl_give isl_vec ** | sol | ||
| ) |
Definition at line 66 of file isl_lp.c.
References isl_tab::bmap, f, isl_lp_error, and isl_tab_solve_lp().
Referenced by basic_set_maximal_difference_at(), isl_basic_set_solve_lp(), and isl_map_solve_lp().
| __isl_give isl_val * isl_basic_set_max_lp_val | ( | __isl_keep isl_basic_set * | bset, |
| __isl_keep isl_aff * | obj | ||
| ) |
Definition at line 367 of file isl_lp.c.
References isl_basic_set_opt_lp_val(), and obj.
| __isl_give isl_val * isl_basic_set_min_lp_val | ( | __isl_keep isl_basic_set * | bset, |
| __isl_keep isl_aff * | obj | ||
| ) |
Definition at line 356 of file isl_lp.c.
References isl_basic_set_opt_lp_val(), and obj.
|
static |
Definition at line 323 of file isl_lp.c.
References equal, isl_aff_align_params(), isl_aff_copy(), isl_aff_free(), isl_aff_get_domain_space(), isl_basic_set_align_params(), isl_basic_set_copy(), isl_basic_set_free(), isl_basic_set_get_space(), isl_basic_set_opt_lp_val_aligned(), isl_basic_set_space_has_equal_params(), obj, and res.
Referenced by isl_basic_set_max_lp_val(), and isl_basic_set_min_lp_val().
|
static |
Definition at line 256 of file isl_lp.c.
References basic_set_opt_lp(), isl_aff_copy(), isl_aff_dim(), isl_aff_expand_divs(), isl_aff_free(), isl_aff_get_ctx(), isl_alloc_array, isl_basic_set_copy(), isl_basic_set_dim(), isl_basic_set_expand_divs(), isl_basic_set_free(), isl_basic_set_get_divs(), isl_die, isl_dim_div, isl_error_invalid, isl_mat_copy(), isl_mat_free(), isl_merge_divs(), isl_space_is_equal(), obj, and res.
Referenced by isl_basic_set_opt_lp_val().
| enum isl_lp_result isl_basic_set_solve_lp | ( | __isl_keep isl_basic_set * | bset, |
| int | max, | ||
| isl_int * | f, | ||
| isl_int | d, | ||
| isl_int * | opt, | ||
| isl_int * | opt_denom, | ||
| __isl_give isl_vec ** | sol | ||
| ) |
Definition at line 79 of file isl_lp.c.
References bset_to_bmap(), f, and isl_basic_map_solve_lp().
Referenced by basic_set_opt_lp(), initial_solution(), isl_set_wrap_facet(), solve_ilp(), and uset_is_bound().
| enum isl_lp_result isl_map_solve_lp | ( | __isl_keep isl_map * | map, |
| int | max, | ||
| isl_int * | f, | ||
| isl_int | d, | ||
| isl_int * | opt, | ||
| isl_int * | opt_denom, | ||
| __isl_give isl_vec ** | sol | ||
| ) |
Definition at line 87 of file isl_lp.c.
References isl_vec::el, f, isl_basic_map_solve_lp(), isl_dim_all, isl_int_clear, isl_int_gt, isl_int_init, isl_int_is_neg, isl_int_is_pos, isl_int_lt, isl_int_mul, isl_int_set, isl_int_submul, isl_lp_empty, isl_lp_error, isl_lp_unbounded, isl_map_dim(), isl_seq_clr(), isl_seq_cpy(), isl_vec_alloc(), isl_vec_free(), map, res, t, and total().
Referenced by isl_set_solve_lp().
| enum isl_lp_result isl_set_solve_lp | ( | __isl_keep isl_set * | set, |
| int | max, | ||
| isl_int * | f, | ||
| isl_int | d, | ||
| isl_int * | opt, | ||
| isl_int * | opt_denom, | ||
| __isl_give isl_vec ** | sol | ||
| ) |
Definition at line 198 of file isl_lp.c.
References f, isl_map_solve_lp(), set, and set_to_map.
Referenced by box_closure_on_domain(), isl_qpolynomial_aff_sign(), isl_qpolynomial_sign(), and split_periods().
|
static |
Definition at line 25 of file isl_lp.c.
References isl_tab::bmap, f, isl_basic_map_dim(), isl_basic_map_gauss(), isl_dim_all, isl_int_neg, isl_lp_error, isl_lp_ok, isl_seq_neg(), isl_tab_free(), isl_tab_from_basic_map(), isl_tab_get_sample_value(), isl_tab_min(), and res.
Referenced by isl_basic_map_solve_lp().
1.9.6