Searched refs:RemoveFromAssume (Results 1 – 1 of 1) sorted by relevance
408 auto RemoveFromAssume = [&]() { in dropRedundantKnowledge() local428 RemoveFromAssume(); in dropRedundantKnowledge()438 RemoveFromAssume(); in dropRedundantKnowledge()447 RemoveFromAssume(); in dropRedundantKnowledge()453 RemoveFromAssume(); in dropRedundantKnowledge()