Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dtheory_bv_rewrite_rules.h55 RedorEliminate, enumerator
216 case RedorEliminate: out << "RedorEliminate"; return out;
567 RewriteRule<RedorEliminate> rule122;
H A Dtheory_bv_rewrite_rules_operator_elimination.h542 bool RewriteRule<RedorEliminate>::applies(TNode node) { in applies()
547 Node RewriteRule<RedorEliminate>::apply(TNode node) { in apply()
H A Dtheory_bv_rewriter.cpp603 < RewriteRule<RedorEliminate> in RewriteRedor()