isl_farkas.c File Reference

#include <isl_map_private.h>
#include <isl/set.h>
#include <isl_space_private.h>
#include <isl_seq.h>
#include <isl_aff_private.h>
#include <isl_mat_private.h>
#include <isl_factorization.h>

Go to the source code of this file.

Classes
struct	isl_coefficients_factor_data
struct	isl_coefficients_product_data

Functions
static __isl_give isl_space *	isl_space_prefix (__isl_take isl_space *space, const char *prefix)
static __isl_give isl_space *	isl_space_coefficients (__isl_take isl_space *space)
static __isl_give isl_space *	isl_space_unprefix (__isl_take isl_space *space, enum isl_dim_type type, const char *prefix)
static __isl_give isl_space *	isl_space_solutions (__isl_take isl_space *space)
static __isl_give isl_basic_set *	rational_universe (__isl_take isl_space *space)
static __isl_give isl_basic_set *	farkas (__isl_take isl_basic_set *bset, int shift)
static __isl_give isl_basic_set *	isl_basic_set_coefficients_base (__isl_take isl_basic_set *bset)
static __isl_give isl_mat *	peek_inv (__isl_keep isl_morph *morph)
static __isl_give isl_mat *	get_inv (__isl_keep isl_morph *morph)
static isl_stat	isl_coefficients_product_data_init (isl_ctx *ctx, struct isl_coefficients_product_data *data, int n)
static void	isl_coefficients_product_data_clear (struct isl_coefficients_product_data *data)
static int	is_ray (__isl_keep isl_basic_set *bset, int ineq)
static isl_bool	isl_basic_set_coefficients_factor (__isl_keep isl_basic_set *bset, void *user)
static void	clear_entry (isl_int *entry, int total)
static void	set_factor (isl_int *entry, isl_int *src, struct isl_coefficients_factor_data *data)
static void	scale_factor (isl_int *entry, isl_int *src, isl_int f, struct isl_coefficients_factor_data *data)
static __isl_give isl_basic_set *	add_lines (__isl_take isl_basic_set *bset, struct isl_coefficients_factor_data *factor, int total)
static __isl_give isl_basic_set *	add_rays (__isl_take isl_basic_set *bset, struct isl_coefficients_factor_data *data, int total)
static int	factor_first_vertex (struct isl_coefficients_factor_data *factor, int start)
static void	first_vertex (struct isl_coefficients_product_data *data, int first)
static int	next_vertex (struct isl_coefficients_product_data *data)
static __isl_give isl_basic_set *	add_vertex (__isl_take isl_basic_set *bset, struct isl_coefficients_product_data *data)
static __isl_give isl_basic_set *	construct_product (isl_ctx *ctx, struct isl_coefficients_product_data *data)
static __isl_give isl_basic_set *	isl_basic_set_coefficients_product (__isl_take isl_factorizer *f)
static __isl_give isl_basic_set *	isl_basic_set_coefficients_morphed_product (__isl_take isl_factorizer *f)
static __isl_give isl_basic_set *	basic_set_coefficients (__isl_take isl_basic_set *bset)
__isl_give isl_basic_set *	isl_basic_set_coefficients (__isl_take isl_basic_set *bset)
__isl_give isl_basic_set *	isl_basic_set_solutions (__isl_take isl_basic_set *bset)
__isl_give isl_basic_set *	isl_set_coefficients (__isl_take isl_set *set)
static __isl_give isl_basic_set *	coefficients_wrap (__isl_take isl_basic_set *bset, void *user)
__isl_give isl_basic_set_list *	isl_basic_set_list_coefficients (__isl_take isl_basic_set_list *list)
__isl_give isl_basic_set *	isl_set_solutions (__isl_take isl_set *set)

Function Documentation

add_lines()

static __isl_give isl_basic_set * add_lines ( __isl_take isl_basic_set *  bset, struct isl_coefficients_factor_data *  factor, int  total  )

static

Definition at line 491 of file isl_farkas.c.

References clear_entry(), isl_coefficients_factor_data::coeff, isl_basic_set_alloc_equality(), isl_basic_set_free(), isl_coefficients_factor_data::n_line, set_factor(), and total().

Referenced by construct_product().

add_rays()

static __isl_give isl_basic_set * add_rays ( __isl_take isl_basic_set *  bset, struct isl_coefficients_factor_data *  data, int  total  )

static

Definition at line 513 of file isl_farkas.c.

References clear_entry(), isl_coefficients_factor_data::coeff, is_ray(), isl_basic_set_alloc_inequality(), isl_basic_set_free(), isl_coefficients_factor_data::n_ray, isl_coefficients_factor_data::n_vertex, set_factor(), and total().

