Searched refs:RewriteUdivTotal (Results 1 – 2 of 2) sorted by relevance
69 static RewriteResponse RewriteUdivTotal(TNode node, bool prerewrite = false);
439 return RewriteUdivTotal(node, prerewrite); in RewriteUdiv()455 RewriteResponse TheoryBVRewriter::RewriteUdivTotal(TNode node, bool prerewrite){ in RewriteUdivTotal() function in TheoryBVRewriter710 d_rewriteTable [ kind::BITVECTOR_UDIV_TOTAL ] = RewriteUdivTotal; in initializeRewrites()