Definition at line 995 of file z3++.h.
[inline]
Definition at line 997 of file z3++.h.
{ assert(Z3_get_ast_kind(c, a) == Z3_SORT_AST); return sort(c, reinterpret_cast<Z3_sort>(a)); }