1139749Simp/// These are automatically generated conversions between
2126177Srik/// the default and the checked C++ bindings for isl.
3126177Srik///
4126177Srik/// isl is a library for computing with integer sets and maps described by
5126177Srik/// Presburger formulas. On top of this, isl provides various tools for
6126177Srik/// polyhedral compilation, ranging from dependence analysis over scheduling
7126177Srik/// to AST generation.
8126177Srik
9126177Srik#ifndef ISL_CPP_CHECKED_CONVERSION
10126177Srik#define ISL_CPP_CHECKED_CONVERSION
11126177Srik
12126177Srik#include <isl/cpp.h>
13126177Srik#include <isl/cpp-checked.h>
14126177Srik
15126177Sriknamespace isl {
16126177Srik
17126177Srikchecked::aff check(aff obj) {
18126177Srik	return checked::manage(obj.copy());
19126177Srik}
20126177Srik
21126177Srikaff uncheck(checked::aff obj) {
22126177Srik	return manage(obj.copy());
23126177Srik}
24126177Srik
25126177Srikchecked::aff_list check(aff_list obj) {
26126177Srik	return checked::manage(obj.copy());
27126177Srik}
28126177Srik
29126177Srikaff_list uncheck(checked::aff_list obj) {
30126177Srik	return manage(obj.copy());
31126177Srik}
32126177Srik
33126177Srikchecked::ast_build check(ast_build obj) {
34126177Srik	return checked::manage(obj.copy());
35126177Srik}
36126177Srik
37126177Srikast_build uncheck(checked::ast_build obj) {
38126177Srik	return manage(obj.copy());
39126177Srik}
40126177Srik
41126177Srikchecked::ast_expr check(ast_expr obj) {
42126177Srik	return checked::manage(obj.copy());
43126177Srik}
44126177Srik
45126177Srikast_expr uncheck(checked::ast_expr obj) {
46126177Srik	return manage(obj.copy());
47126177Srik}
48126177Srik
49126177Srikchecked::ast_expr_id check(ast_expr_id obj) {
50126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_id>();
51126177Srik}
52126177Srik
53126177Srikast_expr_id uncheck(checked::ast_expr_id obj) {
54126177Srik	return manage(obj.copy()).as<ast_expr_id>();
55126177Srik}
56126177Srik
57126177Srikchecked::ast_expr_int check(ast_expr_int obj) {
58126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_int>();
59126177Srik}
60126177Srik
61126177Srikast_expr_int uncheck(checked::ast_expr_int obj) {
62126177Srik	return manage(obj.copy()).as<ast_expr_int>();
63126177Srik}
64126177Srik
65126177Srikchecked::ast_expr_op check(ast_expr_op obj) {
66126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>();
67126177Srik}
68126177Srik
69126177Srikast_expr_op uncheck(checked::ast_expr_op obj) {
70126177Srik	return manage(obj.copy()).as<ast_expr_op>();
71126177Srik}
72126177Srik
73126177Srikchecked::ast_expr_op_access check(ast_expr_op_access obj) {
74126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_access>();
75126177Srik}
76126177Srik
77126177Srikast_expr_op_access uncheck(checked::ast_expr_op_access obj) {
78126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_access>();
79126177Srik}
80126177Srik
81126177Srikchecked::ast_expr_op_add check(ast_expr_op_add obj) {
82126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_add>();
83126177Srik}
84126177Srik
85126177Srikast_expr_op_add uncheck(checked::ast_expr_op_add obj) {
86126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_add>();
87126177Srik}
88126177Srik
89126177Srikchecked::ast_expr_op_address_of check(ast_expr_op_address_of obj) {
90126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_address_of>();
91126177Srik}
92126177Srik
93126177Srikast_expr_op_address_of uncheck(checked::ast_expr_op_address_of obj) {
94126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_address_of>();
95126177Srik}
96126177Srik
97126177Srikchecked::ast_expr_op_and check(ast_expr_op_and obj) {
98126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_and>();
99126177Srik}
100126177Srik
101126177Srikast_expr_op_and uncheck(checked::ast_expr_op_and obj) {
102126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_and>();
103126177Srik}
104126177Srik
105126177Srikchecked::ast_expr_op_and_then check(ast_expr_op_and_then obj) {
106126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_and_then>();
107126177Srik}
108126177Srik
109126177Srikast_expr_op_and_then uncheck(checked::ast_expr_op_and_then obj) {
110126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_and_then>();
111126177Srik}
112126177Srik
113126177Srikchecked::ast_expr_op_call check(ast_expr_op_call obj) {
114126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_call>();
115126177Srik}
116126177Srik
117126177Srikast_expr_op_call uncheck(checked::ast_expr_op_call obj) {
118126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_call>();
119126177Srik}
120126177Srik
121126177Srikchecked::ast_expr_op_cond check(ast_expr_op_cond obj) {
122126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_cond>();
123126177Srik}
124126177Srik
125126177Srikast_expr_op_cond uncheck(checked::ast_expr_op_cond obj) {
126126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_cond>();
127126177Srik}
128126177Srik
129126177Srikchecked::ast_expr_op_div check(ast_expr_op_div obj) {
130126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_div>();
131126177Srik}
132126177Srik
133126177Srikast_expr_op_div uncheck(checked::ast_expr_op_div obj) {
134126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_div>();
135126177Srik}
136126177Srik
137126177Srikchecked::ast_expr_op_eq check(ast_expr_op_eq obj) {
138126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_eq>();
139126177Srik}
140126177Srik
141126177Srikast_expr_op_eq uncheck(checked::ast_expr_op_eq obj) {
142126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_eq>();
143126177Srik}
144126177Srik
145126177Srikchecked::ast_expr_op_fdiv_q check(ast_expr_op_fdiv_q obj) {
146126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_fdiv_q>();
147126177Srik}
148126177Srik
149126177Srikast_expr_op_fdiv_q uncheck(checked::ast_expr_op_fdiv_q obj) {
150126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_fdiv_q>();
151126177Srik}
152126177Srik
153126177Srikchecked::ast_expr_op_ge check(ast_expr_op_ge obj) {
154126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_ge>();
155126177Srik}
156126177Srik
157126177Srikast_expr_op_ge uncheck(checked::ast_expr_op_ge obj) {
158126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_ge>();
159126177Srik}
160126177Srik
161126177Srikchecked::ast_expr_op_gt check(ast_expr_op_gt obj) {
162126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_gt>();
163126177Srik}
164126177Srik
165126177Srikast_expr_op_gt uncheck(checked::ast_expr_op_gt obj) {
166126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_gt>();
167126177Srik}
168126177Srik
169126177Srikchecked::ast_expr_op_le check(ast_expr_op_le obj) {
170126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_le>();
171126177Srik}
172126177Srik
173126177Srikast_expr_op_le uncheck(checked::ast_expr_op_le obj) {
174126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_le>();
175126177Srik}
176126177Srik
177126177Srikchecked::ast_expr_op_lt check(ast_expr_op_lt obj) {
178126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_lt>();
179126177Srik}
180126177Srik
181126177Srikast_expr_op_lt uncheck(checked::ast_expr_op_lt obj) {
182126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_lt>();
183126177Srik}
184126177Srik
185126177Srikchecked::ast_expr_op_max check(ast_expr_op_max obj) {
186126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_max>();
187126177Srik}
188126177Srik
189126177Srikast_expr_op_max uncheck(checked::ast_expr_op_max obj) {
190126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_max>();
191126177Srik}
192126177Srik
193126177Srikchecked::ast_expr_op_member check(ast_expr_op_member obj) {
194126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_member>();
195126177Srik}
196126177Srik
197126177Srikast_expr_op_member uncheck(checked::ast_expr_op_member obj) {
198126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_member>();
199126177Srik}
200126177Srik
201126177Srikchecked::ast_expr_op_min check(ast_expr_op_min obj) {
202126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_min>();
203126177Srik}
204126177Srik
205126177Srikast_expr_op_min uncheck(checked::ast_expr_op_min obj) {
206126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_min>();
207126177Srik}
208126177Srik
209126177Srikchecked::ast_expr_op_minus check(ast_expr_op_minus obj) {
210126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_minus>();
211126177Srik}
212126177Srik
213126177Srikast_expr_op_minus uncheck(checked::ast_expr_op_minus obj) {
214126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_minus>();
215126177Srik}
216126177Srik
217126177Srikchecked::ast_expr_op_mul check(ast_expr_op_mul obj) {
218126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_mul>();
219126177Srik}
220126177Srik
221126177Srikast_expr_op_mul uncheck(checked::ast_expr_op_mul obj) {
222126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_mul>();
223126177Srik}
224126177Srik
225126177Srikchecked::ast_expr_op_or check(ast_expr_op_or obj) {
226126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_or>();
227126177Srik}
228126177Srik
229126177Srikast_expr_op_or uncheck(checked::ast_expr_op_or obj) {
230126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_or>();
231126177Srik}
232126177Srik
233126177Srikchecked::ast_expr_op_or_else check(ast_expr_op_or_else obj) {
234126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_or_else>();
235126177Srik}
236126177Srik
237126177Srikast_expr_op_or_else uncheck(checked::ast_expr_op_or_else obj) {
238126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_or_else>();
239126177Srik}
240126177Srik
241126177Srikchecked::ast_expr_op_pdiv_q check(ast_expr_op_pdiv_q obj) {
242126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_pdiv_q>();
243126177Srik}
244126177Srik
245126177Srikast_expr_op_pdiv_q uncheck(checked::ast_expr_op_pdiv_q obj) {
246126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_pdiv_q>();
247126177Srik}
248126177Srik
249126177Srikchecked::ast_expr_op_pdiv_r check(ast_expr_op_pdiv_r obj) {
250126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_pdiv_r>();
251126177Srik}
252126177Srik
253126177Srikast_expr_op_pdiv_r uncheck(checked::ast_expr_op_pdiv_r obj) {
254126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_pdiv_r>();
255126177Srik}
256126177Srik
257126177Srikchecked::ast_expr_op_select check(ast_expr_op_select obj) {
258126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_select>();
259126177Srik}
260126177Srik
261126177Srikast_expr_op_select uncheck(checked::ast_expr_op_select obj) {
262126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_select>();
263126177Srik}
264126177Srik
265126177Srikchecked::ast_expr_op_sub check(ast_expr_op_sub obj) {
266126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_sub>();
267126177Srik}
268126177Srik
269126177Srikast_expr_op_sub uncheck(checked::ast_expr_op_sub obj) {
270126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_sub>();
271126177Srik}
272126177Srik
273126177Srikchecked::ast_expr_op_zdiv_r check(ast_expr_op_zdiv_r obj) {
274126177Srik	return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_zdiv_r>();
275126177Srik}
276126177Srik
277126177Srikast_expr_op_zdiv_r uncheck(checked::ast_expr_op_zdiv_r obj) {
278126177Srik	return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_zdiv_r>();
279126177Srik}
280126177Srik
281126177Srikchecked::ast_node check(ast_node obj) {
282126177Srik	return checked::manage(obj.copy());
283126177Srik}
284126177Srik
285126177Srikast_node uncheck(checked::ast_node obj) {
286126177Srik	return manage(obj.copy());
287126177Srik}
288126177Srik
289126177Srikchecked::ast_node_block check(ast_node_block obj) {
290126177Srik	return checked::manage(obj.copy()).as<checked::ast_node_block>();
291}
292
293ast_node_block uncheck(checked::ast_node_block obj) {
294	return manage(obj.copy()).as<ast_node_block>();
295}
296
297checked::ast_node_for check(ast_node_for obj) {
298	return checked::manage(obj.copy()).as<checked::ast_node_for>();
299}
300
301ast_node_for uncheck(checked::ast_node_for obj) {
302	return manage(obj.copy()).as<ast_node_for>();
303}
304
305checked::ast_node_if check(ast_node_if obj) {
306	return checked::manage(obj.copy()).as<checked::ast_node_if>();
307}
308
309ast_node_if uncheck(checked::ast_node_if obj) {
310	return manage(obj.copy()).as<ast_node_if>();
311}
312
313checked::ast_node_list check(ast_node_list obj) {
314	return checked::manage(obj.copy());
315}
316
317ast_node_list uncheck(checked::ast_node_list obj) {
318	return manage(obj.copy());
319}
320
321checked::ast_node_mark check(ast_node_mark obj) {
322	return checked::manage(obj.copy()).as<checked::ast_node_mark>();
323}
324
325ast_node_mark uncheck(checked::ast_node_mark obj) {
326	return manage(obj.copy()).as<ast_node_mark>();
327}
328
329checked::ast_node_user check(ast_node_user obj) {
330	return checked::manage(obj.copy()).as<checked::ast_node_user>();
331}
332
333ast_node_user uncheck(checked::ast_node_user obj) {
334	return manage(obj.copy()).as<ast_node_user>();
335}
336
337checked::basic_map check(basic_map obj) {
338	return checked::manage(obj.copy());
339}
340
341basic_map uncheck(checked::basic_map obj) {
342	return manage(obj.copy());
343}
344
345checked::basic_set check(basic_set obj) {
346	return checked::manage(obj.copy());
347}
348
349basic_set uncheck(checked::basic_set obj) {
350	return manage(obj.copy());
351}
352
353checked::fixed_box check(fixed_box obj) {
354	return checked::manage(obj.copy());
355}
356
357fixed_box uncheck(checked::fixed_box obj) {
358	return manage(obj.copy());
359}
360
361checked::id check(id obj) {
362	return checked::manage(obj.copy());
363}
364
365id uncheck(checked::id obj) {
366	return manage(obj.copy());
367}
368
369checked::id_list check(id_list obj) {
370	return checked::manage(obj.copy());
371}
372
373id_list uncheck(checked::id_list obj) {
374	return manage(obj.copy());
375}
376
377checked::id_to_ast_expr check(id_to_ast_expr obj) {
378	return checked::manage(obj.copy());
379}
380
381id_to_ast_expr uncheck(checked::id_to_ast_expr obj) {
382	return manage(obj.copy());
383}
384
385checked::id_to_id check(id_to_id obj) {
386	return checked::manage(obj.copy());
387}
388
389id_to_id uncheck(checked::id_to_id obj) {
390	return manage(obj.copy());
391}
392
393checked::map check(map obj) {
394	return checked::manage(obj.copy());
395}
396
397map uncheck(checked::map obj) {
398	return manage(obj.copy());
399}
400
401checked::map_list check(map_list obj) {
402	return checked::manage(obj.copy());
403}
404
405map_list uncheck(checked::map_list obj) {
406	return manage(obj.copy());
407}
408
409checked::multi_aff check(multi_aff obj) {
410	return checked::manage(obj.copy());
411}
412
413multi_aff uncheck(checked::multi_aff obj) {
414	return manage(obj.copy());
415}
416
417checked::multi_id check(multi_id obj) {
418	return checked::manage(obj.copy());
419}
420
421multi_id uncheck(checked::multi_id obj) {
422	return manage(obj.copy());
423}
424
425checked::multi_pw_aff check(multi_pw_aff obj) {
426	return checked::manage(obj.copy());
427}
428
429multi_pw_aff uncheck(checked::multi_pw_aff obj) {
430	return manage(obj.copy());
431}
432
433checked::multi_union_pw_aff check(multi_union_pw_aff obj) {
434	return checked::manage(obj.copy());
435}
436
437multi_union_pw_aff uncheck(checked::multi_union_pw_aff obj) {
438	return manage(obj.copy());
439}
440
441checked::multi_val check(multi_val obj) {
442	return checked::manage(obj.copy());
443}
444
445multi_val uncheck(checked::multi_val obj) {
446	return manage(obj.copy());
447}
448
449checked::point check(point obj) {
450	return checked::manage(obj.copy());
451}
452
453point uncheck(checked::point obj) {
454	return manage(obj.copy());
455}
456
457checked::pw_aff check(pw_aff obj) {
458	return checked::manage(obj.copy());
459}
460
461pw_aff uncheck(checked::pw_aff obj) {
462	return manage(obj.copy());
463}
464
465checked::pw_aff_list check(pw_aff_list obj) {
466	return checked::manage(obj.copy());
467}
468
469pw_aff_list uncheck(checked::pw_aff_list obj) {
470	return manage(obj.copy());
471}
472
473checked::pw_multi_aff check(pw_multi_aff obj) {
474	return checked::manage(obj.copy());
475}
476
477pw_multi_aff uncheck(checked::pw_multi_aff obj) {
478	return manage(obj.copy());
479}
480
481checked::pw_multi_aff_list check(pw_multi_aff_list obj) {
482	return checked::manage(obj.copy());
483}
484
485pw_multi_aff_list uncheck(checked::pw_multi_aff_list obj) {
486	return manage(obj.copy());
487}
488
489checked::schedule check(schedule obj) {
490	return checked::manage(obj.copy());
491}
492
493schedule uncheck(checked::schedule obj) {
494	return manage(obj.copy());
495}
496
497checked::schedule_constraints check(schedule_constraints obj) {
498	return checked::manage(obj.copy());
499}
500
501schedule_constraints uncheck(checked::schedule_constraints obj) {
502	return manage(obj.copy());
503}
504
505checked::schedule_node check(schedule_node obj) {
506	return checked::manage(obj.copy());
507}
508
509schedule_node uncheck(checked::schedule_node obj) {
510	return manage(obj.copy());
511}
512
513checked::schedule_node_band check(schedule_node_band obj) {
514	return checked::manage(obj.copy()).as<checked::schedule_node_band>();
515}
516
517schedule_node_band uncheck(checked::schedule_node_band obj) {
518	return manage(obj.copy()).as<schedule_node_band>();
519}
520
521checked::schedule_node_context check(schedule_node_context obj) {
522	return checked::manage(obj.copy()).as<checked::schedule_node_context>();
523}
524
525schedule_node_context uncheck(checked::schedule_node_context obj) {
526	return manage(obj.copy()).as<schedule_node_context>();
527}
528
529checked::schedule_node_domain check(schedule_node_domain obj) {
530	return checked::manage(obj.copy()).as<checked::schedule_node_domain>();
531}
532
533schedule_node_domain uncheck(checked::schedule_node_domain obj) {
534	return manage(obj.copy()).as<schedule_node_domain>();
535}
536
537checked::schedule_node_expansion check(schedule_node_expansion obj) {
538	return checked::manage(obj.copy()).as<checked::schedule_node_expansion>();
539}
540
541schedule_node_expansion uncheck(checked::schedule_node_expansion obj) {
542	return manage(obj.copy()).as<schedule_node_expansion>();
543}
544
545checked::schedule_node_extension check(schedule_node_extension obj) {
546	return checked::manage(obj.copy()).as<checked::schedule_node_extension>();
547}
548
549schedule_node_extension uncheck(checked::schedule_node_extension obj) {
550	return manage(obj.copy()).as<schedule_node_extension>();
551}
552
553checked::schedule_node_filter check(schedule_node_filter obj) {
554	return checked::manage(obj.copy()).as<checked::schedule_node_filter>();
555}
556
557schedule_node_filter uncheck(checked::schedule_node_filter obj) {
558	return manage(obj.copy()).as<schedule_node_filter>();
559}
560
561checked::schedule_node_guard check(schedule_node_guard obj) {
562	return checked::manage(obj.copy()).as<checked::schedule_node_guard>();
563}
564
565schedule_node_guard uncheck(checked::schedule_node_guard obj) {
566	return manage(obj.copy()).as<schedule_node_guard>();
567}
568
569checked::schedule_node_leaf check(schedule_node_leaf obj) {
570	return checked::manage(obj.copy()).as<checked::schedule_node_leaf>();
571}
572
573schedule_node_leaf uncheck(checked::schedule_node_leaf obj) {
574	return manage(obj.copy()).as<schedule_node_leaf>();
575}
576
577checked::schedule_node_mark check(schedule_node_mark obj) {
578	return checked::manage(obj.copy()).as<checked::schedule_node_mark>();
579}
580
581schedule_node_mark uncheck(checked::schedule_node_mark obj) {
582	return manage(obj.copy()).as<schedule_node_mark>();
583}
584
585checked::schedule_node_sequence check(schedule_node_sequence obj) {
586	return checked::manage(obj.copy()).as<checked::schedule_node_sequence>();
587}
588
589schedule_node_sequence uncheck(checked::schedule_node_sequence obj) {
590	return manage(obj.copy()).as<schedule_node_sequence>();
591}
592
593checked::schedule_node_set check(schedule_node_set obj) {
594	return checked::manage(obj.copy()).as<checked::schedule_node_set>();
595}
596
597schedule_node_set uncheck(checked::schedule_node_set obj) {
598	return manage(obj.copy()).as<schedule_node_set>();
599}
600
601checked::set check(set obj) {
602	return checked::manage(obj.copy());
603}
604
605set uncheck(checked::set obj) {
606	return manage(obj.copy());
607}
608
609checked::set_list check(set_list obj) {
610	return checked::manage(obj.copy());
611}
612
613set_list uncheck(checked::set_list obj) {
614	return manage(obj.copy());
615}
616
617checked::space check(space obj) {
618	return checked::manage(obj.copy());
619}
620
621space uncheck(checked::space obj) {
622	return manage(obj.copy());
623}
624
625checked::union_access_info check(union_access_info obj) {
626	return checked::manage(obj.copy());
627}
628
629union_access_info uncheck(checked::union_access_info obj) {
630	return manage(obj.copy());
631}
632
633checked::union_flow check(union_flow obj) {
634	return checked::manage(obj.copy());
635}
636
637union_flow uncheck(checked::union_flow obj) {
638	return manage(obj.copy());
639}
640
641checked::union_map check(union_map obj) {
642	return checked::manage(obj.copy());
643}
644
645union_map uncheck(checked::union_map obj) {
646	return manage(obj.copy());
647}
648
649checked::union_pw_aff check(union_pw_aff obj) {
650	return checked::manage(obj.copy());
651}
652
653union_pw_aff uncheck(checked::union_pw_aff obj) {
654	return manage(obj.copy());
655}
656
657checked::union_pw_aff_list check(union_pw_aff_list obj) {
658	return checked::manage(obj.copy());
659}
660
661union_pw_aff_list uncheck(checked::union_pw_aff_list obj) {
662	return manage(obj.copy());
663}
664
665checked::union_pw_multi_aff check(union_pw_multi_aff obj) {
666	return checked::manage(obj.copy());
667}
668
669union_pw_multi_aff uncheck(checked::union_pw_multi_aff obj) {
670	return manage(obj.copy());
671}
672
673checked::union_set check(union_set obj) {
674	return checked::manage(obj.copy());
675}
676
677union_set uncheck(checked::union_set obj) {
678	return manage(obj.copy());
679}
680
681checked::union_set_list check(union_set_list obj) {
682	return checked::manage(obj.copy());
683}
684
685union_set_list uncheck(checked::union_set_list obj) {
686	return manage(obj.copy());
687}
688
689checked::val check(val obj) {
690	return checked::manage(obj.copy());
691}
692
693val uncheck(checked::val obj) {
694	return manage(obj.copy());
695}
696
697checked::val_list check(val_list obj) {
698	return checked::manage(obj.copy());
699}
700
701val_list uncheck(checked::val_list obj) {
702	return manage(obj.copy());
703}
704
705} // namespace isl
706
707#endif /* ISL_CPP_CHECKED_CONVERSION */
708