Searched refs:and_rec (Results 1 – 1 of 1) sorted by relevance
742 auto* and_rec = static_cast<AndRecurrencePredicate*>(op); in MakeAndOrImpl() local743 if (negated_ops.contains(and_rec->step())) { in MakeAndOrImpl()748 to_remove.insert(and_rec); in MakeAndOrImpl()749 to_remove.insert(MakeNotPredicate(and_rec->step())); in MakeAndOrImpl()750 to_add.push_back(and_rec->start()); in MakeAndOrImpl()1179 Predicate* and_rec = predicate_factory_.MakeAndRecurrencePredicate( in HandleMerge() local1181 SetPredicate(n, {0, 1, Graph::kControlSlot}, and_rec, should_revisit); in HandleMerge()