Searched refs:SgtEliminate (Results 1 – 3 of 3) sorted by relevance
54 SgtEliminate, enumerator213 case SgtEliminate: out << "SgtEliminate"; return out;461 RewriteRule<SgtEliminate> rule12;
62 bool RewriteRule<SgtEliminate>::applies(TNode node) { in applies()67 Node RewriteRule<SgtEliminate>::apply(TNode node) in apply()
145 < RewriteRule<SgtEliminate> in RewriteSgt()