Searched refs:RemoveFromAssume (Results 1 – 1 of 1) sorted by relevance
410 auto RemoveFromAssume = [&]() { in dropRedundantKnowledge() local430 RemoveFromAssume(); in dropRedundantKnowledge()440 RemoveFromAssume(); in dropRedundantKnowledge()449 RemoveFromAssume(); in dropRedundantKnowledge()455 RemoveFromAssume(); in dropRedundantKnowledge()