Searched refs:extendedRewritePullIte (Results 1 – 2 of 2) sorted by relevance
111 Node extendedRewritePullIte(Kind itek, Node n);
190 new_ret = extendedRewritePullIte(ITE, ret); in extendedRewrite()277 new_ret = extendedRewritePullIte(ITE, veq); in extendedRewriteAggr()548 Node ExtendedRewriter::extendedRewritePullIte(Kind itek, Node n) in extendedRewritePullIte() function in CVC4::theory::quantifiers::ExtendedRewriter