1 #ifndef ISL_SPACE_PRIVATE
2 #define ISL_SPACE_PRIVATE
6 #include <isl/id_type.h>
15 unsigned n_in
; /* zero for sets */
16 unsigned n_out
; /* dim for sets */
25 __isl_give isl_space
*isl_space_cow(__isl_take isl_space
*space
);
27 __isl_give isl_space
*isl_space_underlying(__isl_take isl_space
*space
,
30 uint32_t isl_space_get_tuple_hash(__isl_keep isl_space
*space
);
31 uint32_t isl_space_get_hash(__isl_keep isl_space
*space
);
32 uint32_t isl_space_get_domain_hash(__isl_keep isl_space
*space
);
34 isl_bool
isl_space_has_domain_tuples(__isl_keep isl_space
*space1
,
35 __isl_keep isl_space
*space2
);
36 isl_bool
isl_space_is_domain_internal(__isl_keep isl_space
*space1
,
37 __isl_keep isl_space
*space2
);
38 isl_bool
isl_space_is_range_internal(__isl_keep isl_space
*space1
,
39 __isl_keep isl_space
*space2
);
41 unsigned isl_space_offset(__isl_keep isl_space
*dim
, enum isl_dim_type type
);
43 isl_stat
isl_space_check_range(__isl_keep isl_space
*space
,
44 enum isl_dim_type type
, unsigned first
, unsigned n
);
45 isl_stat
isl_space_check_is_set(__isl_keep isl_space
*space
);
46 isl_bool
isl_space_may_be_set(__isl_keep isl_space
*space
);
47 isl_bool
isl_space_is_named_or_nested(__isl_keep isl_space
*space
,
48 enum isl_dim_type type
);
49 isl_bool
isl_space_has_equal_ids(__isl_keep isl_space
*space1
,
50 __isl_keep isl_space
*space2
);
51 isl_bool
isl_space_has_named_params(__isl_keep isl_space
*space
);
52 isl_stat
isl_space_check_named_params(__isl_keep isl_space
*space
);
53 isl_stat
isl_space_check_equal_params(__isl_keep isl_space
*space1
,
54 __isl_keep isl_space
*space2
);
55 __isl_give isl_space
*isl_space_reset(__isl_take isl_space
*space
,
56 enum isl_dim_type type
);
57 __isl_give isl_space
*isl_space_flatten(__isl_take isl_space
*space
);
59 __isl_give isl_space
*isl_space_replace_params(__isl_take isl_space
*dst
,
60 __isl_keep isl_space
*src
);
62 __isl_give isl_space
*isl_space_lift(__isl_take isl_space
*space
,
65 __isl_give isl_space
*isl_space_extend_domain_with_range(
66 __isl_take isl_space
*domain
, __isl_take isl_space
*model
);
68 int isl_space_cmp(__isl_keep isl_space
*space1
, __isl_keep isl_space
*space2
);