Searched refs:careSet (Results 1 – 4 of 4) sorted by relevance
415 const set<Expr>& careSet) in updateQueue() argument423 set_intersection(careSet.begin(), careSet.end(), cs2->begin(), cs2->end(), in updateQueue()429 queue[e] = new set<Expr>(careSet); in updateQueue()
151 const std::set<Expr>& careSet);
412 void updateQueue(CareMap& queue, TNode e, CareSetPtr& careSet);
1683 ITECareSimplifier::CareSetPtr& careSet) in updateQueue() argument1690 set_intersection(careSet.getCareSet().begin(), in updateQueue()1691 careSet.getCareSet().end(), in updateQueue()1699 queue[e] = careSet; in updateQueue()