Searched refs:extendedRewriteEqRes (Results 1 – 2 of 2) sorted by relevance
161 Node extendedRewriteEqRes(Kind andk,
543 new_ret = extendedRewriteEqRes(AND, OR, EQUAL, NOT, bcp_kinds, n, false); in extendedRewriteAndOr()974 Node ExtendedRewriter::extendedRewriteEqRes(Kind andk, in extendedRewriteEqRes() function in CVC4::theory::quantifiers::ExtendedRewriter