Searched refs:UremPow2 (Results 1 – 3 of 3) sorted by relevance
149 UremPow2, enumerator305 case UremPow2 : out << "UremPow2"; return out;540 RewriteRule<UremPow2> rule95;
473 if(RewriteRule<UremPow2>::applies(node)) { in RewriteUremTotal()474 resultNode = RewriteRule<UremPow2>::run <false> (node); in RewriteUremTotal()
1463 inline bool RewriteRule<UremPow2>::applies(TNode node) in applies()1475 inline Node RewriteRule<UremPow2>::apply(TNode node) in apply()