?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
rename interface/all.h to interface/all_barvinok.h
[barvinok/uuh.git] / interface / all_barvinok.h
blob4f83c728abe58159b5c647f70048c483c4203e87
1 #include <isl/set.h>
2 #include <isl/map.h>
3 #include <isl/union_set.h>
4 #include <isl/union_map.h>
5 #include <barvinok/isl.h>
patches by uuh to consider upstream