add isl_basic_set_is_universe
[platform/upstream/isl.git] / include / isl_polylib.h
2008-08-07 Sven VerdoolaegeInitial version of the integer set library