#include <isl_band_private.h>
#include <isl_schedule_private.h>
+#include <isl_list_private.h>
isl_ctx *isl_band_get_ctx(__isl_keep isl_band *band)
{
if (!band->children)
isl_die(isl_band_get_ctx(band), isl_error_invalid,
"band has no children", return NULL);
- return isl_band_list_copy(band->children);
+ return isl_band_list_dup(band->children);
}
int isl_band_n_member(__isl_keep isl_band *band)
return p;
}
-
-void isl_band_dump(__isl_keep isl_band *band)
-{
- isl_printer *printer;
-
- if (!band)
- return;
-
- printer = isl_printer_to_file(isl_band_get_ctx(band), stderr);
- printer = isl_printer_print_band(printer, band);
- printer = isl_printer_end_line(printer);
-
- isl_printer_free(printer);
-}