Searched refs:canonicalizedKnowledge (Results 1 – 1 of 1) sorted by relevance
71 RetainedKnowledge canonicalizedKnowledge(RetainedKnowledge RK, in canonicalizedKnowledge() function174 RK = canonicalizedKnowledge(RK, M->getDataLayout()); in addKnowledge()323 RK = canonicalizedKnowledge(RK, Assume->getDataLayout()); in simplifyRetainedKnowledge()