Referenced by construct_product().

add_vertex()

static __isl_give isl_basic_set * add_vertex ( __isl_take isl_basic_set *  bset, struct isl_coefficients_product_data *  data  )

static

Definition at line 602 of file isl_farkas.c.

References isl_coefficients_factor_data::coeff, f, isl_coefficients_product_data::factors, isl_basic_set_alloc_inequality(), isl_basic_set_free(), isl_int_clear, isl_int_divexact, isl_int_init, isl_int_lcm, isl_int_set, isl_int_set_si, lcm(), isl_coefficients_product_data::n, isl_coefficients_factor_data::pos, pos(), and scale_factor().

Referenced by construct_product().

basic_set_coefficients()

static __isl_give isl_basic_set * basic_set_coefficients ( __isl_take isl_basic_set *  bset )

static

Definition at line 813 of file isl_farkas.c.

References f, isl_basic_set_coefficients_base(), isl_basic_set_coefficients_morphed_product(), isl_basic_set_dim(), isl_basic_set_factorizer(), isl_basic_set_free(), isl_basic_set_move_dims(), isl_dim_param, isl_dim_set, and isl_factorizer_free().

Referenced by isl_basic_set_coefficients().

clear_entry()

static void clear_entry ( isl_int *  entry, int  total  )

static

Definition at line 464 of file isl_farkas.c.

References isl_seq_clr(), and total().

Referenced by add_lines(), and add_rays().

coefficients_wrap()

static __isl_give isl_basic_set * coefficients_wrap ( __isl_take isl_basic_set *  bset, void *  user  )

static

Definition at line 922 of file isl_farkas.c.

References isl_basic_set_coefficients().

Referenced by isl_basic_set_list_coefficients().

construct_product()

static __isl_give isl_basic_set * construct_product ( isl_ctx *  ctx, struct isl_coefficients_product_data *  data  )

static

Definition at line 674 of file isl_farkas.c.

References add_lines(), add_rays(), add_vertex(), isl_coefficients_product_data::factors, first_vertex(), isl_basic_set_alloc_space(), isl_basic_set_set_rational(), isl_space_set_alloc(), isl_coefficients_product_data::n, isl_coefficients_factor_data::n_line, isl_coefficients_factor_data::n_ray, isl_coefficients_factor_data::n_vertex, next_vertex(), rational_universe(), isl_coefficients_product_data::start_next, and total().

Referenced by isl_basic_set_coefficients_product().

factor_first_vertex()

static int factor_first_vertex ( struct isl_coefficients_factor_data *  factor, int  start  )

static

Definition at line 539 of file isl_farkas.c.

References isl_coefficients_factor_data::coeff, is_ray(), n, isl_coefficients_factor_data::n_ray, isl_coefficients_factor_data::n_vertex, and isl_coefficients_factor_data::pos.

Referenced by first_vertex(), and next_vertex().

farkas()

static __isl_give isl_basic_set * farkas ( __isl_take isl_basic_set *  bset, int  shift  )

static

Definition at line 237 of file isl_farkas.c.

References dual, isl_basic_set_alloc_div(), isl_basic_set_alloc_equality(), isl_basic_set_alloc_inequality(), isl_basic_set_alloc_space(), isl_basic_set_dim(), isl_basic_set_finalize(), isl_basic_set_free(), isl_basic_set_get_ctx(), isl_basic_set_plain_is_empty(), isl_basic_set_remove_divs(), isl_basic_set_set_rational(), isl_basic_set_simplify(), isl_dim_all, isl_int_neg, isl_int_set, isl_int_set_si, isl_seq_clr(), isl_space_set_alloc(), rational_universe(), and total().

Referenced by isl_basic_set_coefficients_base(), and isl_basic_set_solutions().

first_vertex()

static void first_vertex ( struct isl_coefficients_product_data *  data, int  first  )

static

Definition at line 559 of file isl_farkas.c.

References factor_first_vertex(), isl_coefficients_product_data::factors, and isl_coefficients_product_data::n.

Referenced by construct_product(), and next_vertex().

get_inv()

static __isl_give isl_mat * get_inv ( __isl_keep isl_morph *  morph )

static

Definition at line 336 of file isl_farkas.c.

References isl_mat_copy(), and peek_inv().

Referenced by isl_basic_set_coefficients_morphed_product().

is_ray()

static int is_ray ( __isl_keep isl_basic_set *  bset, int  ineq  )

static

