Searched refs:ExtractBitwise (Results 1 – 3 of 3) sorted by relevance
8 (set-info :notes "RewriteRule <ExtractBitwise>; expect unsat")
164 ExtractBitwise, enumerator266 case ExtractBitwise : out << "ExtractBitwise"; return out;500 RewriteRule<ExtractBitwise> rule53;
40 bool RewriteRule<ExtractBitwise>::applies(TNode node) { in applies()48 Node RewriteRule<ExtractBitwise>::apply(TNode node) { in apply()