Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/theory/bv/
H A Dtheory_bv_rewrite_rules.h147 UdivZero, enumerator
301 case UdivZero:
538 RewriteRule<UdivZero> rule93;
H A Dtheory_bv_rewriter.cpp464 LinearRewriteStrategy<RewriteRule<EvalUdiv>, RewriteRule<UdivZero>, in RewriteUdivTotal()
H A Dtheory_bv_rewrite_rules_simplification.h1423 inline bool RewriteRule<UdivZero>::applies(TNode node) { in applies()
1429 inline Node RewriteRule<UdivZero>::apply(TNode node) { in apply()