Home
last modified time | relevance | path

Searched refs:ZeroExtendEliminate (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dtheory_bv_rewrite_rules.h72 ZeroExtendEliminate, enumerator
228 case ZeroExtendEliminate :out << "ZeroExtendEliminate"; return out;
520 RewriteRule<ZeroExtendEliminate> rule73;
H A Dtheory_bv_rewrite_rules_operator_elimination.h502 bool RewriteRule<ZeroExtendEliminate>::applies(TNode node) { in applies()
507 Node RewriteRule<ZeroExtendEliminate>::apply(TNode node) { in apply()
H A Dtheory_bv_rewriter.cpp565 < RewriteRule<ZeroExtendEliminate > in RewriteZeroExtend()