Method ford

smt/expr.cpp:1358–1360

}

expr expr::ford(const expr &rhs) const {
  return !isNaN() && !rhs.isNaN();
}

expr expr::fueq(const expr &rhs) const {
  return funo(rhs) || binop_commutative(rhs, Z3_mk_fpa_eq);