Searched refs:tryToPreserveWithoutAddingAssume (Results 1 – 1 of 1) sorted by relevance
116 bool tryToPreserveWithoutAddingAssume(RetainedKnowledge RK) { in tryToPreserveWithoutAddingAssume() function178 if (tryToPreserveWithoutAddingAssume(RK)) in addKnowledge()328 if (Builder.tryToPreserveWithoutAddingAssume(RK)) in simplifyRetainedKnowledge()