+struct isl_set *isl_set_compute_divs(struct isl_set *set);
+
+struct isl_basic_set *isl_set_copy_basic_set(struct isl_set *set);
+struct isl_set *isl_set_drop_basic_set(struct isl_set *set,
+ struct isl_basic_set *bset);
+
+int isl_set_fast_dim_is_fixed(struct isl_set *set, unsigned dim, isl_int *val);
+int isl_set_fast_dim_has_fixed_lower_bound(struct isl_set *set,
+ unsigned dim, isl_int *val);
+
+struct isl_basic_set *isl_basic_set_gist(struct isl_basic_set *bset,
+ struct isl_basic_set *context);
+struct isl_set *isl_set_gist(struct isl_set *set,
+ struct isl_basic_set *context);
+int isl_basic_set_dim_residue_class(struct isl_basic_set *bset,
+ int pos, isl_int *modulo, isl_int *residue);
+
+int isl_set_fast_is_equal(struct isl_set *set1, struct isl_set *set2);
+int isl_set_fast_is_disjoint(struct isl_set *set1, struct isl_set *set2);
+
+uint32_t isl_set_get_hash(struct isl_set *set);
+
+int isl_set_dim_is_unique(struct isl_set *set, unsigned dim);