Searched refs:tryToPreserveWithoutAddingAssume (Results 1 – 1 of 1) sorted by relevance
117 bool tryToPreserveWithoutAddingAssume(RetainedKnowledge RK) { in tryToPreserveWithoutAddingAssume() function179 if (tryToPreserveWithoutAddingAssume(RK)) in addKnowledge()326 if (Builder.tryToPreserveWithoutAddingAssume(RK)) in simplifyRetainedKnowledge()