395   isl::ast_expr RunCondition;  in buildRunCondition()  local
402     RunCondition = std::move(PosCond);  in buildRunCondition()
408     RunCondition =  in buildRunCondition()
424         RunCondition = isl::manage(isl_ast_expr_and(  in buildRunCondition()
425             RunCondition.release(),  in buildRunCondition()
428         RunCondition = isl::manage(isl_ast_expr_and(  in buildRunCondition()
429             RunCondition.release(),  in buildRunCondition()
434   return RunCondition;  in buildRunCondition()
495     : S(O.S), Ctx(O.Ctx), RunCondition(std::move(O.RunCondition)),  in IslAst()
543   RunCondition = buildRunCondition(S, isl::manage_copy(Build));  in init()
559 isl::ast_expr IslAst::getRunCondition() { return RunCondition; }  in getRunCondition()
739   isl::ast_expr RunCondition = Ast.getRunCondition();  in print()  local
751   P = isl_printer_print_ast_expr(P, RunCondition.get());  in print()