Searched refs:extendedRewriteStrings (Results 1 – 2 of 2) sorted by relevance
245 Node extendedRewriteStrings(Node ret);
214 new_ret = extendedRewriteStrings(ret); in extendedRewrite()1670 Node ExtendedRewriter::extendedRewriteStrings(Node ret) in extendedRewriteStrings() function in CVC4::theory::quantifiers::ExtendedRewriter