Z3
z3
cast_ast< sort >
Public Member Functions
cast_ast< sort > Class Template Reference
C++ API
Public Member Functions
sort
operator()
(
context
&c, Z3_ast a)
Detailed Description
template<>
class z3::cast_ast< sort >
Definition at line
998
of file
z3++.h
.
Member Function Documentation
sort
operator()
(
context
&
c
,
Z3_ast
a
)
inline
Definition at line
1000
of file
z3++.h
.
1000
{
1001
assert(
Z3_get_ast_kind
(c, a) ==
Z3_SORT_AST
);
1002
return
sort(c, reinterpret_cast<Z3_sort>(a));
1003
}
Z3_get_ast_kind
Z3_ast_kind Z3_API Z3_get_ast_kind(__in Z3_context c, __in Z3_ast a)
Return the kind of the given AST.
Z3_SORT_AST
Definition:
z3_api.h:220
Generated on Thu Jun 25 2015 08:01:35 for Z3 by
1.8.9.1