Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dtheory_bv_rewrite_rules_core.h123 bool RewriteRule<ConcatConstantMerge>::applies(TNode node) { in applies()
128 Node RewriteRule<ConcatConstantMerge>::apply(TNode node) { in apply()
H A Dtheory_bv_rewrite_rules.h41 ConcatConstantMerge, enumerator
203 case ConcatConstantMerge: out << "ConcatConstantMerge"; return out;
452 RewriteRule<ConcatConstantMerge> rule03;
H A Dtheory_bv_rewriter.cpp251 RewriteRule<ConcatConstantMerge>, in RewriteConcat()