Method isEq

smt/expr.cpp:473–475

}

bool expr::isEq(expr &lhs, expr &rhs) const {
  return isBinOp(lhs, rhs, Z3_OP_EQ);
}

bool expr::isSLE(expr &lhs, expr &rhs) const {
  return isBinOp(lhs, rhs, Z3_OP_SLEQ);