add isl_space_is_range
[platform/upstream/isl.git] / isl_sort.h
2012-08-02 Tobias GrosserUse an MIT licensed mergesort as the sorting algorithm...