Searched refs:extendedRewriteFactoring (Results 1 – 2 of 2) sorted by relevance
147 Node extendedRewriteFactoring(Kind andk, Kind ork, Kind notk, Node n);
535 new_ret = extendedRewriteFactoring(AND, OR, NOT, n); in extendedRewriteAndOr()884 Node ExtendedRewriter::extendedRewriteFactoring(Kind andk, in extendedRewriteFactoring() function in CVC4::theory::quantifiers::ExtendedRewriter