1 /// These are automatically generated checked C++ bindings for isl.
3 /// isl is a library for computing with integer sets and maps described by
4 /// Presburger formulas. On top of this, isl provides various tools for
5 /// polyhedral compilation, ranging from dependence analysis over scheduling
8 #ifndef ISL_CPP_CHECKED
9 #define ISL_CPP_CHECKED