Searched refs:registerRewrite (Results 1 – 2 of 2) sorted by relevance
290 static void registerRewrite(unsigned ruleId, Node original, Node result);
979 void ProofManager::registerRewrite(unsigned ruleId, Node original, Node result){ in registerRewrite() function in CVC4::ProofManager