Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dtheory_bv_rewrite_rules_core.h60 bool RewriteRule<ConcatExtractMerge>::applies(TNode node) { in applies()
65 Node RewriteRule<ConcatExtractMerge>::apply(TNode node) { in apply()
H A Dtheory_bv_rewrite_rules.h40 ConcatExtractMerge, enumerator
202 case ConcatExtractMerge: out << "ConcatExtractMerge"; return out;
451 RewriteRule<ConcatExtractMerge> rule02;
H A Dtheory_bv_rewriter.cpp249 RewriteRule<ConcatExtractMerge>, in RewriteConcat()