00001 #include "isl_set.h"
00002 #include "isl_map.h"
00003 #include "isl_vec.h"
00004
00005 unsigned isl_basic_map_offset(struct isl_basic_map *bmap,
00006 enum isl_dim_type type);
00007
00008 int isl_map_compatible_domain(struct isl_map *map, struct isl_set *set);
00009 int isl_basic_map_compatible_domain(struct isl_basic_map *bmap,
00010 struct isl_basic_set *bset);
00011 int isl_basic_map_compatible_range(struct isl_basic_map *bmap,
00012 struct isl_basic_set *bset);
00013
00014 struct isl_basic_map *isl_basic_map_extend_dim(struct isl_basic_map *base,
00015 struct isl_dim *dim, unsigned extra,
00016 unsigned n_eq, unsigned n_ineq);
00017 struct isl_basic_set *isl_basic_set_extend_dim(struct isl_basic_set *base,
00018 struct isl_dim *dim, unsigned extra,
00019 unsigned n_eq, unsigned n_ineq);
00020 struct isl_basic_set *isl_basic_set_add_constraints(struct isl_basic_set *bset1,
00021 struct isl_basic_set *bset2, unsigned pos);
00022
00023 int isl_basic_set_contains(struct isl_basic_set *bset, struct isl_vec *vec);
00024
00025 struct isl_basic_set *isl_basic_set_alloc_dim(struct isl_dim *dim,
00026 unsigned extra, unsigned n_eq, unsigned n_ineq);
00027 struct isl_set *isl_set_alloc_dim(struct isl_dim *dim, int n, unsigned flags);
00028 struct isl_basic_map *isl_basic_map_alloc_dim(struct isl_dim *dim,
00029 unsigned extra, unsigned n_eq, unsigned n_ineq);
00030 struct isl_map *isl_map_alloc_dim(struct isl_dim *dim, int n, unsigned flags);
00031
00032 unsigned isl_basic_map_total_dim(const struct isl_basic_map *bmap);
00033
00034 int isl_basic_map_alloc_equality(struct isl_basic_map *bmap);
00035 int isl_basic_set_alloc_equality(struct isl_basic_set *bset);
00036 int isl_basic_set_free_inequality(struct isl_basic_set *bset, unsigned n);
00037 int isl_basic_map_free_equality(struct isl_basic_map *bmap, unsigned n);
00038 int isl_basic_set_free_equality(struct isl_basic_set *bset, unsigned n);
00039 int isl_basic_set_alloc_inequality(struct isl_basic_set *bset);
00040 int isl_basic_map_alloc_inequality(struct isl_basic_map *bmap);
00041 int isl_basic_map_free_inequality(struct isl_basic_map *bmap, unsigned n);
00042 int isl_basic_map_alloc_div(struct isl_basic_map *bmap);
00043 int isl_basic_set_alloc_div(struct isl_basic_set *bset);
00044 int isl_basic_map_free_div(struct isl_basic_map *bmap, unsigned n);
00045 void isl_basic_map_inequality_to_equality(
00046 struct isl_basic_map *bmap, unsigned pos);
00047 int isl_basic_map_drop_equality(struct isl_basic_map *bmap, unsigned pos);
00048 int isl_basic_set_drop_equality(struct isl_basic_set *bset, unsigned pos);
00049 int isl_basic_set_drop_inequality(struct isl_basic_set *bset, unsigned pos);
00050 int isl_basic_map_drop_inequality(struct isl_basic_map *bmap, unsigned pos);
00051
00052 int isl_inequality_negate(struct isl_basic_map *bmap, unsigned pos);
00053
00054 struct isl_basic_set *isl_basic_set_cow(struct isl_basic_set *bset);
00055 struct isl_basic_map *isl_basic_map_cow(struct isl_basic_map *bmap);
00056 struct isl_set *isl_set_cow(struct isl_set *set);
00057 struct isl_map *isl_map_cow(struct isl_map *map);
00058
00059 struct isl_basic_map *isl_basic_map_set_to_empty(struct isl_basic_map *bmap);
00060 struct isl_basic_set *isl_basic_set_set_to_empty(struct isl_basic_set *bset);
00061 struct isl_map *isl_basic_map_compute_divs(struct isl_basic_map *bmap);
00062 struct isl_map *isl_map_compute_divs(struct isl_map *map);
00063 struct isl_basic_map *isl_basic_map_align_divs(
00064 struct isl_basic_map *dst, struct isl_basic_map *src);
00065 struct isl_basic_set *isl_basic_set_align_divs(
00066 struct isl_basic_set *dst, struct isl_basic_set *src);
00067 struct isl_map *isl_map_align_divs(struct isl_map *map);
00068 struct isl_set *isl_set_align_divs(struct isl_set *set);
00069 struct isl_basic_map *isl_basic_map_gauss(
00070 struct isl_basic_map *bmap, int *progress);
00071 struct isl_basic_set *isl_basic_set_gauss(
00072 struct isl_basic_set *bset, int *progress);
00073 struct isl_basic_map *isl_basic_map_normalize_constraints(
00074 struct isl_basic_map *bmap);
00075 struct isl_basic_set *isl_basic_set_normalize_constraints(
00076 struct isl_basic_set *bset);
00077 struct isl_basic_map *isl_basic_map_implicit_equalities(
00078 struct isl_basic_map *bmap);
00079 struct isl_basic_set *isl_basic_map_underlying_set(struct isl_basic_map *bmap);
00080 struct isl_set *isl_map_underlying_set(struct isl_map *map);
00081 struct isl_basic_map *isl_basic_map_overlying_set(struct isl_basic_set *bset,
00082 struct isl_basic_map *like);
00083 struct isl_basic_map *isl_basic_map_drop(struct isl_basic_map *bmap,
00084 enum isl_dim_type type, unsigned first, unsigned n);
00085 struct isl_basic_set *isl_basic_set_drop_dims(
00086 struct isl_basic_set *bset, unsigned first, unsigned n);
00087 struct isl_set *isl_set_drop_dims(
00088 struct isl_set *set, unsigned first, unsigned n);
00089 struct isl_map *isl_map_drop_inputs(
00090 struct isl_map *map, unsigned first, unsigned n);
00091 struct isl_map *isl_map_drop(struct isl_map *map,
00092 enum isl_dim_type type, unsigned first, unsigned n);
00093
00094 struct isl_map *isl_map_remove_empty_parts(struct isl_map *map);
00095 struct isl_set *isl_set_remove_empty_parts(struct isl_set *set);
00096
00097 struct isl_set *isl_set_normalize(struct isl_set *set);
00098
00099 struct isl_set *isl_set_drop_vars(
00100 struct isl_set *set, unsigned first, unsigned n);
00101
00102 struct isl_basic_map *isl_basic_map_eliminate_vars(
00103 struct isl_basic_map *bmap, unsigned pos, unsigned n);
00104 struct isl_basic_set *isl_basic_set_eliminate_vars(
00105 struct isl_basic_set *bset, unsigned pos, unsigned n);
00106
00107 int isl_basic_set_constraint_is_redundant(struct isl_basic_set **bset,
00108 isl_int *c, isl_int *opt_n, isl_int *opt_d);
00109
00110 struct isl_basic_map *isl_basic_map_drop_redundant_divs(
00111 struct isl_basic_map *bmap);
