Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dtheory_bv_rewrite_rules.h157 MergeSignExtend, enumerator
332 case MergeSignExtend : out << "MergeSignExtend"; return out;
H A Dtheory_bv_rewriter.cpp573 < RewriteRule<MergeSignExtend> in RewriteSignExtend()
H A Dtheory_bv_rewrite_rules_simplification.h1610 bool RewriteRule<MergeSignExtend>::applies(TNode node) { in applies()
1619 Node RewriteRule<MergeSignExtend>::apply(TNode node) { in apply()