Searched refs:treatExpr (Results 1 – 2 of 2) sorted by relevance
1039 const treat_expr* treatExpr = static_cast<const treat_expr*>(this); in is_map_internal() local1040 TypeConstants::quantifier_t q = treatExpr->get_target_type()->get_quantifier(); in is_map_internal()1044 const expr* argExpr = treatExpr->get_input(); in is_map_internal()
2045 expr* treatExpr = theExprManager-> in declare_var() local2048 stmts.push_back(treatExpr); in declare_var()7432 expr* treatExpr = theExprManager->create_treat_expr(theRootSctx, in begin_visit() local7439 clauseExpr = wrap_in_let_flwor(treatExpr, caseVar, NULL); in begin_visit()