Z3
Loading...
Searching...
No Matches
z3
cast_ast< sort >
Public Member Functions
cast_ast< sort > Class Reference
#include <
z3++.h
>
Public Member Functions
sort
operator()
(
context
&c, Z3_ast a)
Detailed Description
Definition at line
2299
of file
z3++.h
.
Member Function Documentation
◆
operator()()
sort
operator()
(
context
&
c
,
Z3_ast
a
)
inline
Definition at line
2301
of file
z3++.h
.
2301
{
2302
assert(
Z3_get_ast_kind
(c, a) ==
Z3_SORT_AST
);
2303
return
sort(c,
reinterpret_cast<
Z3_sort
>
(a));
2304
}
Z3_get_ast_kind
Z3_ast_kind Z3_API Z3_get_ast_kind(Z3_context c, Z3_ast a)
Return the kind of the given AST.
Z3_SORT_AST
@ Z3_SORT_AST
Definition
z3_api.h:146
Generated by
1.12.0