Definition at line 414 of file isl_farkas.c.

References isl_int_is_zero.

Referenced by add_rays(), factor_first_vertex(), and isl_basic_set_coefficients_factor().

isl_basic_set_coefficients()

__isl_give isl_basic_set * isl_basic_set_coefficients

(

__isl_take isl_basic_set *

bset

)

Definition at line 839 of file isl_farkas.c.

References basic_set_coefficients(), isl_basic_set_free(), isl_basic_set_get_space(), isl_basic_set_reset_space(), isl_die, isl_error_invalid, and isl_space_coefficients().

Referenced by coefficients_wrap(), isl_set_coefficients(), and test_dual().

isl_basic_set_coefficients_base()

static __isl_give isl_basic_set * isl_basic_set_coefficients_base ( __isl_take isl_basic_set *  bset )

static

Definition at line 321 of file isl_farkas.c.

References farkas().

Referenced by basic_set_coefficients(), and isl_basic_set_coefficients_factor().

isl_basic_set_coefficients_factor()

static isl_bool isl_basic_set_coefficients_factor ( __isl_keep isl_basic_set *  bset, void *  user  )

static

Definition at line 425 of file isl_farkas.c.

References isl_coefficients_factor_data::coeff, isl_coefficients_factor_data::dim, isl_coefficients_product_data::factors, is_ray(), isl_basic_set_coefficients_base(), isl_basic_set_copy(), isl_basic_set_dim(), isl_basic_set_n_equality(), isl_basic_set_n_inequality(), isl_bool_error, isl_bool_true, isl_dim_set, isl_coefficients_factor_data::n_line, isl_coefficients_factor_data::n_ray, isl_coefficients_factor_data::n_vertex, isl_coefficients_product_data::pos, isl_coefficients_factor_data::start, isl_coefficients_product_data::start_next, and user.

Referenced by isl_basic_set_coefficients_product().

isl_basic_set_coefficients_morphed_product()

static __isl_give isl_basic_set * isl_basic_set_coefficients_morphed_product ( __isl_take isl_factorizer *  f )

static

Definition at line 765 of file isl_farkas.c.

References f, get_inv(), isl_basic_set_coefficients_product(), isl_basic_set_get_space(), isl_basic_set_preimage_multi_aff(), isl_factorizer_free(), isl_mat_is_scaled_identity(), isl_mat_lin_to_aff(), isl_mat_transpose(), isl_multi_aff_from_aff_mat(), isl_space_map_from_set(), ma, and peek_inv().

Referenced by basic_set_coefficients().

isl_basic_set_coefficients_product()

static __isl_give isl_basic_set * isl_basic_set_coefficients_product ( __isl_take isl_factorizer *  f )

static

Definition at line 727 of file isl_farkas.c.

References construct_product(), f, isl_basic_set_coefficients_factor(), isl_coefficients_product_data_clear(), isl_coefficients_product_data_init(), isl_factorizer_every_factor_basic_set(), isl_factorizer_free(), and isl_factorizer_get_ctx().

Referenced by isl_basic_set_coefficients_morphed_product().

isl_basic_set_list_coefficients()

__isl_give isl_basic_set_list * isl_basic_set_list_coefficients

(

__isl_take isl_basic_set_list *

list

)

Definition at line 931 of file isl_farkas.c.

References coefficients_wrap().

Referenced by collect_inter_validity(), and collect_intra_validity().

isl_basic_set_solutions()

__isl_give isl_basic_set * isl_basic_set_solutions

(

__isl_take isl_basic_set *

bset

)

Definition at line 866 of file isl_farkas.c.

References farkas(), isl_basic_set_free(), isl_basic_set_get_space(), isl_basic_set_reset_space(), isl_die, isl_error_invalid, and isl_space_solutions().

Referenced by isl_set_solutions(), and test_dual().

isl_coefficients_product_data_clear()

static void isl_coefficients_product_data_clear ( struct isl_coefficients_product_data *  data )

static

Definition at line 397 of file isl_farkas.c.

References isl_coefficients_factor_data::coeff, isl_coefficients_product_data::factors, isl_basic_set_free(), and isl_coefficients_product_data::n.

Referenced by isl_basic_set_coefficients_product().

isl_coefficients_product_data_init()

static isl_stat isl_coefficients_product_data_init ( isl_ctx *  ctx, struct isl_coefficients_product_data *  data, int  n  )

static

Definition at line 382 of file isl_farkas.c.

References isl_coefficients_product_data::factors, isl_calloc_array, isl_stat_error, isl_stat_ok, isl_coefficients_product_data::n, n, isl_coefficients_product_data::pos, and isl_coefficients_product_data::start_next.

