Z3
z3
cast_ast< func_decl >
Public Member Functions
cast_ast< func_decl > Class Reference
Public Member Functions
func_decl
operator()
(
context
&c, Z3_ast a)
Detailed Description
Definition at line
2307
of file
z3++.h
.
Member Function Documentation
◆
operator()()
func_decl
operator()
(
context
&
c
,
Z3_ast
a
)
inline
Definition at line
2309
of file
z3++.h
.
2309
{
2310
assert(
Z3_get_ast_kind
(c, a) ==
Z3_FUNC_DECL_AST
);
2311
return
func_decl(c,
reinterpret_cast<
Z3_func_decl
>
(a));
2312
}
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_FUNC_DECL_AST
@ Z3_FUNC_DECL_AST
Definition:
z3_api.h:147
Microsoft.Z3.Z3_func_decl
System.IntPtr Z3_func_decl
Definition:
NativeContext.cs:30
Generated on Thu Oct 10 2024 23:21:51 for Z3 by
1.9.1