/// These are automatically generated conversions between /// the default and the checked C++ bindings for isl. /// /// isl is a library for computing with integer sets and maps described by /// Presburger formulas. On top of this, isl provides various tools for /// polyhedral compilation, ranging from dependence analysis over scheduling /// to AST generation. #ifndef ISL_CPP_CHECKED_CONVERSION #define ISL_CPP_CHECKED_CONVERSION #include #include namespace isl { checked::aff check(aff obj) { return checked::manage(obj.copy()); } aff uncheck(checked::aff obj) { return manage(obj.copy()); } checked::aff_list check(aff_list obj) { return checked::manage(obj.copy()); } aff_list uncheck(checked::aff_list obj) { return manage(obj.copy()); } checked::ast_build check(ast_build obj) { return checked::manage(obj.copy()); } ast_build uncheck(checked::ast_build obj) { return manage(obj.copy()); } checked::ast_expr check(ast_expr obj) { return checked::manage(obj.copy()); } ast_expr uncheck(checked::ast_expr obj) { return manage(obj.copy()); } checked::ast_expr_id check(ast_expr_id obj) { return checked::manage(obj.copy()).as(); } ast_expr_id uncheck(checked::ast_expr_id obj) { return manage(obj.copy()).as(); } checked::ast_expr_int check(ast_expr_int obj) { return checked::manage(obj.copy()).as(); } ast_expr_int uncheck(checked::ast_expr_int obj) { return manage(obj.copy()).as(); } checked::ast_expr_op check(ast_expr_op obj) { return checked::manage(obj.copy()).as(); } ast_expr_op uncheck(checked::ast_expr_op obj) { return manage(obj.copy()).as(); } checked::ast_expr_op_access check(ast_expr_op_access obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_access uncheck(checked::ast_expr_op_access obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_add check(ast_expr_op_add obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_add uncheck(checked::ast_expr_op_add obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_address_of check(ast_expr_op_address_of obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_address_of uncheck(checked::ast_expr_op_address_of obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_and check(ast_expr_op_and obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_and uncheck(checked::ast_expr_op_and obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_and_then check(ast_expr_op_and_then obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_and_then uncheck(checked::ast_expr_op_and_then obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_call check(ast_expr_op_call obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_call uncheck(checked::ast_expr_op_call obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_cond check(ast_expr_op_cond obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_cond uncheck(checked::ast_expr_op_cond obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_div check(ast_expr_op_div obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_div uncheck(checked::ast_expr_op_div obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_eq check(ast_expr_op_eq obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_eq uncheck(checked::ast_expr_op_eq obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_fdiv_q check(ast_expr_op_fdiv_q obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_fdiv_q uncheck(checked::ast_expr_op_fdiv_q obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_ge check(ast_expr_op_ge obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_ge uncheck(checked::ast_expr_op_ge obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_gt check(ast_expr_op_gt obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_gt uncheck(checked::ast_expr_op_gt obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_le check(ast_expr_op_le obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_le uncheck(checked::ast_expr_op_le obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_lt check(ast_expr_op_lt obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_lt uncheck(checked::ast_expr_op_lt obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_max check(ast_expr_op_max obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_max uncheck(checked::ast_expr_op_max obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_member check(ast_expr_op_member obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_member uncheck(checked::ast_expr_op_member obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_min check(ast_expr_op_min obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_min uncheck(checked::ast_expr_op_min obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_minus check(ast_expr_op_minus obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_minus uncheck(checked::ast_expr_op_minus obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_mul check(ast_expr_op_mul obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_mul uncheck(checked::ast_expr_op_mul obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_or check(ast_expr_op_or obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_or uncheck(checked::ast_expr_op_or obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_or_else check(ast_expr_op_or_else obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_or_else uncheck(checked::ast_expr_op_or_else obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_pdiv_q check(ast_expr_op_pdiv_q obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_pdiv_q uncheck(checked::ast_expr_op_pdiv_q obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_pdiv_r check(ast_expr_op_pdiv_r obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_pdiv_r uncheck(checked::ast_expr_op_pdiv_r obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_select check(ast_expr_op_select obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_select uncheck(checked::ast_expr_op_select obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_sub check(ast_expr_op_sub obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_sub uncheck(checked::ast_expr_op_sub obj) { return manage(obj.copy()).as().as(); } checked::ast_expr_op_zdiv_r check(ast_expr_op_zdiv_r obj) { return checked::manage(obj.copy()).as().as(); } ast_expr_op_zdiv_r uncheck(checked::ast_expr_op_zdiv_r obj) { return manage(obj.copy()).as().as(); } checked::ast_node check(ast_node obj) { return checked::manage(obj.copy()); } ast_node uncheck(checked::ast_node obj) { return manage(obj.copy()); } checked::ast_node_block check(ast_node_block obj) { return checked::manage(obj.copy()).as(); } ast_node_block uncheck(checked::ast_node_block obj) { return manage(obj.copy()).as(); } checked::ast_node_for check(ast_node_for obj) { return checked::manage(obj.copy()).as(); } ast_node_for uncheck(checked::ast_node_for obj) { return manage(obj.copy()).as(); } checked::ast_node_if check(ast_node_if obj) { return checked::manage(obj.copy()).as(); } ast_node_if uncheck(checked::ast_node_if obj) { return manage(obj.copy()).as(); } checked::ast_node_list check(ast_node_list obj) { return checked::manage(obj.copy()); } ast_node_list uncheck(checked::ast_node_list obj) { return manage(obj.copy()); } checked::ast_node_mark check(ast_node_mark obj) { return checked::manage(obj.copy()).as(); } ast_node_mark uncheck(checked::ast_node_mark obj) { return manage(obj.copy()).as(); } checked::ast_node_user check(ast_node_user obj) { return checked::manage(obj.copy()).as(); } ast_node_user uncheck(checked::ast_node_user obj) { return manage(obj.copy()).as(); } checked::basic_map check(basic_map obj) { return checked::manage(obj.copy()); } basic_map uncheck(checked::basic_map obj) { return manage(obj.copy()); } checked::basic_set check(basic_set obj) { return checked::manage(obj.copy()); } basic_set uncheck(checked::basic_set obj) { return manage(obj.copy()); } checked::fixed_box check(fixed_box obj) { return checked::manage(obj.copy()); } fixed_box uncheck(checked::fixed_box obj) { return manage(obj.copy()); } checked::id check(id obj) { return checked::manage(obj.copy()); } id uncheck(checked::id obj) { return manage(obj.copy()); } checked::id_list check(id_list obj) { return checked::manage(obj.copy()); } id_list uncheck(checked::id_list obj) { return manage(obj.copy()); } checked::map check(map obj) { return checked::manage(obj.copy()); } map uncheck(checked::map obj) { return manage(obj.copy()); } checked::multi_aff check(multi_aff obj) { return checked::manage(obj.copy()); } multi_aff uncheck(checked::multi_aff obj) { return manage(obj.copy()); } checked::multi_id check(multi_id obj) { return checked::manage(obj.copy()); } multi_id uncheck(checked::multi_id obj) { return manage(obj.copy()); } checked::multi_pw_aff check(multi_pw_aff obj) { return checked::manage(obj.copy()); } multi_pw_aff uncheck(checked::multi_pw_aff obj) { return manage(obj.copy()); } checked::multi_union_pw_aff check(multi_union_pw_aff obj) { return checked::manage(obj.copy()); } multi_union_pw_aff uncheck(checked::multi_union_pw_aff obj) { return manage(obj.copy()); } checked::multi_val check(multi_val obj) { return checked::manage(obj.copy()); } multi_val uncheck(checked::multi_val obj) { return manage(obj.copy()); } checked::point check(point obj) { return checked::manage(obj.copy()); } point uncheck(checked::point obj) { return manage(obj.copy()); } checked::pw_aff check(pw_aff obj) { return checked::manage(obj.copy()); } pw_aff uncheck(checked::pw_aff obj) { return manage(obj.copy()); } checked::pw_aff_list check(pw_aff_list obj) { return checked::manage(obj.copy()); } pw_aff_list uncheck(checked::pw_aff_list obj) { return manage(obj.copy()); } checked::pw_multi_aff check(pw_multi_aff obj) { return checked::manage(obj.copy()); } pw_multi_aff uncheck(checked::pw_multi_aff obj) { return manage(obj.copy()); } checked::pw_multi_aff_list check(pw_multi_aff_list obj) { return checked::manage(obj.copy()); } pw_multi_aff_list uncheck(checked::pw_multi_aff_list obj) { return manage(obj.copy()); } checked::schedule check(schedule obj) { return checked::manage(obj.copy()); } schedule uncheck(checked::schedule obj) { return manage(obj.copy()); } checked::schedule_constraints check(schedule_constraints obj) { return checked::manage(obj.copy()); } schedule_constraints uncheck(checked::schedule_constraints obj) { return manage(obj.copy()); } checked::schedule_node check(schedule_node obj) { return checked::manage(obj.copy()); } schedule_node uncheck(checked::schedule_node obj) { return manage(obj.copy()); } checked::schedule_node_band check(schedule_node_band obj) { return checked::manage(obj.copy()).as(); } schedule_node_band uncheck(checked::schedule_node_band obj) { return manage(obj.copy()).as(); } checked::schedule_node_context check(schedule_node_context obj) { return checked::manage(obj.copy()).as(); } schedule_node_context uncheck(checked::schedule_node_context obj) { return manage(obj.copy()).as(); } checked::schedule_node_domain check(schedule_node_domain obj) { return checked::manage(obj.copy()).as(); } schedule_node_domain uncheck(checked::schedule_node_domain obj) { return manage(obj.copy()).as(); } checked::schedule_node_expansion check(schedule_node_expansion obj) { return checked::manage(obj.copy()).as(); } schedule_node_expansion uncheck(checked::schedule_node_expansion obj) { return manage(obj.copy()).as(); } checked::schedule_node_extension check(schedule_node_extension obj) { return checked::manage(obj.copy()).as(); } schedule_node_extension uncheck(checked::schedule_node_extension obj) { return manage(obj.copy()).as(); } checked::schedule_node_filter check(schedule_node_filter obj) { return checked::manage(obj.copy()).as(); } schedule_node_filter uncheck(checked::schedule_node_filter obj) { return manage(obj.copy()).as(); } checked::schedule_node_guard check(schedule_node_guard obj) { return checked::manage(obj.copy()).as(); } schedule_node_guard uncheck(checked::schedule_node_guard obj) { return manage(obj.copy()).as(); } checked::schedule_node_leaf check(schedule_node_leaf obj) { return checked::manage(obj.copy()).as(); } schedule_node_leaf uncheck(checked::schedule_node_leaf obj) { return manage(obj.copy()).as(); } checked::schedule_node_mark check(schedule_node_mark obj) { return checked::manage(obj.copy()).as(); } schedule_node_mark uncheck(checked::schedule_node_mark obj) { return manage(obj.copy()).as(); } checked::schedule_node_sequence check(schedule_node_sequence obj) { return checked::manage(obj.copy()).as(); } schedule_node_sequence uncheck(checked::schedule_node_sequence obj) { return manage(obj.copy()).as(); } checked::schedule_node_set check(schedule_node_set obj) { return checked::manage(obj.copy()).as(); } schedule_node_set uncheck(checked::schedule_node_set obj) { return manage(obj.copy()).as(); } checked::set check(set obj) { return checked::manage(obj.copy()); } set uncheck(checked::set obj) { return manage(obj.copy()); } checked::space check(space obj) { return checked::manage(obj.copy()); } space uncheck(checked::space obj) { return manage(obj.copy()); } checked::union_access_info check(union_access_info obj) { return checked::manage(obj.copy()); } union_access_info uncheck(checked::union_access_info obj) { return manage(obj.copy()); } checked::union_flow check(union_flow obj) { return checked::manage(obj.copy()); } union_flow uncheck(checked::union_flow obj) { return manage(obj.copy()); } checked::union_map check(union_map obj) { return checked::manage(obj.copy()); } union_map uncheck(checked::union_map obj) { return manage(obj.copy()); } checked::union_pw_aff check(union_pw_aff obj) { return checked::manage(obj.copy()); } union_pw_aff uncheck(checked::union_pw_aff obj) { return manage(obj.copy()); } checked::union_pw_aff_list check(union_pw_aff_list obj) { return checked::manage(obj.copy()); } union_pw_aff_list uncheck(checked::union_pw_aff_list obj) { return manage(obj.copy()); } checked::union_pw_multi_aff check(union_pw_multi_aff obj) { return checked::manage(obj.copy()); } union_pw_multi_aff uncheck(checked::union_pw_multi_aff obj) { return manage(obj.copy()); } checked::union_set check(union_set obj) { return checked::manage(obj.copy()); } union_set uncheck(checked::union_set obj) { return manage(obj.copy()); } checked::union_set_list check(union_set_list obj) { return checked::manage(obj.copy()); } union_set_list uncheck(checked::union_set_list obj) { return manage(obj.copy()); } checked::val check(val obj) { return checked::manage(obj.copy()); } val uncheck(checked::val obj) { return manage(obj.copy()); } checked::val_list check(val_list obj) { return checked::manage(obj.copy()); } val_list uncheck(checked::val_list obj) { return manage(obj.copy()); } } // namespace isl #endif /* ISL_CPP_CHECKED_CONVERSION */