isl_lp_private.h File Reference

#include <isl_int.h>
#include <isl/lp.h>
#include <isl/vec.h>

Go to the source code of this file.

Functions
enum isl_lp_result	isl_basic_map_solve_lp (__isl_keep isl_basic_map *bmap, int max, isl_int *f, isl_int denom, 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 denom, 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 denom, 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 denom, isl_int *opt, isl_int *opt_denom, __isl_give isl_vec **sol)

Function Documentation

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	denom,
		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_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	denom,
		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().

isl_map_solve_lp()

enum isl_lp_result isl_map_solve_lp	(	__isl_keep isl_map *	map,
		int	max,
		isl_int *	f,
		isl_int	denom,
		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().

isl_set_solve_lp()

enum isl_lp_result isl_set_solve_lp	(	__isl_keep isl_set *	set,
		int	max,
		isl_int *	f,
		isl_int	denom,
		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().