Searched refs:new_cond_b (Results 1 – 1 of 1) sorted by relevance
461 std::vector<PrimExpr> new_cond_b; in VisitExpr_() local462 new_cond_b.reserve(res_b.atomic_formulas.size() - res_set.size()); in VisitExpr_()464 if (!res_set.count(formula)) new_cond_b.emplace_back(formula); in VisitExpr_()468 res_b.atomic_formulas = std::move(new_cond_b); in VisitExpr_()