1 #ifndef ISL_SPACE_PRIVATE
2 #define ISL_SPACE_PRIVATE
6 #include <isl/id_type.h>
7 #include <isl/stream.h>
16 unsigned n_in
; /* zero for sets */
17 unsigned n_out
; /* dim for sets */
26 __isl_give isl_space
*isl_space_cow(__isl_take isl_space
*space
);
28 __isl_give isl_space
*isl_space_underlying(__isl_take isl_space
*space
,
31 uint32_t isl_space_get_tuple_hash(__isl_keep isl_space
*space
);
32 uint32_t isl_space_get_tuple_domain_hash(__isl_keep isl_space
*space
);
33 uint32_t isl_space_get_full_hash(__isl_keep isl_space
*space
);
35 isl_bool
isl_space_has_domain_tuples(__isl_keep isl_space
*space1
,
36 __isl_keep isl_space
*space2
);
37 isl_bool
isl_space_has_range_tuples(__isl_keep isl_space
*space1
,
38 __isl_keep isl_space
*space2
);
39 isl_stat
isl_space_check_domain_tuples(__isl_keep isl_space
*space1
,
40 __isl_keep isl_space
*space2
);
41 isl_bool
isl_space_is_domain_internal(__isl_keep isl_space
*space1
,
42 __isl_keep isl_space
*space2
);
43 isl_bool
isl_space_is_range_internal(__isl_keep isl_space
*space1
,
44 __isl_keep isl_space
*space2
);
45 isl_stat
isl_space_check_domain_wrapped_domain_tuples(
46 __isl_keep isl_space
*space1
, __isl_keep isl_space
*space2
);
47 isl_bool
isl_space_wrapped_tuple_is_equal(__isl_keep isl_space
*space1
,
48 enum isl_dim_type outer
, enum isl_dim_type inner
,
49 __isl_keep isl_space
*space2
, enum isl_dim_type type2
);
50 isl_stat
isl_space_check_wrapped_tuple_is_equal(__isl_keep isl_space
*space1
,
51 enum isl_dim_type outer
, enum isl_dim_type inner
,
52 __isl_keep isl_space
*space2
, enum isl_dim_type type2
);
54 isl_size
isl_space_wrapped_dim(__isl_keep isl_space
*space
,
55 enum isl_dim_type outer
, enum isl_dim_type inner
);
56 isl_size
isl_space_offset(__isl_keep isl_space
*space
, enum isl_dim_type type
);
58 isl_stat
isl_space_check_range(__isl_keep isl_space
*space
,
59 enum isl_dim_type type
, unsigned first
, unsigned n
);
60 isl_stat
isl_space_check_is_set(__isl_keep isl_space
*space
);
61 isl_stat
isl_space_check_is_proper_set(__isl_keep isl_space
*space
);
62 isl_bool
isl_space_may_be_set(__isl_keep isl_space
*space
);
63 isl_bool
isl_space_is_named_or_nested(__isl_keep isl_space
*space
,
64 enum isl_dim_type type
);
65 isl_bool
isl_space_has_equal_ids(__isl_keep isl_space
*space1
,
66 __isl_keep isl_space
*space2
);
67 isl_bool
isl_space_has_named_params(__isl_keep isl_space
*space
);
68 isl_stat
isl_space_check_named_params(__isl_keep isl_space
*space
);
69 isl_stat
isl_space_check_equal_params(__isl_keep isl_space
*space1
,
70 __isl_keep isl_space
*space2
);
71 isl_stat
isl_space_check_equal_tuples(__isl_keep isl_space
*space1
,
72 __isl_keep isl_space
*space2
);
73 __isl_give isl_space
*isl_space_reset(__isl_take isl_space
*space
,
74 enum isl_dim_type type
);
75 __isl_give isl_space
*isl_space_flatten(__isl_take isl_space
*space
);
77 isl_stat
isl_space_check_is_wrapping(__isl_keep isl_space
*space
);
78 isl_stat
isl_space_check_domain_is_wrapping(__isl_keep isl_space
*space
);
79 isl_stat
isl_space_check_range_is_wrapping(__isl_keep isl_space
*space
);
81 __isl_give isl_space
*isl_space_replace_params(__isl_take isl_space
*dst
,
82 __isl_keep isl_space
*src
);
83 __isl_give isl_space
*isl_space_copy_ids_if_unset(__isl_take isl_space
*dst
,
84 enum isl_dim_type dst_type
, __isl_keep isl_space
*src
,
85 enum isl_dim_type src_type
);
87 __isl_give isl_space
*isl_space_lift(__isl_take isl_space
*space
,
90 __isl_give isl_space
*isl_space_extend_domain_with_range(
91 __isl_take isl_space
*domain
, __isl_take isl_space
*model
);
92 __isl_give isl_space
*isl_space_bind_set(__isl_take isl_space
*space
,
93 __isl_keep isl_multi_id
*tuple
);
94 __isl_give isl_space
*isl_space_bind_map_domain(__isl_take isl_space
*space
,
95 __isl_keep isl_multi_id
*tuple
);
96 __isl_give isl_space
*isl_space_bind_domain_wrapped_domain(
97 __isl_take isl_space
*space
, __isl_keep isl_multi_id
*tuple
);
98 __isl_give isl_space
*isl_space_unbind_params_insert_domain(
99 __isl_take isl_space
*space
, __isl_keep isl_multi_id
*tuple
);
100 __isl_give isl_space
*isl_space_reverse_wrapped(__isl_take isl_space
*space
,
101 enum isl_dim_type type
);
103 int isl_space_cmp(__isl_keep isl_space
*space1
, __isl_keep isl_space
*space2
);
105 __isl_give isl_space
*isl_stream_read_space(__isl_keep isl_stream
*s
);