Searched refs:extendedRewriteNnf (Results 1 – 2 of 2) sorted by relevance
119 Node extendedRewriteNnf(Node n);
96 pre_new_ret = extendedRewriteNnf(ret); in extendedRewrite()666 Node ExtendedRewriter::extendedRewriteNnf(Node ret) in extendedRewriteNnf() function in CVC4::theory::quantifiers::ExtendedRewriter