__isl_take isl_printer *p,
__isl_keep isl_band *band);
-Alternatively, the schedule mapping
-can also be obtained in pieces using the following functions.
-
- int isl_schedule_n_band(__isl_keep isl_schedule *sched);
- __isl_give isl_union_map *isl_schedule_get_band(
- __isl_keep isl_schedule *sched, unsigned band);
-
-C<isl_schedule_n_band> returns the maximal number of bands.
-C<isl_schedule_get_band> returns a union of mappings from a domain to
-the band of consecutive schedule dimensions with the given sequence
-number for that domain. Bands with the same sequence number but for
-different domains may be completely unrelated.
-Within a band, the corresponding coordinates of the distance vectors
-are all non-negative, assuming that the coordinates for all previous
-bands are all zero.
-
=head2 Parametric Vertex Enumeration
The parametric vertex enumeration described in this section