simplify constraints by checking for residues
[isl.git] / cpp / cpp-checked-conversion.h.top
blob402fc3dc9c070c5253aab5674cef4f19ae64756f
1 /// These are automatically generated conversions between
2 /// the default and the checked C++ bindings for isl.
3 ///
4 /// isl is a library for computing with integer sets and maps described by
5 /// Presburger formulas. On top of this, isl provides various tools for
6 /// polyhedral compilation, ranging from dependence analysis over scheduling
7 /// to AST generation.
9 #ifndef ISL_CPP_CHECKED_CONVERSION
10 #define ISL_CPP_CHECKED_CONVERSION
12 #include <isl/cpp.h>
13 #include <isl/cpp-checked.h>