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