Referenced by isl_basic_set_coefficients_product().

isl_set_coefficients()

__isl_give isl_basic_set * isl_set_coefficients

(

__isl_take isl_set *

set

)

Definition at line 892 of file isl_farkas.c.

References isl_basic_set_coefficients(), isl_basic_set_copy(), isl_basic_set_intersect(), isl_set_free(), isl_set_get_space(), isl_space_coefficients(), rational_universe(), and set.

Referenced by coefficients_entry(), inter_coefficients(), and intra_coefficients().

isl_set_solutions()

__isl_give isl_basic_set * isl_set_solutions

(

__isl_take isl_set *

set

)

Definition at line 941 of file isl_farkas.c.

References isl_basic_set_copy(), isl_basic_set_intersect(), isl_basic_set_solutions(), isl_set_free(), isl_set_get_space(), isl_space_solutions(), rational_universe(), and set.

Referenced by solutions_entry().

isl_space_coefficients()

static __isl_give isl_space * isl_space_coefficients ( __isl_take isl_space *  space )

static

Definition at line 124 of file isl_farkas.c.

References isl_dim_param, isl_dim_set, isl_space_copy(), isl_space_dim(), isl_space_drop_dims(), isl_space_free(), isl_space_from_domain(), isl_space_from_range(), isl_space_insert_dims(), isl_space_join(), isl_space_move_dims(), isl_space_prefix(), isl_space_set_dim_name(), isl_space_set_tuple_name(), and isl_space_wrap().

Referenced by isl_basic_set_coefficients(), and isl_set_coefficients().

isl_space_prefix()

static __isl_give isl_space * isl_space_prefix ( __isl_take isl_space *  space, const char *  prefix  )

static

Definition at line 69 of file isl_farkas.c.

References isl_alloc_array, isl_dim_set, isl_space_dim(), isl_space_free(), isl_space_get_ctx(), isl_space_get_dim_name(), isl_space_set_dim_name(), and name.

Referenced by isl_space_coefficients().

isl_space_solutions()

static __isl_give isl_space * isl_space_solutions ( __isl_take isl_space *  space )

static

Definition at line 194 of file isl_farkas.c.

References isl_dim_in, isl_dim_out, isl_dim_param, isl_space_dim(), isl_space_drop_dims(), isl_space_free(), isl_space_move_dims(), isl_space_range(), isl_space_unprefix(), and isl_space_unwrap().

Referenced by isl_basic_set_solutions(), and isl_set_solutions().

isl_space_unprefix()

static __isl_give isl_space * isl_space_unprefix ( __isl_take isl_space *  space, enum isl_dim_type  type, const char *  prefix  )

static

Definition at line 154 of file isl_farkas.c.

References isl_space_dim(), isl_space_free(), isl_space_get_dim_name(), isl_space_set_dim_name(), n, name, and type.

Referenced by isl_space_solutions().

next_vertex()

static int next_vertex ( struct isl_coefficients_product_data *  data )

static

Definition at line 576 of file isl_farkas.c.

References factor_first_vertex(), isl_coefficients_product_data::factors, first_vertex(), isl_coefficients_product_data::n, and isl_coefficients_factor_data::pos.

Referenced by construct_product().

peek_inv()

static __isl_give isl_mat * peek_inv ( __isl_keep isl_morph *  morph )

static

Definition at line 329 of file isl_farkas.c.

Referenced by get_inv(), and isl_basic_set_coefficients_morphed_product().

rational_universe()

static __isl_give isl_basic_set * rational_universe ( __isl_take isl_space *  space )

static

Definition at line 214 of file isl_farkas.c.

References isl_basic_set_set_rational(), and isl_basic_set_universe().

Referenced by construct_product(), farkas(), isl_set_coefficients(), and isl_set_solutions().

scale_factor()

static void scale_factor ( isl_int *  entry, isl_int *  src, isl_int  f, struct isl_coefficients_factor_data *  data  )

static

Definition at line 481 of file isl_farkas.c.

References isl_coefficients_factor_data::dim, f, isl_seq_scale(), and isl_coefficients_factor_data::start.

Referenced by add_vertex().

set_factor()

static void set_factor ( isl_int *  entry, isl_int *  src, struct isl_coefficients_factor_data *  data  )

static

Definition at line 472 of file isl_farkas.c.

References isl_coefficients_factor_data::dim, isl_seq_cpy(), and isl_coefficients_factor_data::start.

Referenced by add_lines(), and add_rays().