Searched refs:EvalITEBv (Results 1 – 3 of 3) sorted by relevance
354 bool RewriteRule<EvalITEBv>::applies(TNode node) { in applies()361 Node RewriteRule<EvalITEBv>::apply(TNode node) { in apply()
102 EvalITEBv, enumerator247 case EvalITEBv: out << "EvalITEBv"; return out;
172 LinearRewriteStrategy<RewriteRule<EvalITEBv>, in RewriteITEBv()