Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dtheory_bv_rewrite_rules.h156 ZeroUlt, enumerator
331 case ZeroUlt : out << "ZeroUlt"; return out;
H A Dtheory_bv_rewrite_rules_simplification.h961 inline bool RewriteRule<ZeroUlt>::applies(TNode node) in applies()
968 inline Node RewriteRule<ZeroUlt>::apply(TNode node) in apply()