Searched refs:canonicalizedKnowledge (Results 1 – 1 of 1) sorted by relevance
68 RetainedKnowledge canonicalizedKnowledge(RetainedKnowledge RK, Module *M) { in canonicalizedKnowledge() function172 RK = canonicalizedKnowledge(RK, M); in addKnowledge()