Z3
z3
cast_ast< func_decl >
Public Member Functions
cast_ast< func_decl > Class Template Reference
Public Member Functions
func_decl
operator()
(
context
&c, Z3_ast a)
Detailed Description
template<>
class z3::cast_ast< func_decl >
Definition at line
1371
of file
z3++.h
.
Member Function Documentation
§
operator()()
func_decl
operator()
(
context
&
c
,
Z3_ast
a
)
inline
Definition at line
1373
of file
z3++.h
.
1373
{
1374
assert(Z3_get_ast_kind(c, a) ==
Z3_FUNC_DECL_AST
);
1375
return
func_decl(c, reinterpret_cast<Z3_func_decl>(a));
1376
}
Z3_FUNC_DECL_AST
Definition:
z3_api.h:190
Generated on Sat Nov 12 2016 23:18:58 for Z3 by
1.8.12