Searched refs:UltPlusOne (Results 1 – 3 of 3) sorted by relevance
192 UltPlusOne, enumerator342 case UltPlusOne: out << "UltPlusOne"; return out;564 RewriteRule<UltPlusOne> rule119;
750 } else if (RewriteRule<UltPlusOne>::applies(t)) { in ppRewrite()751 Node result = RewriteRule<UltPlusOne>::run<false>(t); in ppRewrite()
1963 bool RewriteRule<UltPlusOne>::applies(TNode node) { in applies()1985 inline Node RewriteRule<UltPlusOne>::apply(TNode node) in apply()