Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dtheory_bv_rewrite_rules.h125 XorDuplicate, enumerator
276 case XorDuplicate : out << "XorDuplicate"; return out;
509 RewriteRule<XorDuplicate> rule62;
H A Dtheory_bv_rewrite_rules_simplification.h682 bool RewriteRule<XorDuplicate>::applies(TNode node) { in applies()
690 Node RewriteRule<XorDuplicate>::apply(TNode node) { in apply()