-void isl_basic_map_dump(__isl_keep isl_basic_map *bmap)
-{
- isl_printer *printer;
-
- if (!bmap)
- return;
-
- printer = isl_printer_to_file(isl_basic_map_get_ctx(bmap), stderr);
- printer = isl_printer_print_basic_map(printer, bmap);
- printer = isl_printer_end_line(printer);
-
- isl_printer_free(printer);
-}
-
-void isl_basic_set_dump(__isl_keep isl_basic_set *bset)
-{
- isl_printer *printer;
-
- if (!bset)
- return;
-
- printer = isl_printer_to_file(isl_basic_set_get_ctx(bset), stderr);
- printer = isl_printer_print_basic_set(printer, bset);
- printer = isl_printer_end_line(printer);
-
- isl_printer_free(printer);
-}
-
-void isl_map_dump(__isl_keep isl_map *map)
-{
- isl_printer *printer;
-
- if (!map)
- return;
-
- printer = isl_printer_to_file(isl_map_get_ctx(map), stderr);
- printer = isl_printer_print_map(printer, map);
- printer = isl_printer_end_line(printer);
-
- isl_printer_free(printer);
-}
-
-void isl_set_dump(__isl_keep isl_set *set)
-{
- isl_printer *printer;
-
- if (!set)
- return;
-
- printer = isl_printer_to_file(isl_set_get_ctx(set), stderr);
- printer = isl_printer_print_set(printer, set);
- printer = isl_printer_end_line(printer);
-
- isl_printer_free(printer);
-}
-
-void isl_union_map_dump(__isl_keep isl_union_map *umap)
-{
- isl_printer *printer;
-
- if (!umap)
- return;
-
- printer = isl_printer_to_file(isl_union_map_get_ctx(umap), stderr);
- printer = isl_printer_print_union_map(printer, umap);
- printer = isl_printer_end_line(printer);
-
- isl_printer_free(printer);
-}
-
-void isl_union_set_dump(__isl_keep isl_union_set *uset)
-{
- isl_printer *printer;
-
- if (!uset)
- return;
-
- printer = isl_printer_to_file(isl_union_set_get_ctx(uset), stderr);
- printer = isl_printer_print_union_set(printer, uset);
- printer = isl_printer_end_line(printer);
-
- isl_printer_free(printer);
-}
-
-void isl_union_pw_qpolynomial_dump(__isl_keep isl_union_pw_qpolynomial *upwqp)
-{
- isl_printer *printer;
-
- if (!upwqp)
- return;
-
- printer = isl_printer_to_file(isl_union_pw_qpolynomial_get_ctx(upwqp),
- stderr);
- printer = isl_printer_print_union_pw_qpolynomial(printer, upwqp);
- printer = isl_printer_end_line(printer);
-
- isl_printer_free(printer);
-}
-
-void isl_qpolynomial_dump(__isl_keep isl_qpolynomial *qp)
-{
- isl_printer *printer;
-
- if (!qp)
- return;
-
- printer = isl_printer_to_file(isl_qpolynomial_get_ctx(qp), stderr);
- printer = isl_printer_print_qpolynomial(printer, qp);
- printer = isl_printer_end_line(printer);
-
- isl_printer_free(printer);
-}
-
-void isl_qpolynomial_fold_dump(__isl_keep isl_qpolynomial_fold *fold)
-{
- isl_printer *printer;
-
- if (!fold)
- return;
-
- printer = isl_printer_to_file(isl_qpolynomial_fold_get_ctx(fold),
- stderr);
- printer = isl_printer_print_qpolynomial_fold(printer, fold);
- printer = isl_printer_end_line(printer);
-
- isl_printer_free(printer);
-}
-
-void isl_pw_qpolynomial_dump(__isl_keep isl_pw_qpolynomial *pwqp)
-{
- isl_printer *printer;
-
- if (!pwqp)
- return;
-
- printer = isl_printer_to_file(isl_pw_qpolynomial_get_ctx(pwqp), stderr);
- printer = isl_printer_print_pw_qpolynomial(printer, pwqp);
- printer = isl_printer_end_line(printer);
-
- isl_printer_free(printer);
-}
-
-void isl_pw_qpolynomial_fold_dump(__isl_keep isl_pw_qpolynomial_fold *pwf)
-{
- isl_printer *printer;
-
- if (!pwf)
- return;
-
- printer = isl_printer_to_file(
- isl_pw_qpolynomial_fold_get_ctx(pwf), stderr);
- printer = isl_printer_print_pw_qpolynomial_fold(printer, pwf);
- printer = isl_printer_end_line(printer);
-
- isl_printer_free(printer);
-}
-
-void isl_union_pw_qpolynomial_fold_dump(
- __isl_keep isl_union_pw_qpolynomial_fold *upwf)
-{
- isl_printer *printer;
-
- if (!upwf)
- return;
-
- printer = isl_printer_to_file(
- isl_union_pw_qpolynomial_fold_get_ctx(upwf), stderr);
- printer = isl_printer_print_union_pw_qpolynomial_fold(printer, upwf);
- printer = isl_printer_end_line(printer);
-
- isl_printer_free(printer);
-}
-