isl_lp.c File Reference

#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.

Functions
static enum isl_lp_result	isl_tab_solve_lp (__isl_keep isl_basic_map *bmap, int maximize, isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom, __isl_give isl_vec **sol)
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)
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)
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)
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)
static __isl_give isl_val *	basic_set_opt_lp (__isl_keep isl_basic_set *bset, int max, __isl_keep isl_aff *obj)
static __isl_give isl_val *	isl_basic_set_opt_lp_val_aligned (__isl_keep isl_basic_set *bset, int max, __isl_keep isl_aff *obj)
static __isl_give isl_val *	isl_basic_set_opt_lp_val (__isl_keep isl_basic_set *bset, int max, __isl_keep isl_aff *obj)
__isl_give isl_val *	isl_basic_set_min_lp_val (__isl_keep isl_basic_set *bset, __isl_keep isl_aff *obj)
__isl_give isl_val *	isl_basic_set_max_lp_val (__isl_keep isl_basic_set *bset, __isl_keep isl_aff *obj)

Function Documentation

basic_set_opt_lp()

__isl_give isl_val * basic_set_opt_lp ( __isl_keep isl_basic_set * bset, int max, __isl_keep isl_aff * obj )

static

Definition at line 217 of file isl_lp.c.

References __isl_give, __isl_keep, isl_aff_get_ctx(), isl_basic_set, 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().

isl_basic_map_solve_lp()

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_give, __isl_keep, 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_basic_set_max_lp_val()

__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_give, __isl_keep, isl_basic_set, isl_basic_set_opt_lp_val(), and obj.

isl_basic_set_min_lp_val()

__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_give, __isl_keep, isl_basic_set, isl_basic_set_opt_lp_val(), and obj.

isl_basic_set_opt_lp_val()

__isl_give isl_val * isl_basic_set_opt_lp_val ( __isl_keep isl_basic_set * bset, int max, __isl_keep isl_aff * obj )

static

Definition at line 323 of file isl_lp.c.

References __isl_give, __isl_keep, equal, isl_aff_align_params(), isl_aff_copy(), isl_aff_free(), isl_aff_get_domain_space(), isl_basic_set, 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().

isl_basic_set_opt_lp_val_aligned()

__isl_give isl_val * isl_basic_set_opt_lp_val_aligned ( __isl_keep isl_basic_set * bset, int max, __isl_keep isl_aff * obj )

static

Definition at line 256 of file isl_lp.c.

References __isl_give, __isl_keep, 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, 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().

isl_basic_set_solve_lp()

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 __isl_give, __isl_keep, bset_to_bmap(), f, isl_basic_map_solve_lp(), and isl_basic_set.

Referenced by basic_set_opt_lp(), initial_solution(), isl_set_wrap_facet(), solve_ilp(), and uset_is_bound().

isl_map_solve_lp()

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_give, __isl_keep, 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().

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 __isl_give, __isl_keep, f, isl_map_solve_lp(), isl_set, set, and set_to_map.

Referenced by box_closure_on_domain(), isl_qpolynomial_aff_sign(), isl_qpolynomial_sign(), and split_periods().

isl_tab_solve_lp()

enum isl_lp_result isl_tab_solve_lp ( __isl_keep isl_basic_map * bmap, int maximize, isl_int * f, isl_int denom, isl_int * opt, isl_int * opt_denom, __isl_give isl_vec ** sol )

static

Definition at line 25 of file isl_lp.c.

References __isl_give, __isl_keep, 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().