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