#include "isl_basis_reduction.h"
#include <isl_factorization.h>
#include <isl_point_private.h>
+#include <isl_options_private.h>
static struct isl_vec *empty_sample(struct isl_basic_set *bset)
{
total = isl_basic_set_total_dim(cone);
- shift = isl_basic_set_alloc_dim(isl_basic_set_get_dim(cone),
+ shift = isl_basic_set_alloc_space(isl_basic_set_get_space(cone),
0, 0, cone->n_ineq);
for (i = 0; i < cone->n_ineq; ++i) {
__isl_give isl_point *isl_basic_set_sample_point(__isl_take isl_basic_set *bset)
{
isl_vec *vec;
- isl_dim *dim;
+ isl_space *dim;
- dim = isl_basic_set_get_dim(bset);
+ dim = isl_basic_set_get_space(bset);
bset = isl_basic_set_underlying_set(bset);
vec = isl_basic_set_sample_vec(bset);
isl_point_free(pnt);
}
if (i == set->n)
- pnt = isl_point_void(isl_set_get_dim(set));
+ pnt = isl_point_void(isl_set_get_space(set));
isl_set_free(set);
return pnt;