| /src/external/mit/isl/dist/ |
| all.h | 1 #include <isl/id.h>
2 #include <isl/id_to_id.h>
3 #include <isl/space.h>
4 #include <isl/val.h>
5 #include <isl/aff.h>
6 #include <isl/set.h>
7 #include <isl/map.h>
8 #include <isl/ilp.h>
9 #include <isl/union_set.h>
10 #include <isl/union_map.h
[all...] |
| isl_maybe_map.h | 4 #include <isl/map_type.h>
7 #include <isl/maybe_templ.h>
|
| isl_test_cpp-checked-conversion.cc | 11 #include <isl/ctx.h>
12 #include <isl/options.h>
13 #include <isl/cpp-checked-conversion.h>
22 isl::checked::set checked_set;
23 isl::set set;
27 set = isl::uncheck(checked_set);
29 } catch (const isl::exception &e) {
38 static void f_checked(isl::checked::set set)
44 static void f_unchecked(isl::set set)
53 isl::set set(ctx, "{ S[i] : 0 <= i < 10 }")
[all...] |
| isl_test_cpp-generic.cc | 15 /* Test the pointer interface for interaction between isl C and C++ types.
18 * - construction from an isl C object
20 * - get a non-owned C pointer from an isl C++ object usable in __isl_keep
22 * - use copy to get an owned C pointer from an isl C++ object which is usable
25 * - use release to get an owned C pointer from an isl C++ object which is
29 void test_pointer(isl::ctx ctx)
32 isl::set empty = isl::manage(c_empty);
43 /* Test that isl objects can be constructed.
59 * Construction from an isl C pointer is tested in test_pointer
[all...] |
| isl_test2.cc | 31 #include <isl/cpp.h>
33 /* A binary isl function that appears in the C++ bindings
50 /* A ternary isl function that appears in the C++ bindings
92 * of the same (isl) type are (obviously) equal.
93 * The spelling depends on the isl type and
110 /* A helper macro for throwing an isl::exception_invalid with message "msg".
113 isl::exception::throw_error(isl_error_invalid, msg, __FILE__, __LINE__)
120 static void test(isl::ctx ctx, R (T::*fn)() const, const std::string &name,
145 static void test(isl::ctx ctx, R (T::*fn)(A1) const, const std::string &name,
171 static void test(isl::ctx ctx, R (T::*fn)(A1, A2) const
[all...] |
| isl_test_cpp-checked.cc | 14 #include <isl/options.h>
15 #include <isl/cpp-checked.h>
17 namespace isl { using namespace checked; } namespace
29 static void assert_impl(isl::boolean condition, const char *file, int line,
37 static int size_val(isl::size s)
51 * We check in detail the following parts of the isl::boolean class:
53 * are called on a true, false, or error instance of isl::boolean,
61 void test_return_bool(isl::ctx ctx)
63 isl::set empty(ctx, "{ : false }");
64 isl::set univ(ctx, "{ : }")
[all...] |
| isl_hash_private.h | 4 #include <isl/hash.h>
|
| isl_id_to_id.c | 1 #include <isl/ctx.h>
2 #include <isl/id_to_id.h>
3 #include <isl/id.h>
20 #include <isl/hmap_templ.c>
|
| isl_map_to_basic_set.c | 1 #include <isl/map_to_basic_set.h>
2 #include <isl/map.h>
3 #include <isl/set.h>
18 #include <isl/hmap_templ.c>
|
| isl_maybe_ast_graft_list.h | 7 #include <isl/maybe_templ.h>
|
| isl_test_cpp.cc | 17 #include <isl/options.h>
18 #include <isl/typed_cpp.h>
46 static void test_return_bool(isl::ctx ctx)
48 isl::set empty(ctx, "{ : false }");
49 isl::set univ(ctx, "{ : }");
50 isl::set null;
58 } catch (const isl::exception_invalid &e) {
69 * Test that isl C++ objects, integers, boolean values, and strings are
72 static void test_return(isl::ctx ctx)
87 static void test_foreach(isl::ctx ctx
[all...] |
| /src/external/mit/isl/dist/include/isl/ |
| set_type.h | 4 #include <isl/map_type.h>
|
| union_set_type.h | 4 #include <isl/union_map_type.h>
|
| cpp-checked.h | 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
25 namespace isl { namespace
41 /* Class used to check that isl::checked::boolean,
42 * isl::checked::stat and isl::checked::size values are checked for errors.
199 } // namespace isl
201 #include <isl/id.h>
202 #include <isl/id_to_id.h
217 namespace isl { namespace
[all...] |
| maybe_templ.h | 1 #include <isl/ctx.h>
2 #include <isl/maybe.h>
|
| id_to_ast_expr.h | 4 #include <isl/id_type.h>
5 #include <isl/ast_type.h>
6 #include <isl/maybe_ast_expr.h>
14 #include <isl/hmap.h>
|
| id_to_pw_aff.h | 4 #include <isl/id_type.h>
5 #include <isl/aff_type.h>
6 #include <isl/maybe_pw_aff.h>
14 #include <isl/hmap.h>
|
| map_to_basic_set.h | 4 #include <isl/set_type.h>
5 #include <isl/map_type.h>
6 #include <isl/maybe_basic_set.h>
14 #include <isl/hmap.h>
|
| maybe_ast_expr.h | 5 #include <isl/maybe_templ.h>
|
| maybe_basic_set.h | 5 #include <isl/maybe_templ.h>
|
| maybe_id.h | 5 #include <isl/maybe_templ.h>
|
| maybe_pw_aff.h | 5 #include <isl/maybe_templ.h>
|
| cpp.h | 1 /// These are automatically generated 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
11 #include <isl/ctx.h>
12 #include <isl/options.h>
40 namespace isl { namespace
76 /* Class capturing isl errors.
99 /* Default behavior on error conditions that occur inside isl calls
101 * In the case exceptions are available, isl should continue
118 * corresponds to what isl would have printed
284 namespace isl { namespace
[all...] |
| id_to_id.h | 4 #include <isl/id_type.h>
5 #include <isl/maybe_id.h>
13 #include <isl/hmap.h>
|
| lp.h | 13 #include <isl/aff.h>
14 #include <isl/val_type.h>
15 #include <isl/set_type.h>
|
