Method isConst

smt/expr.cpp:377–381

}

bool expr::isConst() const {
  C();
  return Z3_is_numeral_ast(ctx(), ast()) ||
         Z3_get_bool_value(ctx(), ast()) != Z3_L_UNDEF;
}

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