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