Home
last modified time | relevance | path

Searched refs:CompEliminate (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dtheory_bv_rewrite_rules.h61 CompEliminate, enumerator
310 case CompEliminate : out << "CompEliminate"; return out;
544 RewriteRule<CompEliminate> rule99;
H A Dtheory_bv_rewrite_rules_operator_elimination.h148 bool RewriteRule<CompEliminate>::applies(TNode node) { in applies()
153 Node RewriteRule<CompEliminate>::apply(TNode node) in apply()