Method ast

smt/expr.cpp:97–105

}

Z3_ast expr::ast() const {
  assert(isValid());

  if (isZ3Ast())
    return (Z3_ast)ptr;

  assert(0 && "TODO");
  return 0;
}

expr::expr(const expr &other) noexcept {
  if (!other.isValid()) {