Method isVar

smt/expr.cpp:383–388

}

bool expr::isVar() const {
  C();
  if (auto app = isApp())
    return !isConst() && Z3_get_app_num_args(ctx(), app) == 0;
  return false;
}

bool expr::isQVar() const {
  C();