* ZAC des vignes, 4 rue Jacques Monod, 91893 Orsay, France
*/
-#include <isl_constraint.h>
+#include <isl/constraint.h>
#include <isl_dim_private.h>
-#include "isl_seq.h"
+#include <isl/seq.h>
#include "isl_map_private.h"
static unsigned n(struct isl_constraint *c, enum isl_dim_type type)
return n(constraint, type);
}
+const char *isl_constraint_get_dim_name(__isl_keep isl_constraint *constraint,
+ enum isl_dim_type type, unsigned pos)
+{
+ return constraint ?
+ isl_basic_map_get_dim_name(constraint->bmap, type, pos) : NULL;
+}
+
void isl_constraint_get_constant(struct isl_constraint *constraint, isl_int *v)
{
if (!constraint)
lower = isl_basic_set_constraint(isl_basic_set_copy(bset),
&bset->eq[i]);
upper = isl_constraint_copy(lower);
- context = isl_basic_set_remove(isl_basic_set_copy(bset),
+ context = isl_basic_set_remove_dims(isl_basic_set_copy(bset),
type, pos, 1);
if (!lower || !upper || !context)
goto error;