Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dtheory_bv_rewrite_rules.h161 ZeroExtendUltConst, enumerator
336 case ZeroExtendUltConst: out << "ZeroExtendUltConst"; return out;
572 RewriteRule<ZeroExtendUltConst> rule127;
H A Dtheory_bv_rewriter.cpp74 RewriteRule<ZeroExtendUltConst> in RewriteUlt()
H A Dtheory_bv_rewrite_rules_simplification.h1747 inline bool RewriteRule<ZeroExtendUltConst>::applies(TNode node) { in applies()
1779 inline Node RewriteRule<ZeroExtendUltConst>::apply(TNode node) { in apply()