Searched refs:tryToPreserveWithoutAddingAssume (Results 1 – 1 of 1) sorted by relevance
114 bool tryToPreserveWithoutAddingAssume(RetainedKnowledge RK) { in tryToPreserveWithoutAddingAssume() function177 if (tryToPreserveWithoutAddingAssume(RK)) in addKnowledge()