5 unsigned isl_basic_map_offset(struct isl_basic_map
*bmap
,
6 enum isl_dim_type type
);
8 int isl_map_compatible_domain(struct isl_map
*map
, struct isl_set
*set
);
9 int isl_basic_map_compatible_domain(struct isl_basic_map
*bmap
,
10 struct isl_basic_set
*bset
);
11 int isl_basic_map_compatible_range(struct isl_basic_map
*bmap
,
12 struct isl_basic_set
*bset
);
14 struct isl_basic_map
*isl_basic_map_extend_dim(struct isl_basic_map
*base
,
15 struct isl_dim
*dim
, unsigned extra
,
16 unsigned n_eq
, unsigned n_ineq
);
17 struct isl_basic_set
*isl_basic_set_extend_dim(struct isl_basic_set
*base
,
18 struct isl_dim
*dim
, unsigned extra
,
19 unsigned n_eq
, unsigned n_ineq
);
20 struct isl_basic_set
*isl_basic_set_add_constraints(struct isl_basic_set
*bset1
,
21 struct isl_basic_set
*bset2
, unsigned pos
);
23 struct isl_map
*isl_map_grow(struct isl_map
*map
, int n
);
24 struct isl_set
*isl_set_grow(struct isl_set
*set
, int n
);
26 int isl_basic_set_contains(struct isl_basic_set
*bset
, struct isl_vec
*vec
);
27 int isl_basic_map_contains(struct isl_basic_map
*bmap
, struct isl_vec
*vec
);
29 struct isl_basic_set
*isl_basic_set_alloc_dim(struct isl_dim
*dim
,
30 unsigned extra
, unsigned n_eq
, unsigned n_ineq
);
31 struct isl_set
*isl_set_alloc_dim(struct isl_dim
*dim
, int n
, unsigned flags
);
32 struct isl_basic_map
*isl_basic_map_alloc_dim(struct isl_dim
*dim
,
33 unsigned extra
, unsigned n_eq
, unsigned n_ineq
);
34 struct isl_map
*isl_map_alloc_dim(struct isl_dim
*dim
, int n
, unsigned flags
);
36 unsigned isl_basic_map_total_dim(const struct isl_basic_map
*bmap
);
38 int isl_basic_map_alloc_equality(struct isl_basic_map
*bmap
);
39 int isl_basic_set_alloc_equality(struct isl_basic_set
*bset
);
40 int isl_basic_set_free_inequality(struct isl_basic_set
*bset
, unsigned n
);
41 int isl_basic_map_free_equality(struct isl_basic_map
*bmap
, unsigned n
);
42 int isl_basic_set_free_equality(struct isl_basic_set
*bset
, unsigned n
);
43 int isl_basic_set_alloc_inequality(struct isl_basic_set
*bset
);
44 int isl_basic_map_alloc_inequality(struct isl_basic_map
*bmap
);
45 int isl_basic_map_free_inequality(struct isl_basic_map
*bmap
, unsigned n
);
46 int isl_basic_map_alloc_div(struct isl_basic_map
*bmap
);
47 int isl_basic_set_alloc_div(struct isl_basic_set
*bset
);
48 int isl_basic_map_free_div(struct isl_basic_map
*bmap
, unsigned n
);
49 int isl_basic_set_free_div(struct isl_basic_set
*bset
, unsigned n
);
50 void isl_basic_map_inequality_to_equality(
51 struct isl_basic_map
*bmap
, unsigned pos
);
52 int isl_basic_map_drop_equality(struct isl_basic_map
*bmap
, unsigned pos
);
53 int isl_basic_set_drop_equality(struct isl_basic_set
*bset
, unsigned pos
);
54 int isl_basic_set_drop_inequality(struct isl_basic_set
*bset
, unsigned pos
);
55 int isl_basic_map_drop_inequality(struct isl_basic_map
*bmap
, unsigned pos
);
56 __isl_give isl_basic_set
*isl_basic_set_add_eq(__isl_take isl_basic_set
*bset
,
58 __isl_give isl_basic_map
*isl_basic_map_add_eq(__isl_take isl_basic_map
*bmap
,
60 __isl_give isl_basic_set
*isl_basic_set_add_ineq(__isl_take isl_basic_set
*bset
,
62 __isl_give isl_basic_map
*isl_basic_map_add_ineq(__isl_take isl_basic_map
*bmap
,
65 int isl_inequality_negate(struct isl_basic_map
*bmap
, unsigned pos
);
67 struct isl_basic_set
*isl_basic_set_cow(struct isl_basic_set
*bset
);
68 struct isl_basic_map
*isl_basic_map_cow(struct isl_basic_map
*bmap
);
69 struct isl_set
*isl_set_cow(struct isl_set
*set
);
70 struct isl_map
*isl_map_cow(struct isl_map
*map
);
72 struct isl_basic_map
*isl_basic_map_set_to_empty(struct isl_basic_map
*bmap
);
73 struct isl_basic_set
*isl_basic_set_set_to_empty(struct isl_basic_set
*bset
);
74 struct isl_map
*isl_basic_map_compute_divs(struct isl_basic_map
*bmap
);
75 struct isl_map
*isl_map_compute_divs(struct isl_map
*map
);
76 struct isl_basic_set
*isl_basic_set_order_divs(struct isl_basic_set
*bset
);
77 void isl_basic_map_swap_div(struct isl_basic_map
*bmap
, int a
, int b
);
78 struct isl_basic_map
*isl_basic_map_order_divs(struct isl_basic_map
*bmap
);
79 struct isl_basic_map
*isl_basic_map_align_divs(
80 struct isl_basic_map
*dst
, struct isl_basic_map
*src
);
81 struct isl_basic_set
*isl_basic_set_align_divs(
82 struct isl_basic_set
*dst
, struct isl_basic_set
*src
);
83 struct isl_map
*isl_map_align_divs(struct isl_map
*map
);
84 struct isl_set
*isl_set_align_divs(struct isl_set
*set
);
85 struct isl_basic_map
*isl_basic_map_gauss(
86 struct isl_basic_map
*bmap
, int *progress
);
87 struct isl_basic_set
*isl_basic_set_gauss(
88 struct isl_basic_set
*bset
, int *progress
);
89 struct isl_basic_map
*isl_basic_map_normalize_constraints(
90 struct isl_basic_map
*bmap
);
91 struct isl_basic_set
*isl_basic_set_normalize_constraints(
92 struct isl_basic_set
*bset
);
93 struct isl_basic_map
*isl_basic_map_implicit_equalities(
94 struct isl_basic_map
*bmap
);
95 struct isl_basic_set
*isl_basic_map_underlying_set(struct isl_basic_map
*bmap
);
96 __isl_give isl_basic_set
*isl_basic_set_underlying_set(
97 __isl_take isl_basic_set
*bset
);
98 struct isl_set
*isl_map_underlying_set(struct isl_map
*map
);
99 struct isl_basic_map
*isl_basic_map_overlying_set(struct isl_basic_set
*bset
,
100 struct isl_basic_map
*like
);
101 struct isl_basic_map
*isl_basic_map_drop(struct isl_basic_map
*bmap
,
102 enum isl_dim_type type
, unsigned first
, unsigned n
);
103 struct isl_basic_set
*isl_basic_set_drop_dims(
104 struct isl_basic_set
*bset
, unsigned first
, unsigned n
);
105 struct isl_set
*isl_set_drop_dims(
106 struct isl_set
*set
, unsigned first
, unsigned n
);
107 struct isl_map
*isl_map_drop_inputs(
108 struct isl_map
*map
, unsigned first
, unsigned n
);
109 struct isl_map
*isl_map_drop(struct isl_map
*map
,
110 enum isl_dim_type type
, unsigned first
, unsigned n
);
112 struct isl_map
*isl_map_remove_empty_parts(struct isl_map
*map
);
113 struct isl_set
*isl_set_remove_empty_parts(struct isl_set
*set
);
115 struct isl_set
*isl_set_normalize(struct isl_set
*set
);
117 struct isl_set
*isl_set_drop_vars(
118 struct isl_set
*set
, unsigned first
, unsigned n
);
120 struct isl_basic_map
*isl_basic_map_eliminate_vars(
121 struct isl_basic_map
*bmap
, unsigned pos
, unsigned n
);
122 struct isl_basic_set
*isl_basic_set_eliminate_vars(
123 struct isl_basic_set
*bset
, unsigned pos
, unsigned n
);
125 int isl_basic_set_constraint_is_redundant(struct isl_basic_set
**bset
,
126 isl_int
*c
, isl_int
*opt_n
, isl_int
*opt_d
);
128 struct isl_basic_map
*isl_basic_map_drop_redundant_divs(
129 struct isl_basic_map
*bmap
);
130 struct isl_basic_set
*isl_basic_set_drop_redundant_divs(
131 struct isl_basic_set
*bset
);
133 struct isl_basic_set
*isl_basic_set_recession_cone(struct isl_basic_set
*bset
);
134 struct isl_basic_set
*isl_basic_set_lineality_space(struct isl_basic_set
*bset
);
136 struct isl_basic_set
*isl_basic_set_set_rational(struct isl_basic_set
*bset
);
140 struct isl_basic_set
*isl_basic_set_preimage(struct isl_basic_set
*bset
,
141 struct isl_mat
*mat
);
142 struct isl_set
*isl_set_preimage(struct isl_set
*set
, struct isl_mat
*mat
);