Searched refs:RemoveFromAssume (Results 1 – 1 of 1) sorted by relevance
378 auto RemoveFromAssume = [&]() { in dropRedundantKnowledge() local397 RemoveFromAssume(); in dropRedundantKnowledge()407 RemoveFromAssume(); in dropRedundantKnowledge()416 RemoveFromAssume(); in dropRedundantKnowledge()422 RemoveFromAssume(); in dropRedundantKnowledge()