simplify constraints by checking for residues
[isl.git] / cpp / typed_cpp.h.top
blobd89eb4102ca09839dd9634558ad6137772358406
1 /// These are automatically generated templated C++ bindings for isl.
2 ///
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
6 /// to AST generation.
8 #ifndef ISL_TYPED_CPP
9 #define ISL_TYPED_CPP
11 #include <type_traits>
13 #include <isl/cpp.h>
15 namespace isl {
16 namespace typed {
18 template <typename Domain, typename Range>
19 struct pair {};
21 struct Anonymous;