4 unsigned isl_basic_map_offset(struct isl_basic_map
*bmap
,
5 enum isl_dim_type type
);
7 int isl_map_compatible_domain(struct isl_map
*map
, struct isl_set
*set
);
8 int isl_basic_map_compatible_domain(struct isl_basic_map
*bmap
,
9 struct isl_basic_set
*bset
);
10 int isl_basic_map_compatible_range(struct isl_basic_map
*bmap
,
11 struct isl_basic_set
*bset
);
13 struct isl_basic_map
*isl_basic_map_extend_dim(struct isl_basic_map
*base
,
14 struct isl_dim
*dim
, unsigned extra
,
15 unsigned n_eq
, unsigned n_ineq
);
16 struct isl_basic_set
*isl_basic_set_add_constraints(struct isl_basic_set
*bset1
,
17 struct isl_basic_set
*bset2
, unsigned pos
);
19 struct isl_basic_set
*isl_basic_set_alloc_dim(struct isl_dim
*dim
,
20 unsigned extra
, unsigned n_eq
, unsigned n_ineq
);
21 struct isl_set
*isl_set_alloc_dim(struct isl_dim
*dim
, int n
, unsigned flags
);
22 struct isl_basic_map
*isl_basic_map_alloc_dim(struct isl_dim
*dim
,
23 unsigned extra
, unsigned n_eq
, unsigned n_ineq
);
24 struct isl_map
*isl_map_alloc_dim(struct isl_dim
*dim
, int n
, unsigned flags
);
26 unsigned isl_basic_map_total_dim(const struct isl_basic_map
*bmap
);
28 int isl_basic_map_alloc_equality(struct isl_basic_map
*bmap
);
29 int isl_basic_set_alloc_equality(struct isl_basic_set
*bset
);
30 int isl_basic_set_free_inequality(struct isl_basic_set
*bset
, unsigned n
);
31 int isl_basic_map_free_equality(struct isl_basic_map
*bmap
, unsigned n
);
32 int isl_basic_set_alloc_inequality(struct isl_basic_set
*bset
);
33 int isl_basic_map_alloc_inequality(struct isl_basic_map
*bmap
);
34 int isl_basic_map_free_inequality(struct isl_basic_map
*bmap
, unsigned n
);
35 int isl_basic_map_alloc_div(struct isl_basic_map
*bmap
);
36 int isl_basic_map_free_div(struct isl_basic_map
*bmap
, unsigned n
);
37 void isl_basic_map_inequality_to_equality(
38 struct isl_basic_map
*bmap
, unsigned pos
);
39 int isl_basic_map_drop_equality(struct isl_basic_map
*bmap
, unsigned pos
);
40 int isl_basic_set_drop_equality(struct isl_basic_set
*bset
, unsigned pos
);
41 int isl_basic_set_drop_inequality(struct isl_basic_set
*bset
, unsigned pos
);
42 int isl_basic_map_drop_inequality(struct isl_basic_map
*bmap
, unsigned pos
);
44 int isl_inequality_negate(struct isl_basic_map
*bmap
, unsigned pos
);
46 struct isl_basic_set
*isl_basic_set_cow(struct isl_basic_set
*bset
);
47 struct isl_basic_map
*isl_basic_map_cow(struct isl_basic_map
*bmap
);
48 struct isl_set
*isl_set_cow(struct isl_set
*set
);
49 struct isl_map
*isl_map_cow(struct isl_map
*map
);
51 struct isl_basic_map
*isl_basic_map_set_to_empty(struct isl_basic_map
*bmap
);
52 struct isl_basic_set
*isl_basic_set_set_to_empty(struct isl_basic_set
*bset
);
53 struct isl_map
*isl_basic_map_compute_divs(struct isl_basic_map
*bmap
);
54 struct isl_map
*isl_map_compute_divs(struct isl_map
*map
);
55 struct isl_basic_map
*isl_basic_map_align_divs(
56 struct isl_basic_map
*dst
, struct isl_basic_map
*src
);
57 struct isl_basic_set
*isl_basic_set_align_divs(
58 struct isl_basic_set
*dst
, struct isl_basic_set
*src
);
59 struct isl_map
*isl_map_align_divs(struct isl_map
*map
);
60 struct isl_basic_map
*isl_basic_map_gauss(
61 struct isl_basic_map
*bmap
, int *progress
);
62 struct isl_basic_set
*isl_basic_set_gauss(
63 struct isl_basic_set
*bset
, int *progress
);
64 struct isl_basic_map
*isl_basic_map_implicit_equalities(
65 struct isl_basic_map
*bmap
);
66 struct isl_basic_set
*isl_basic_map_underlying_set(struct isl_basic_map
*bmap
);
67 struct isl_set
*isl_map_underlying_set(struct isl_map
*map
);
68 struct isl_basic_map
*isl_basic_map_overlying_set(struct isl_basic_set
*bset
,
69 struct isl_basic_map
*like
);
70 struct isl_basic_map
*isl_basic_map_drop(struct isl_basic_map
*bmap
,
71 enum isl_dim_type type
, unsigned first
, unsigned n
);
72 struct isl_basic_set
*isl_basic_set_drop_dims(
73 struct isl_basic_set
*bset
, unsigned first
, unsigned n
);
74 struct isl_set
*isl_set_drop_dims(
75 struct isl_set
*set
, unsigned first
, unsigned n
);
76 struct isl_map
*isl_map_drop_inputs(
77 struct isl_map
*map
, unsigned first
, unsigned n
);
78 struct isl_map
*isl_map_drop(struct isl_map
*map
,
79 enum isl_dim_type type
, unsigned first
, unsigned n
);
81 struct isl_map
*isl_map_remove_empty_parts(struct isl_map
*map
);
82 struct isl_set
*isl_set_remove_empty_parts(struct isl_set
*set
);
84 struct isl_set
*isl_set_normalize(struct isl_set
*set
);
86 struct isl_set
*isl_set_drop_vars(
87 struct isl_set
*set
, unsigned first
, unsigned n
);
89 struct isl_basic_map
*isl_basic_map_eliminate_vars(
90 struct isl_basic_map
*bmap
, unsigned pos
, unsigned n
);
91 struct isl_basic_set
*isl_basic_set_eliminate_vars(
92 struct isl_basic_set
*bset
, unsigned pos
, unsigned n
);
94 int isl_basic_set_constraint_is_redundant(struct isl_basic_set
**bset
,
95 isl_int
*c
, isl_int
*opt_n
, isl_int
*opt_d
);